Closed paf31 closed 2 years ago
This code:
class X a where x :: a instance X String where x = ""
results in error
Inexhaustive pattern match In context: dict = { "x": ⋯ }
when evaluating x, presumably because the representation of type class dictionaries is not actually meant to be a record.
x
This code:
results in error
when evaluating
x, presumably because the representation of type class dictionaries is not actually meant to be a record.