diff options
| author | Brian Campbell | 2018-02-02 11:56:31 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-02 15:48:24 +0000 |
| commit | cd2c810199a16ed2ea71ea783589361f8022f94f (patch) | |
| tree | 6dda35caa6a46297e7ef55f43b8c5b3d4f3775a4 /src/gen_lib | |
| parent | 71c6a05584846e1e25c43968a145acf4a2248ac4 (diff) | |
Also rewrite boolean terms in asserts during monomorphisation
(otherwise wildcard cases won't be cut short at the assertion)
Diffstat (limited to 'src/gen_lib')
0 files changed, 0 insertions, 0 deletions