QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Properly handle type errors during desugar #784

Merged
zxq9 merged 1 commits from GH-292-desugar_error into lima 2021-02-05 19:14:48 +09:00
Conversation 3 Commits 1 Files Changed 3 +14 -1

1 Commits

Author SHA1 Message Date
Hans Svensson
22aaeceba8 Properly handle type errors during desugar 2021-01-25 21:28:10 +01:00