[Ur] Calling an Ur/Web function from Javascript

Adam Chlipala adamc at csail.mit.edu
Mon Apr 8 08:07:33 EDT 2013


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.
>    




More information about the Ur mailing list