diff options
| author | Alasdair Armstrong | 2017-07-24 14:16:24 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-24 14:18:58 +0100 |
| commit | 5c306614427179282c8747a6fa6c34637c64ca68 (patch) | |
| tree | ca2979d502c07a46e508e0c8fe933b43451c8ec0 /src/gen_lib/state.lem | |
| parent | 7a868f222cb42c89d236dd72d7884d922c4b1b70 (diff) | |
Added cons patterns to sail
See test/typecheck/pass/cons_pattern.sail for an example.
Also cleaned up the propagating effects code by making some of the
variable names less verbose
Diffstat (limited to 'src/gen_lib/state.lem')
0 files changed, 0 insertions, 0 deletions