Adam wrote:

> I would do it as:
>
> type copiedType = float (* fill something else in here *)
>
> con copiedFields = [1, 2, 3] (* fill something else in here *)
>
> type myRecord = $([MyField = int, MyOtherField = string] ++ mapU copiedType
> copiedFields)

Thanks, this is clear. Is it possible to have a variable number of fields here?

- Gergely

_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to