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

Handle qualified constructors in patterns #698

Merged
zxq9 merged 1 commits from qualified-constructors-bug into lima 2019-12-12 17:34:27 +09:00
Conversation 3 Commits 1 Files Changed 4 +21 -14

1 Commits

Author SHA1 Message Date
Ulf Norell
9c22074220 Handle qualified constructors in patterns 2019-12-11 09:07:09 +01:00