Wow, fast pick up! Thanks so much Adam. I can't test it at the moment but I'll be sure to comment later tonight when I can. I've been having lots of fun with Ur/Web lately.
I was also thinking about making it possible to compile the ur/web runtime as an LLVM bitcode file, and do similar for programs you compile with the compiler. Then the final link step can merge the files and effectively do whole program optimization, before emitting a final executable. Alas, I don't know autoconf very well, nor do I know automake (I'd need to make automake generate LLVM bitcode archives or simply bitcode files instead of object file archives, which would require some infrastructure I think.) I don't know if it's really needed though. Ur/Web is stupid fast already, and it's easy to see that. Anyway, thanks! On Fri, Jun 17, 2011 at 10:53 AM, Adam Chlipala <[email protected]> wrote: > austin seipp wrote: >> >> I've been learning Ur/Web a bit recently, and on my OS X machine I >> encountered some failures when attempting to build the compiler using >> clang for the C code. >> >> So I made up a small patch and fixed the build issues. >> > > Thanks! I've pushed your changes to the main Ur/Web repo, with a few minor > variations. Let me know if my version doesn't work for you. > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > -- Regards, Austin _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
