diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2014-01-09 00:48:57 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2014-01-09 00:55:20 +0100 |
| commit | 826a054761d0f12f243883a001b2392279580a7f (patch) | |
| tree | ac3743a14310ea7127b5f48bdc4ba01ae0218955 /scheme/racket/geiser/user.rkt | |
| parent | 4bb12c208bab5740fdfa0f77b5c2b279fb941b99 (diff) | |
| download | geiser-chez-826a054761d0f12f243883a001b2392279580a7f.tar.gz geiser-chez-826a054761d0f12f243883a001b2392279580a7f.tar.bz2 | |
Racket: fix for evaluations inside typed/racket modules
When evaluating (re)definitions in a typed module, it's necessary that
the form evaluated is wrapped with #%top-interaction, so that typed
racket's redefinition of that macro enters into play and the system
records the type information of the new value.
Many thanks to Sam Tobin-Hochstadt for the tip, and for his encouraging
words.
Diffstat (limited to 'scheme/racket/geiser/user.rkt')
| -rw-r--r-- | scheme/racket/geiser/user.rkt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scheme/racket/geiser/user.rkt b/scheme/racket/geiser/user.rkt index d8ac0b2..a35574b 100644 --- a/scheme/racket/geiser/user.rkt +++ b/scheme/racket/geiser/user.rkt @@ -1,6 +1,6 @@ ;;; user.rkt -- global bindings visible to geiser users -;; Copyright (C) 2010, 2011, 2012, 2013 Jose Antonio Ortega Ruiz +;; Copyright (C) 2010, 2011, 2012, 2013, 2014 Jose Antonio Ortega Ruiz ;; This program is free software; you can redistribute it and/or ;; modify it under the terms of the Modified BSD License. You should @@ -71,7 +71,7 @@ (let* ([proc (eval-here (read))] [args (map eval-here (read))] [ev (lambda () (apply proc args))]) - (eval-in `(,ev) mod lang))] + (eval-in `(,ev) mod lang #t))] [else ((geiser:eval lang) form mod)])]) (datum->syntax #f (list 'quote res)))) |