I have in my .ur file the following lines:
type t = {A : int, B : float, C : string}
table theTable : t
However, this causes Ur/Web to emit the following error message:
Wrong kind
Constructor:
{A : int, B : float, C : string}
Have kind: Type
Need kind: {Type}
Incompatible kinds
Kind 1: Type
Kind 2: {Type}
In contrast, this works (but is less to my liking for various reasons):
table theTable : {A : int, B : float, C : string}
Is there any way to use a type variable in the table declaration instead
of writing out the actual type?
Thanks,
--
Istvan Chung
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
