Commit graph

5 commits

Author SHA1 Message Date
Folkert
378fe1d5d1 phase out old mono stuff 2020-08-06 21:05:14 +02:00
Folkert
848764cb25 improve formatting of records in pattern exhaustiveness errors 2020-04-23 21:49:24 +02:00
Folkert
c54d61c854 fix formatting of ctor patterns in errors 2020-04-23 20:30:42 +02:00
Folkert
f0aa598ff9 use tag id instead of name in exhaustiveness checking 2020-04-21 16:24:43 +02:00
Folkert
719ef5b70e parse error infrastructure 2020-04-15 21:10:42 +02:00