28 Jan
2015
28 Jan
'15
9:40 p.m.
On 29 January 2015 at 00:40, Edward Kmett ekmett@gmail.com wrote: There is a problem with the old TRex syntax. In a world with kind signatures and rank-2 types, it would appear that type Point2D = Rec ( x :: Coord, y :: Coord ) is ambiguous. The kind-signature resemblance had occurred to me, but I’d assumed Hugs treated it as syntactical sugar like [record|{ x :: Coord, y :: Coord }|]. Apparently not.