Ur FAQ

From Impredicative Wiki
Revision as of 05:27, 28 September 2010 by MarcWeber (Talk | contribs)

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

Ur FAQ

official 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. However you can split ur projects into pieces keeping compilation time low - so this may not be a real issue.

Personal tools