Hi jao, I'm excited that you're trying to provide better TR support in Geiser. I think this transcript shows the more basic problem:
[samth@huor:~ plt] cat > x.rkt #lang typed/racket (define: j : Number 10) (define: k : Number 20) [samth@huor:~ plt] r Welcome to Racket v6.0.0.1. -> (compile-enforce-module-constants #f) -> (enter! "x.rkt") "x.rkt"> j - : Number 10 "x.rkt"> k - : Number 20 "x.rkt"> (define: jk1 : Number (+ j k)) "x.rkt"> jk1 - : Number 30 "x.rkt"> (eval '(define: jk2 : Number (+ j k))) "x.rkt"> jk2 ; readline-input:11:0: Type Checker: untyped identifier jk2 ; in: jk2 ; [,bt for context] The type checker doesn't have any idea about anything named `jk2`, because it never got put in the type environment. The entry points for Typed Racket, roughly, are `#%module-begin` and `#%top-interaction` and neither of them are involved here. But if we use `#%top-interaction`: "x.rkt"> (eval '(#%top-interaction . (define: jk2 : Number (+ j k)))) "x.rkt"> jk2 - : Number 30 "x.rkt"> It all works magically. Hope that's enough to get things working for you. Sam On Fri, Jan 3, 2014 at 7:36 PM, Jose A. Ortega Ruiz <[email protected]> wrote: > > Hi, > > While trying to provide good support to typed racket in Geiser (an Emacs > interface to Racket and Guile) i've run into a problem similar to the > following one. > > Using plain racket 5.3.6 (in a terminal, no Emacs or Geiser involved > here), and the following file: > > ------ test.rkt -------- > #lang typed/racket > > (define: j : Number 10) > (define: k : Number 20) > ------ eof test.rkt ----- > > here's a very short racket session illustrating the problem: > > [/home/jao/tmp]$ racket > Welcome to Racket v5.3.6. > > (compile-enforce-module-constants #f) > > (require "test.rkt") > > (eval '(define: jk : Number (+ j k)) (module->namespace '(file > "test.rkt"))) > > (eval 'jk (module->namespace '(file "test.rkt"))) > 20 > > (enter! "test.rkt") > > j > - : Number > 10 > > k > - : Number > 10 > > jk > stdin::214: Type Checker: untyped identifier jk > in: jk > > > > As you can see, one can eval forms in a typed namespace without problem, > but entering the namespace and asking for a value defined via eval > produces an error. > > Am i doing or expecting something wrong? > > Thanks in advance, > jao > -- > If a listener nods his head when you're explaining your program, wake > him up. > - Alan Perlis, Epigrams in Programing > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
