comments, rackunit-y
This commit is contained in:
parent
62a001decf
commit
96a9a1fc8f
|
@ -2,12 +2,20 @@
|
|||
|
||||
(require stepper/private/annotate
|
||||
"test-engine.rkt"
|
||||
"language-level-model.rkt")
|
||||
"language-level-model.rkt"
|
||||
rackunit)
|
||||
|
||||
;; this is a pathetic "set" of tests, but I just spent time debugging
|
||||
;; a problem that would have been caught by this test, so I'm adding
|
||||
;; it anyway. More generally, it might be nice to take every test in
|
||||
;; the through-tests suite and make sure that it can be annotated without
|
||||
;; failure before trying to run it.
|
||||
|
||||
(define (try-annotating str)
|
||||
(define expanded
|
||||
(car (string->expanded-syntax-list intermediate str)))
|
||||
(printf "expanded: ~s\n" expanded)
|
||||
;(printf "expanded: ~s\n" expanded)
|
||||
(annotate expanded (lambda (a b c) 'bogus) #f))
|
||||
|
||||
(try-annotating "(check-expect 2 2)")
|
||||
|
||||
(check-not-exn (lambda () (try-annotating "(check-expect 2 2)")))
|
Loading…
Reference in New Issue
Block a user