diff options
| author | Kathy Gray | 2015-09-24 11:46:21 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-09-24 11:57:00 +0100 |
| commit | 30780bad55a5b20f7f894464913a012a8635640d (patch) | |
| tree | 6867525787d4bfb0d94650f00d830e13df6d3e0e /src/initial_check.ml | |
| parent | ddd603c61644bdef9e5b98860a448348b90b614e (diff) | |
Parameterise the rewriter's for multiple different rewritings
Add a new internal node for moving assignments into scope-preserving expressions that more explicitly define the scope
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions