Adam Chlipala wrote:
Artyom Shalkhakov wrote:Is it possible to invoke the compiler for syntax analysis and type-checking then? Something like "urweb --typecheck foo".I'll add a way to do that with the command-line tool, too.
Done, like "urweb -tc foo" with the version in the public Mercurial repo, which also contains additional experimental stuff.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
