[Ur] Feedback and questions

Adam Chlipala adamc at impredicative.com
Thu Dec 24 10:04:22 EST 2009


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.



More information about the Ur mailing list