Ah, if I remove the type variables from the FFI urs and keep some phantom
type variables in the wrapper urs, it seems to work! Thanks!
On Sun, May 21, 2017 at 8:27 PM, Artyom Shalkhakov <
artyom.shalkha...@gmail.com> wrote:
> 2017-05-22 9:19 GMT+06:00 Aistis Raulinaitis :
> > Hmm, that makes sens
Hmm, remodeling it to be similar to the examples you gave doesn't seem to
help. I noticed that none of the types in those examples take type
parameters, maybe that has something to do with the difficulties I'm facing?
On Sun, May 21, 2017 at 8:31 PM, Aistis Raulinaitis
wrote:
> Thanks!
>
> On Su
Thanks!
On Sun, May 21, 2017 at 8:27 PM, Artyom Shalkhakov <
artyom.shalkha...@gmail.com> wrote:
> 2017-05-22 9:19 GMT+06:00 Aistis Raulinaitis :
> > Hmm, that makes sense. Do you have an example of FFI with an abstract
> type?
> > I tried to encapsulate the map type with a con, but obviously tha
2017-05-22 9:19 GMT+06:00 Aistis Raulinaitis :
> Hmm, that makes sense. Do you have an example of FFI with an abstract type?
> I tried to encapsulate the map type with a con, but obviously that does not
> work..
>
Sure, here are two examples:
https://github.com/bbarenblat/urweb-regex (in particul
Hmm, that makes sense. Do you have an example of FFI with an abstract type?
I tried to encapsulate the map type with a con, but obviously that does not
work..
On Sun, May 21, 2017 at 8:10 PM, Artyom Shalkhakov <
artyom.shalkha...@gmail.com> wrote:
> 2017-05-22 6:22 GMT+06:00 Aistis Raulinaitis :
2017-05-22 6:22 GMT+06:00 Aistis Raulinaitis :
> So I am working with the JS FFI, however it seems that the clientOnly
> directive is being ignored.
>
> Here is the example code:
>
> ~~~
> main.urp:
> ~~~
>
> ffi js_map
> jsFunc Js_map.new_map=new_map
> jsFunc Js_map.new_map_with=new_map_with
> cli
So I am working with the JS FFI, however it seems that the clientOnly
directive is being ignored.
Here is the example code:
~~~
main.urp:
~~~
ffi js_map
jsFunc Js_map.new_map=new_map
jsFunc Js_map.new_map_with=new_map_with
clientOnly Js_map.new_map
clientOnly Js_map.new_map_with
benignEffectful