[Ur] Simple XML Templating Problem

[Adam Chlipala]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20141002/29983f39/attachment.html>