in stepper/private/annotate.rkt:

- add cases to annotate/top-level to recognize Lazy Racket programs
2011-04-01 16:46:04 -04:00 · 2011-04-01 16:46:04 -04:00 · ca4ea39123
commit ca4ea39123
parent da456f2e37
1 changed files with 4 additions and 0 deletions
--- a/collects/stepper/private/annotate.rkt
+++ b/collects/stepper/private/annotate.rkt
@ -1189,6 +1189,10 @@
                        (#%plain-lambda () . rest2)
                        (#%plain-lambda () . rest3)))
         exp]
+        ; STC: for lazy
+        [(#%plain-app . terms) (annotate/module-top-level exp)]
+        ; STC: for lazy, handle defines
+        [(define-values (ids ...) bodies) (annotate/module-top-level exp)]
        [else
         (error `annotate/top-level "unexpected top-level expression: ~a\n"
                (syntax->datum exp))