Today I've spent a fair amount of time on trying to understand why this
doesn't work:
(* first example - type level record projection - doesn't compile *)
con tr_types :: {Type} = [A = int, B = string]
val x : tr_types.A = 7
gianp on irc was so kind pointing me out that the manual contains an obvious (n
in IN).
So what I was really starring at all the time was a tuple rather than a record
projection:
(* second example - type level tuple projection - compiles *)
con tt_type_name = (int, #A)
val x : tt_type_name.1 = 7
Is there a reason why no record projections exist?
Marc Weber
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
