Hi there,
is it possible to write in Ur a type definiton that expresses that
type myRecord = { MyField : int, MyOtherField : string,
and here come some identically typed fields,
1: $((First : option price, Second :
option price) ++ map option otherFields),
2: $((First : option price, Second :
option price) ++ map option otherFields)
...
n: $((First : option price, Second :
option price) ++ map option otherFields)
}
where n is not fixed at the time of the writing but depends on other
definitions?
- Gergely
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
