diff options
| author | Thomas Bauereiss | 2017-07-25 13:06:46 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-07-25 14:06:30 +0100 |
| commit | 0ea787cbb87e5508040d53b06bd812abc5acbb96 (patch) | |
| tree | 5a1898ed30832d107078fb0f1871d360d366f802 /src/gen_lib/state.lem | |
| parent | 5c306614427179282c8747a6fa6c34637c64ca68 (diff) | |
Add partial support for rewriting of sizeof expressions
Tries to extract values of nexps from the (type annotations of) parameters
passed to the function. This seems to correspond to the behaviour of the
previous typechecker.
Diffstat (limited to 'src/gen_lib/state.lem')
0 files changed, 0 insertions, 0 deletions