On 01/17/2014 05:14 PM, Vladimir Shabanov wrote:
2014/1/17 Adam Chlipala <[email protected] <mailto:[email protected]>>
Few major problems with Ur/Web:
Slow compilation speed.
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!
Do you have any plans when this project will be available?
Unfortunately not. It's really a research project.
Exponential code bloat. This is actually the main reason for
long compilation. Ur/Web inlines too much.
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?
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.
OK, I'll take a look soon.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
