That sounds like a bug/oversight! Is that not fixed in 9.2?
On Mon, Apr 5, 2021 at 11:08 PM David Feuer wrote:
> `Char` is defined in user code. What you really can't define are Char# and
> TYPE, and you can't modify `RuntimeRep`. Speaking of `Char#`, I see that in
> 9.0, at least, it has kind
> On Apr 6, 2021, at 7:44 AM, Anthony Clayden
> wrote:
>
> > But why does this matter?
>
> Because I want the semantics of that equality constraint, without switching
> on any of these, which I don't otherwise use:
>
> GADTs
> TypeFamilies
> TypeOperators
>
> And if that means I can't use
> But why does this matter?
Because I want the semantics of that equality constraint, without switching
on any of these, which I don't otherwise use:
GADTs
TypeFamilies
TypeOperators
And if that means I can't use infix `~` in my constraints, I'll put up with
that. (I'd user-define a