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

Move syntax/macro-testing tests from unstable-test.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-07-31 12:21:33 -05:00
parent d4f25d8c72
commit 442db8d523
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
pkgs/racket-test/tests/syntax/tests/macro-testing.rkt Normal file
View File

@ -0,0 +1,25 @@
#lang racket/base
(require rackunit)
(define ns (make-base-namespace))
(eval '(require syntax/macro-testing) ns)
(define-check (check-expand/eval term)
;; Checks that term expands w/o error, and that expanded form is writable...
(check-not-exn (lambda () (format "~s" (parameterize ((current-namespace ns)) (expand term)))))
;; ...then checks that term evals raising an error.
(check-exn (lambda _ #t) (lambda () (eval term ns))))
(test-case "convert-*-error"
(check-expand/eval '(convert-syntax-error (lambda)))
(check-expand/eval '(convert-compile-time-error (lambda)))
;; syntax exn for term with unsealed intdefctx:
(check-expand/eval '(convert-syntax-error (let () (define x) x)))
(check-expand/eval '(convert-compile-time-error (let () (define x) x))))
(test-case "phase1-eval"
(eval '(require (for-syntax racket racket/struct-info)) ns)
(eval '(struct point (x y)) ns)
(define ct-expr '(extract-struct-info (syntax-local-value #'point)))
(check-pred list? (eval `(phase1-eval ,ct-expr) ns))
(check-pred syntax? (eval `(phase1-eval ,ct-expr #:quote quote-syntax) ns)))