James Parker wrote:
title'<- return (case title of
| None => "UMDTalks"
| Some t => String.append t " - UMDTalks"
Here I would recommend the infix operator [^] instead of [String.append].
My current function signature is:
val template : option string -> xml -> transaction page
I believe the problem is in the signature. I guess what is the proper type for
the second parameter?
You probably want [xbody] instead of [xml]. You can look in
lib/ur/basis.urs to see the kinds of all the built-in constructors.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur