Ur FAQ

From Impredicative Wiki
Revision as of 09:37, 24 September 2010 by MarcWeber (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.

Personal tools