Template calls

Where temp is the name of a template in the current project, @temp evaluates to a function (string * string) list -> unit that takes in a list of name-value pairs for CGI parameters to modify and runs temp with those changes. The Compilation Manager will prevent template calls from being used to implement any sort of recursion.

Adam Chlipala 2005-02-22