[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