Re: [Ur] About clientOnly

2017-05-21 Thread Aistis Raulinaitis
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

Re: [Ur] About clientOnly

2017-05-21 Thread Aistis Raulinaitis
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

Re: [Ur] About clientOnly

2017-05-21 Thread Aistis Raulinaitis
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

Re: [Ur] About clientOnly

2017-05-21 Thread Artyom Shalkhakov
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

Re: [Ur] About clientOnly

2017-05-21 Thread 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.. 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 :

Re: [Ur] About clientOnly

2017-05-21 Thread Artyom Shalkhakov
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

[Ur] About clientOnly

2017-05-21 Thread 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 clientOnly Js_map.new_map clientOnly Js_map.new_map_with benignEffectful