<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 12/24/2014 10:55 AM, Stefan Scott
Alexander wrote:<br>
</div>
<blockquote
cite="mid:CAFwK6avVAQsQnn6sHJX1An=mtGoU+qDL8rC7jVgquYDc2KPiQA@mail.gmail.com"
type="cite">
<div dir="ltr"><span style="font-family:monospace,monospace">As a
method of learning UrWeb, I am interested in accessing modules
of some of the demos interactively.<br>
<br>
The UrWeb manual (<a moz-do-not-send="true"
href="http://www.impredicative.com/ur/manual.pdf">http://www.impredicative.com/ur/manual.pdf</a>
- page 4) seems to be saying that this can be done, as
follows:<br>
</span></div>
</blockquote>
<br>
No, it's the <i>compiler</i> that can be accessed interactively.
Probably only compiler developers care about that sort of thing.
Ur/Web has no REPL and is not likely to have one any time soon.<br>
<br>
<blockquote
cite="mid:CAFwK6avVAQsQnn6sHJX1An=mtGoU+qDL8rC7jVgquYDc2KPiQA@mail.gmail.com"
type="cite">
<div dir="ltr"><span style="font-family:monospace,monospace">After
downloading the UrWeb repository from mercurial and attempting
to perform these instructions on Debian Wheezy, the following
errors occur:<br>
<br>
(1) When doing 'make smlnj':<br>
make: *** No rule to make target 'smlnj'. Stop.<br>
<br>
(2) Arbitrarily skipping (1) and trying to do 'CM.make "src/<a
moz-do-not-send="true" href="http://urweb.cm">urweb.cm</a>";'
in sml:<br>
uncaught exception Io [Io: openIn failed on "src/<a
moz-do-not-send="true" href="http://urweb.cm">urweb.cm</a>",
No such file or directory]</span><br>
</div>
</blockquote>
<br>
First you need to run what I think is a standard command-line
preamble for UNIX-y projects:<br>
./autogen.sh<br>
./configure<br>
make smlnj<br>
<br>
</body>
</html>