Hi,
I would like to express a function that computes the source of each
member of a record and produces a new record of them.
Upon reading chapter 2 of the tutorial, I arrived to the following,
which, of course, does not work:
fun sourcify [ r ::: {Type} ] (record : r) : ($(map (fn n =>
transaction (source n))) r) =
@fold [ fn t => transaction (source t)) ] (fn [nm ::_] [ v::_]
[r::_] [[nm=m]~r] value => [nm = source m ++ value]) {} record
How could this be written properly?
- Gergely
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
