diff options
| author | Thomas Bauereiss | 2018-03-09 18:32:03 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-14 12:19:02 +0000 |
| commit | a24882a531822ed8f71c1a5e050343ac1a8cbcfa (patch) | |
| tree | f55e658263b978472bf9454ee1e8bfefeb1bca48 /src/pattern_completeness.ml | |
| parent | dfc417cea131f3e8bb033f3e25b24c94f909c809 (diff) | |
Disallow impure global let bindings
Effectful expressions are monadic in Lem, causing type errors when binding them
to global immutable variables.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions