| commit | 826a054761d0f12f243883a001b2392279580a7f | |
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | |
| Wed, 8 Jan 2014 23:48:57 +0000 (9 00:48 +0100) | ||
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | |
| Wed, 8 Jan 2014 23:55:20 +0000 (9 00:55 +0100) | ||
| tree | ac3743a14310ea7127b5f48bdc4ba01ae0218955 | treesnapshot (tar.gz zip) |
| parent | 4bb12c208bab5740fdfa0f77b5c2b279fb941b99 | commitdiff |
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.
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.
| NEWS | diffblobblamehistory | |
| scheme/racket/geiser/eval.rkt | diffblobblamehistory | |
| scheme/racket/geiser/user.rkt | diffblobblamehistory |