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