[Ur] Simple XML Templating Problem

[Burton Samograd]

Thanks for the help.  Are any types functions evaluated and inlined at
compile time to reduce run-time overhead (say like my head_tmpl that is
taking a constant string)?

On Thu, Oct 2, 2014 at 3:13 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:

>  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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20141002/1ab4b3ab/attachment-0001.html>