Given some strings such as "Fld1", "Fld2", is it possible to create a record using those strings as field names, eg:
val myRecord = ["Fld1" = "foo", "Fld2" = "bar"] ? Of course, the above syntax looks weird (although somewhat similar to JSON...). Is there some function which could take something of type `string` and return something of kind `Name` ?
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
