Re: [Ur] Error compiling "Anonymous function remains at code generation"
Thanks for having a look :) Yeah I got this working good enough for me in another branch, will try to code my way around this for the time being On Fri, Sep 21, 2018 at 12:29 AM Fabrice Leal wrote: > @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 > 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 > 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 >> ... >> >> 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 >> >> >> 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 >> 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 >>> 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 > -- --- Fabrice Leal ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Re: [Ur] Error compiling "Anonymous function remains at code generation"
After downloading your toy and playing around with it, I realized I was wrong to assume Regex.match is server side, reading the source it seems to use the JSFFI.. My guess now is that some of the compiler heuristics changed since that library was written. You're probably going to either want to use the new library you wrote or attempt to resurrect this old one.. On Thu, Sep 20, 2018 at 4:30 PM Fabrice Leal wrote: > @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 > 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 > 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 >> ... >> >> 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 >> >> >> 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 >> 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 >>> 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 > ___ > Ur mailing list > Ur@impredicative.com > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Re: [Ur] Error compiling "Anonymous function remains at code generation"
@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 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 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 > ... > > 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 > > > 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 > 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 >> 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 ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Re: [Ur] Error compiling "Anonymous function remains at code generation"
I'll download your toy and I'll try to get it to work On Thu, Sep 20, 2018, 14:53 Fabrice Leal 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 > ... > > 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 > > > 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 > 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 >> 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 > ___ > Ur mailing list > Ur@impredicative.com > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Re: [Ur] Error compiling "Anonymous function remains at code generation"
@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 ... 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 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 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 > 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 ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Re: [Ur] Error compiling "Anonymous function remains at code generation"
Short answer before I can investigate in more detail: it is expected that the Ur/Web compiler give that kind of terrible error message in many cases that don't nest server-side and client-side code properly. Some day it should be enforced with a type system, yielding better error messages, but that day is not yet upon us! On 09/19/2018 04:05 PM, Fabrice Leal 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 mailto:fabrice.leal...@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 :) ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Re: [Ur] Error compiling "Anonymous function remains at code generation"
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 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 ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Re: [Ur] Error compiling "Anonymous function remains at code generation"
> while trying to compile urweb I didnt mean that, I meant while compiling a project of mine. Sorry, long day. > that page The page which uses a regex call On Tue, Sep 18, 2018 at 11:01 PM Fabrice Leal 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 ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
