[Ur] Calling an Ur/Web function from Javascript

[Istvan Chung]

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