diff options
| author | Alasdair Armstrong | 2018-04-30 17:38:33 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-03 20:08:20 +0100 |
| commit | 0e79825b9208a947a19b66b1221cdc890d425ec1 (patch) | |
| tree | d3c465897bedbd90be91a18219ec6fc391050423 /src/reporting_basic.ml | |
| parent | bff23103407288070287106cb92b19116ee637c5 (diff) | |
Add typing rule for checking tuples as well as inferring them
Removes some patches in ASL parser
Allow immutable variables to shadow mutable ones. This is useful for
translating ASL.
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions