Could you perhaps send a small example illustrating the problem? I'm
able to compile fine _a_ program which seems to fit your description.
On 04/07/2013 09:01 PM, Istvan Chung wrote:
On 04/07/2013 08:52 PM, Adam Chlipala wrote:
On 04/07/2013 08:50 PM, Istvan Chung wrote:
On 04/07/2013 08:15 PM, Adam Chlipala wrote:
The error message above is a little surprising to me, though. How
does [Module.functionName] come into this? Also, since that's an
urweb error message, what does it have to do with JavaScript code?
By this I meant that Ur/Web had the (actual) name of the Ur/Web
function there which I had tried to pass as a first-class value into
javascript; I just wrote "Module.functionName" instead of the actual
name of the module and function.
This ([Module.functionName]) must have been an FFI function, in which
case it makes sense that you'd need to use the 'jsFunc' .urp directive
to declare which JavaScript function provides an implementation.
No, [Module.functionName] was the Ur/Web function, implemented in
Ur/Web, which I was trying to pass as a first-class value into javascript.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
