Allow URIs specified in file directives implicitly It seems to me that, by specifying that one wants to serve a given file at a specified URI, one is implying that this URI should be allowed.

fun main () : transaction page = return <xml>
  {[case String.split "abc{" #"{" of
        None => "!"
      | Some (pre, post) => pre ^ post]}
</xml>