diff options
| author | Kathy Gray | 2014-07-15 17:11:35 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-07-15 17:11:35 +0100 |
| commit | 762a83206c0f5b615483b13092d491a75ab6a25c (patch) | |
| tree | db2b76f1829692f7e266d05a2ea8c856efb969a0 /src/sail_lib.ml | |
| parent | b40a7e92ef94ff3240b3a4656bde60643e447f9f (diff) | |
Type check alias use in the left hand side of an assignment. Warning, interpreter still doesn't work with writes.
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions