Ur FAQ

From Impredicative Wiki
(Difference between revisions)
Jump to: navigation, search
(Adding initial FAQ page and some contents)
 
m (adding link to official FAQ. hint about splitting projects)
 

Latest revision as of 06:27, 28 September 2010

[edit] Ur FAQ

official FAQ (Or maybe: What you also might want to know ..)

[edit] 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.

[edit] 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