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@ww:~/proj/urweb-monad-pack]$ urweb -version
The Ur/Web compiler, version 20140807 + 15ecf697542b tip
dev:[grwlf@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 <[email protected]>:
> 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
> [email protected]
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
