Ur FAQ
From Impredicative Wiki
(Difference between revisions)
(Adding initial FAQ page and some contents) |
Revision as of 10:37, 24 September 2010
Ur FAQ
(Or maybe: What you also might want to know ..)
urweb sometimes emits unfortunate error messages:
Example:
fun main () =
return <xml>
<head> <title>Hello world!!</title> </head>
<body> (* << this is line 4 *)
<h1>My tests</h1>
<a link={hello()}></a>
</body>
</xml>
and fun hello () = (* << remove "fun" here *)
main.ur:4 Begin tag <body> and end tag </a> don't match.
How well does Ur scale (compilation time)?
Some benchmarks Marc Weber did indicate that you might run into trouble for very large applications. So consider running your own tests.
