http://www.impredicative.com/wiki/index.php?title=Ur_FAQ&feed=atom&action=historyUr FAQ - Revision history2024-03-29T01:16:12ZRevision history for this page on the wikiMediaWiki 1.19.20+dfsg-2.3http://www.impredicative.com/wiki/index.php?title=Ur_FAQ&diff=77&oldid=prevMarcWeber: adding link to official FAQ. hint about splitting projects2010-09-28T10:27:27Z<p>adding link to official FAQ. hint about splitting projects</p>
<table class='diff diff-contentalign-left'>
<tr valign='top'>
<td colspan='1' style="background-color: white; color:black;">← Older revision</td>
<td colspan='1' style="background-color: white; color:black;">Revision as of 10:27, 28 September 2010</td>
</tr></table>MarcWeberhttp://www.impredicative.com/wiki/index.php?title=Ur_FAQ&diff=76&oldid=prevMarcWeber: Adding initial FAQ page and some contents2010-09-24T14:37:35Z<p>Adding initial FAQ page and some contents</p>
<p><b>New page</b></p><div>= Ur FAQ =<br />
(Or maybe: What you also might want to know ..)<br />
<br />
== urweb sometimes emits unfortunate error messages: ==<br />
<br />
Example:<br />
<pre><br />
fun main () =<br />
return <xml><br />
<head> <title>Hello world!!</title> </head><br />
<body> (* << this is line 4 *)<br />
<h1>My tests</h1><br />
<a link={hello()}></a><br />
</body><br />
</xml><br />
<br />
and fun hello () = (* << remove "fun" here *)<br />
</pre><br />
<br />
<pre><br />
main.ur:4 Begin tag <body> and end tag </a> don't match.<br />
</pre><br />
<br />
= How well does Ur scale (compilation time)? =<br />
Some benchmarks Marc Weber did indicate that you might<br />
run into trouble for very large applications.<br />
So consider running your own tests.</div>MarcWeber