[Ur] Simple XML Templating Problem

Adam Chlipala adamc at csail.mit.edu
Thu Oct 2 18:14:12 EDT 2014


On 10/02/2014 05:27 PM, Burton Samograd wrote:
> 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)?

Any function called only once will be inlined.  Functions called 
multiple times will be inlined or not based on configurable size thresholds.



More information about the Ur mailing list