<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Typed racket at the repl still isn't working for me.<br>
<br>
Even using "racket -I /typed racket", I still cannot create <br>
simple structures from within the the racket repl. <br>
<br>
Here is a transcript from a Windows cmd.com session (just <br>
to take Emacs and Quack out of the equation for now).<br>
<br>
<small><small><tt>C:\Documents and Settings\scottmcl>racket -I
typed/scheme<br>
Welcome to Racket v5.0.1.<br>
> (struct: Foo ([i : Integer]))<br>
stdin::0: dtsi*: expected struct name at: Foo in: (dtsi* ()
Foo ((i : Integer)) #:maker Foo)<br>
<br>
=== context ===<br>
C:\Program
Files\Racket\collects\syntax\private\stxparse\runtime-prose.rkt:27:0<br>
C:\Program Files\Racket\collects\racket\private\misc.rkt:74:7<br>
</tt></small></small><br>
The same definition and a following expression - (Foo 10) -
type-check,<br>
compile and evaluate perfectly well in DrRacket using #lang
typed/scheme <br>
and just clicking the 'Run' button.<br>
<br>
Thanks much for any and all advice!!!<br>
<br>
Scott<br>
<br>
On 10/14/2010 2:11 AM, Eli Barzilay wrote:
<blockquote cite="mid:19638.40725.53950.372117@winooski.ccs.neu.edu"
type="cite">
<pre wrap="">30 minutes ago, Neil Van Dyke wrote:
</pre>
<blockquote type="cite">
<pre wrap="">I think probably you need to invoke the interpreter like "racket -il
typed/racket".
</pre>
</blockquote>
<pre wrap="">
Using `racket -I typed/racket' is more convenient.
</pre>
</blockquote>
<br>
</body>
</html>