diff options
| author | Carter Tazio Schonwald <carter.schonwald@gmail.com> | 2020-01-07 14:12:12 -0500 |
|---|---|---|
| committer | Carter Tazio Schonwald <carter.schonwald@gmail.com> | 2020-01-07 14:12:12 -0500 |
| commit | 1fffdb06c9f86849b51551de0040ae57373a1b6c (patch) | |
| tree | 9c7f251b502baa1b838befee4003e8faa4baee9f /compiler/typecheck/TcMType.hs | |
| parent | 1b99513101bac8bf7f47be2356e595369b9ce3c4 (diff) | |
| download | haskell-wip/carter/new-erase-castproofs.tar.gz | |
suppress some asserts regarding types and coercions for now,wip/carter/new-erase-castproofs
lets see if we can get to a working stage2! :)
also added more callstack for debugging info spots
Diffstat (limited to 'compiler/typecheck/TcMType.hs')
0 files changed, 0 insertions, 0 deletions