[Ur] 'Anonymous function remains' in state monad

[Sergey Mironov]

I've re-checked the compiler verison. Looks like it is correct.
Originally, the last failed [query] call was commented out, may it be
the source of confusion? I've remove that comment so XmlGen now fails
as is. Could you please try again?

Regards,
Sergey

PS

the full compilation log:

dev:[grwlf at ww:~/proj/urweb-monad-pack]$ urweb -version
The Ur/Web compiler, version 20140807 + 15ecf697542b tip


dev:[grwlf at ww:~/proj/urweb-monad-pack]$ LANG=C make
building .fix-multy1
mkdir .cake3
mkdir: cannot create directory '.cake3': File exists
make: [.fix-multy1] Error 1 (ignored)
MAIN=1 make -f ./Makefile
make[1]: Entering directory `/home/grwlf/proj/urweb-monad-pack'
building .fix-multy6
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-multy6] Error 1
make[1]: Leaving directory `/home/grwlf/proj/urweb-monad-pack'
make: *** [.fix-multy1] Error 2




2014-08-15 2:52 GMT+04:00 Adam Chlipala <adamc at csail.mit.edu>:
> 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)
>>
>
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur