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 _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
