<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 01/17/2014 05:14 PM, Vladimir Shabanov wrote:
<blockquote
cite="mid:CAJpePQsGP+VO9TOsQniy1w6qFiL1EOz8eFycuin2esWSt6Hsug@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">2014/1/17 Adam Chlipala <span dir="ltr"><<a
moz-do-not-send="true" href="mailto:adamc@csail.mit.edu"
target="_blank">adamc@csail.mit.edu</a>></span><br>
<div class="gmail_quote">
<blockquote class="gmail_quote"
style="border-left: 1px solid rgb(204, 204, 204); margin: 0px 0px 0px 0.8ex; padding-left: 1ex;">
<div class="im">
<blockquote class="gmail_quote"
style="border-left: 1px solid rgb(204, 204, 204); margin: 0px 0px 0px 0.8ex; padding-left: 1ex;">Few
major problems with Ur/Web:<br>
<br>
Slow compilation speed.<br>
</blockquote>
<br>
</div>
I'm hoping this will be fixed with a longer-time-horizon project we
have going, to build better tools for building future Ur/Web versions
and more!</blockquote>
<div><br>
</div>
<div style="">Do you have any plans when this project will be
available?</div>
</div>
</div>
</div>
</blockquote>
<br>
Unfortunately not. It's really a research project.<br>
<br>
<blockquote
cite="mid:CAJpePQsGP+VO9TOsQniy1w6qFiL1EOz8eFycuin2esWSt6Hsug@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">
<blockquote class="gmail_quote"
style="border-left: 1px solid rgb(204, 204, 204); margin: 0px 0px 0px 0.8ex; padding-left: 1ex;">
<div class="im">
<blockquote class="gmail_quote"
style="border-left: 1px solid rgb(204, 204, 204); margin: 0px 0px 0px 0.8ex; padding-left: 1ex;">Exponential
code bloat. This is actually the main reason for long compilation.
Ur/Web inlines too much.<br>
</blockquote>
<br>
</div>
It occurs to me it that it would be easy enough to add a 'neverInline'
.urp directive, which would be dual to 'alwaysInline' that's already
there. Do you think that would solve the problem easily enough?</blockquote>
<div><br>
</div>
<div style="">I think yes. Although reloadFeed function (you could
see commented calls to it in sources) is local one. So it should be
possible to somehow specify local functions to neverInline pragma.</div>
</div>
</div>
</div>
</blockquote>
<br>
OK, I'll take a look soon.<br>
</body>
</html>