21 Jan
2002
21 Jan
'02
6:51 a.m.
| >Furthermore, I can't even write: | > | >data (MyClass f a) => MyData2 f = MyData2 f | | Well now this is odd. I had no trouble simulating it with this: | | data MyData2 f = MyData2 f | | mkMyData2 :: (MyClass f a) => f -> MyData2 f | mkMyData2 = MyData2 | | Looks like extended Haskell is being excessively restricted. Comments? I think you are correct here. But as you point out, contexts in data declarations only restrict what programs you can write, by adding extra constraints to the constructors. They have no useful purpose at all, so far as I know, and I wish Haskell didn't have them. So I am disinclined to invest much effort in fixing this infelicity in GHC's handling of them. Simon