suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

check syntax does not call eval-compile-time-part-of-top-level when

Browse Source 
checking programs in the module language.
closes PR 10908
This commit is contained in:
Robby Findler 2010-12-25 15:38:08 -06:00
parent e7b52bf10f
commit dd531dde9e
2 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/drracket/private/syncheck/gui.rkt
View File

@ -1322,12 +1322,13 @@ If the namespace does not, they are colored the unbound color.
(send the-tab clear-annotations) (send the-tab clear-annotations)
(send the-tab reset-offer-kill) (send the-tab reset-offer-kill)
(send (send the-tab get-defs) syncheck:init-arrows) (send (send the-tab get-defs) syncheck:init-arrows)
(define settings (send definitions-text get-next-settings))
(drracket:eval:expand-program (drracket:eval:expand-program
#:gui-modules? #f #:gui-modules? #f
(drracket:language:make-text/pos definitions-text 0 (send definitions-text last-position)) (drracket:language:make-text/pos definitions-text 0 (send definitions-text last-position))
(send definitions-text get-next-settings) settings
#t (not (is-a? (drracket:language-configuration:language-settings-language settings)
drracket:module-language:module-language<%>))
init-proc init-proc
kill-termination kill-termination
(λ (sexp loop) ; =user= (λ (sexp loop) ; =user=

10
collects/tests/drracket/syncheck-test.rkt
View File

@ -276,11 +276,11 @@ trigger runtime errors in check syntax.
(" " default-color) (" " default-color)
("x" lexically-bound) ("x" lexically-bound)
(")" default-color)) (")" default-color))
(list '(((21 22) (55 56)) (list '((21 22) (55 56))
((23 24) (39 40) (47 48)) '((23 24) (39 40) (47 48))
((25 26) (41 42)) '((25 26) (41 42))
((27 28) (49 50)) '((27 28) (49 50))
((57 58) (59 60) (61 62))))) '((57 58) (59 60) (61 62))))
(build-test "(module m mzscheme)" (build-test "(module m mzscheme)"
'(("(" default-color) '(("(" default-color)