diff options
| author | Alasdair Armstrong | 2017-06-22 18:11:32 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-06-22 18:11:32 +0100 |
| commit | 41c5ae82e46fe06ab3a16d0759872a5a221f2da2 (patch) | |
| tree | 9526c1bf4df2ab5477f4a23d03831c21bc1980ff /src/test/run_tests.ml | |
| parent | 0af6fd21fdba71f7aae6d95ec758fdf86e4916a7 (diff) | |
Can now typecheck register declarations and assignments
Can now properly typecheck register declarations and assignments. Also
better support for assignments to mutable variables. Assignment to
immutable let bound variables is disallowed as it should be, and casts
when assiging to existing bound variables should be handled properly.
Added additional tests for these new features, and a new option
-just_check that allows the new checker to be run without the old.
Diffstat (limited to 'src/test/run_tests.ml')
0 files changed, 0 insertions, 0 deletions