[Ur] Error compiling "Anonymous function remains at code generation"

[Fabrice Leal]

@Aistis
Thanks :)

Check the toy here https://github.com/fabriceleal/urweb-nregex

I tried to coerce my match function to work on the server side my calling
it via rpc and giving the value back to the page using a <dyn>
I tried 4 ways of coding the predicates to eval chars but to no good

https://github.com/fabriceleal/urweb-nregex/commit/57eac6de87fe755ab0a0ce2cf03132c99ef92dd1#diff-28f969b3b5e13b5a7230a77f7d879e2eR95

previous commit compiles, but uses plain list char and "hardcoded" function
calls instead of char -> bool


On Thu, Sep 20, 2018 at 10:53 PM Fabrice Leal <fabrice.leal.ch at gmail.com>
wrote:

> @Aistis
> Just doing your snippet won't typecheck for me;
>
> I tried like this
>
> ...
> fun testReR s = return (testRe s)
>
> fun index () =
>     r <- rpc (testReR "test 123");
>     return <xml>
> ...
>
> and the error is "Anonymous function remains at code generation" and on
> top I get "RPC in server-side code"
>
> and I tried like this
> ...
> fun testReR s = return (testRe s)
>
> fun index () =
>     r <- testReR "test 123";
>     return <xml>
>       ....
>
> and the error is the same "Anonymous function remains at code generation"
>
> ==
>
> btw, I started another toy project and I seem unable to use curried
> functions due to them resulting in the same error
>
>
> On Wed, Sep 19, 2018 at 9:05 PM Fabrice Leal <fabrice.leal.ch at gmail.com>
> wrote:
>
>> ok so this was itching me so I decided to try to isolate whatever is at
>> fault. and I think I created the simplest sample to reproduce the problem:
>>
>> https://github.com/fabriceleal/urweb-test
>>
>> so I'm assuming the problem is not at my end and will try to do the
>> parsing on my own until the urweb-regex lib gets updated
>>
>> On Tue, Sep 18, 2018 at 11:01 PM Fabrice Leal <fabrice.leal.ch at gmail.com>
>> wrote:
>>
>>> I'm having this weird error while trying to compile urweb using
>>> urweb-regex; if I isolate that page in a separate module, it compiles fine
>>> (even though I seem unable to access that page from the browser), so I
>>> assume I'm doing something wrong in my helloworld.ur file.
>>>
>>> Would appreciate some pointers; Source file is this one (
>>> https://github.com/fabriceleal/urweb-experiments/blob/doesnt_compile/helloworld.ur#L869)
>>> and I also included the result of -dumpVerboseSource (
>>> https://github.com/fabriceleal/urweb-experiments/blob/doesnt_compile/dumpVerboseSource.txt#L7705
>>> )
>>>
>>> That FFI maybe_onload is particularly suspicious ... is the call to
>>> parsePgn being "lifted" to javascript code? Some time ago I had some errors
>>> while trying to use the rpc function in the loadPost page because i was
>>> mixing it with code that uses my canvas library which has a bunch of
>>> clientOnly FFI calls; I reorganized my code and eventually made it work
>>> nicely (
>>> https://github.com/fabriceleal/urweb-experiments/commit/503da7e28f1a05be6e69e9f60c9cd321bfa252ce
>>> IIRC). I tried to isolate the testParse function but seems to not lead
>>> anywhere.
>>>
>>> Sorry for the wall of text and thanks in advance :)
>>>
>>> --
>>> ---
>>> Fabrice Leal
>>>
>>
>>
>> --
>> ---
>> Fabrice Leal
>>
>
>
> --
> ---
> Fabrice Leal
>


-- 
---
Fabrice Leal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20180921/89040172/attachment-0001.html>