Missing instance `(Ord a, Ord b) => Ord (Either a b)`

[ysangkok]

This instance is available in GHC since base-2.1, so I was hoping to find it in MicroHs too. But it doesn't seem to be there:

> data A = A deriving (Eq, Ord)
> data B = B deriving (Eq, Ord)
> compare (Right A) (Left B)
Exception: "./Interactive.hs": line 8, col 7: Cannot satisfy constraint: (Ord (Either B A))

In GHC 9.10.1 this works:

ghci> data A = A deriving (Eq, Ord)
ghci> data B = B deriving (Eq, Ord)
ghci> compare (Right A) (Left B)
GT

[augustss]

Fixed

[ysangkok]

It doesn't seem to actually work... I still get the same error message. On 291aa53d5681b9b64f428bd7a8a581cac1de41c1 compiled with GHC.

[augustss]

It works for me

...
Type ':quit' to quit, ':help' for help
> data A = A deriving (Eq, Ord)
> data B = B deriving (Eq, Ord)
> compare (Right A) (Left B)
GT
>

[ysangkok]

Ah. My error was that I didn't reinstall the installed standard library in /usr/local/lib. Issue resolved now, many thanks.