> type SOA = Rec (properties :: PropList, time :: Time,
> world :: World)
This type definition does not make use of standard Haskell records, I
suspect this is making use of Trex, although I don't know any of Trex.
I would have expected standard Haskell to look like:
type SOA = Rec {properties :: PropList, time :: Time, world :: World}
i.e. using {} instead of ().
Once thats changed, I'm not sure what other Trex features you might
have used in your program.
Thanks
Neil
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe