[Ur] Collecting Ur/Web examples

[Adam Chlipala]

Neat!  Would you mind contributing a patch to address this ARM issue?  
(Presumably this is just the code you already tweaked, perhaps ideally 
using some kind of preprocessor magic to decide if the alignment is 
necessary, or maybe alignment is also good for performance on all 
platforms that should be supported.)

On 05/07/2014 12:36 PM, Evan Danaher wrote:
> On Wed, May 07, 2014 at 08:37:58AM -0400, Adam Chlipala wrote:
>> [snip]
>>
>> I don't know if anyone has built Ur/Web servers for ARM, but I can't think
>> of any reason why it wouldn't work right away.  If there are issues, they're
>> probably easy to fix.  Certainly Ur/Web is used regularly with both 32-bit
>> and 64-bit x86.
>>
> I haven't finished any projects, but some of my playing around was on an
> ARM machine running Ubuntu.  IIRC, I had to tweak uw_malloc to always be
> 4-byte aligned, but aside from that I didn't run into any issues.  (I
> also didn't do anything particularly exciting, but the basics at least
> worked without issue.)