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 <fabrice.leal...@gmail.com> 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 <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...@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...@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...@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 > _______________________________________________ > 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
