[racket] How to use typed/racket within Emacs and scheme top level ???

From: Hari Prashanth (krhari at ccs.neu.edu)
Date: Mon Oct 18 00:32:10 EDT 2010

Currently Typed Racket at repl does not completely work... You cannot define 
structures there... I raised a bug report few days back I think... 

----- Original Message -----
From: "Scott McLoughlin" <scottmcl66 at gmail.com>
To: users at racket-lang.org
Cc: "Eli Barzilay" <eli at barzilay.org>, "Neil Van Dyke" <neil at neilvandyke.org>
Sent: Monday, October 18, 2010 12:15:31 AM GMT -05:00 US/Canada Eastern
Subject: Re: [racket] How to use typed/racket within Emacs and scheme top level	???

Typed racket at the repl still isn't working for me. 

Even using "racket -I /typed racket", I still cannot create 
simple structures from within the the racket repl. 

Here is a transcript from a Windows cmd.com session (just 
to take Emacs and Quack out of the equation for now). 

C:\Documents and Settings\scottmcl>racket -I typed/scheme 
Welcome to Racket v5.0.1. 
> (struct: Foo ([i : Integer])) 
stdin::0: dtsi*: expected struct name at: Foo in: (dtsi* () Foo ((i : Integer)) #:maker Foo) 

=== context === 
C:\Program Files\Racket\collects\syntax\private\stxparse\runtime-prose.rkt:27:0 
C:\Program Files\Racket\collects\racket\private\misc.rkt:74:7 

The same definition and a following expression - (Foo 10) - type-check, 
compile and evaluate perfectly well in DrRacket using #lang typed/scheme 
and just clicking the 'Run' button. 

Thanks much for any and all advice!!! 


On 10/14/2010 2:11 AM, Eli Barzilay wrote: 

30 minutes ago, Neil Van Dyke wrote: 

I think probably you need to invoke the interpreter like "racket -il 
typed/racket". Using `racket -I typed/racket' is more convenient. 

  For list-related administrative tasks:

Posted on the users mailing list.