[Ur] 'Anonymous function remains' in state monad

Adam Chlipala adamc at csail.mit.edu
Thu Aug 14 18:52:47 EDT 2014


Are you running the latest Ur/Web development version?  (That happens to 
be identical to the latest official release right now, too!)

I fixed a related bug recently, and your command line works for me.

On 08/14/2014 05:04 AM, Sergey Mironov wrote:
>      urweb -dbms sqlite ./test/XmlGen
>      /home/grwlf/proj/urweb-monad-pack/state.ur:45:10: (to 48:39)
> Anonymous function remains at code generation
>      Function:
>      (fn s : FFI(Basis.string) =>
>        (fn _ : {} =>  {1 = UNBOUND_3, 2 = UNBOUND_2}))
>      make[1]: *** [.fix-multy5] Error 1
>
> [...]
> [3] - https://github.com/grwlf/urweb-monad-pack (the whole project)
>    




More information about the Ur mailing list