My mistake, what you want is:
( mything .=. "something"
.*. value .=. (27::Int)
.*. logic .=. True
.*. HNil )
Admittedly the label creation would benefit from some syntactic sugar to
reduce typing...
Keean.
Bulat Ziganshin wrote:
Hello Keean,
Monday, November 21, 2005, 6:56:06 PM, you wrote:
KS> So you can do this now... with reasonable syntax, for example to
KS> create an extensible record
KS> ("some thing" .*. (27 :: Int) .*. True .*. HNil)
KS> is a statically typed anonymous record.
it is not record, but heterogenous list, in my feel. record must be
indexed by field name, not by type name or position
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
