On 10/02/2014 04:26 PM, Burton Samograd wrote:
fun page (title:string, body:xbody) = <xml> {head_tmpl title} {body_tmpl body} </xml>fun main () : transaction page = return (page "BlogMain" <xml/>)
I expect Mutaamba's reply clears up the issue, but, to put it concisely: the issue here is a function defined with /tupling/ but called with /currying/. Those are two different approaches to encoding multiple-argument functions on top of single-argument functions, and the distinction is also present (and also confuses newcomers!) in Haskell and ML.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
