Ur FAQ
From Impredicative Wiki
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.