[Ur] Calling an Ur/Web function from Javascript

[Istvan Chung]

On 04/08/2013 08:07 AM, Adam Chlipala wrote:
> Could you perhaps send a small example illustrating the problem?  I'm
> able to compile fine _a_ program which seems to fit your description.
> 

After a bunch of bug-hunting, the issue was actually that a function in
the package designated to contain only FFI functions (implemented in
Javascript) was actually implemented in Ur/Web instead, leading to this
error; however, the error is only apparent when the function's value is
actually used elsewhere. Sorry!

-- 
Istvan Chung