diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-19 13:04:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-19 13:04:41 +0000 |
| commit | 4ac1cf497033d9e32efddc96887679ddd8987860 (patch) | |
| tree | bb3429f66dbdb8bfc8acda26b17f8f83b9130078 /examples/tutorial/syntax | |
| parent | e36cc73b0fd6f0be4c1c8809db73f997d1484e9d (diff) | |
in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict
Diffstat (limited to 'examples/tutorial/syntax')
0 files changed, 0 insertions, 0 deletions