Christopher Done wrote:
I'm completely new to Ur, just trying out the demo instructions here:
http://www.impredicative.com/ur/demo/
With the latest build here: http://www.impredicative.com/ur/urweb-20120329.tgz
But I apart from the -noEmacs option not being available (presumably
removed and replaced with a -emacs option?), it fails to build the
demo due to parse errors:
http://hpaste.org/67324
This is suspicious. Are you sure you're running the 'urweb' binary that
you built from the latest release? It all works for me.
Try running 'urweb' with no arguments to see the version number. (If it
doesn't print a version number, you have a version more than a few
months old.)
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
