diff options
| author | Thomas Bauereiss | 2019-02-08 13:02:44 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-02-08 13:32:49 +0000 |
| commit | 0d12cebc11c5beb779209bd290647f6bf58fc3e3 (patch) | |
| tree | 84b77033d16f457e09317ce02ab59249879bf358 /src/profile.ml | |
| parent | c2e69e8334cba2f0898c73bcb8ca6cce15858fbf (diff) | |
Rewrite type definitions in rewrite_nexp_ids
For example, in
type xlen : Int = 64
type xlenbits = bits(xlen)
rewrite the 'xlen' in the definition of 'xlenbits' to the constant 64 in
order to simplify Lem generation. In order to facilitate this, pass
through the global typing environment to the rewriting steps (in the AST
itself, type definitions don't carry annotations with environments).
Diffstat (limited to 'src/profile.ml')
0 files changed, 0 insertions, 0 deletions