Added a test for new datum->syntax type clauses.

svn: r15159
This commit is contained in:
Carl Eastlund 2009-06-12 23:36:08 +00:00
parent bc6d606a60
commit 6ae56e5348

View File

@ -0,0 +1,18 @@
#lang typed-scheme
(: convert (Number -> Syntax))
(define (convert n) (datum->syntax #f n))
(: convert/loc (Number Syntax -> Syntax))
(define (convert/loc n loc) (datum->syntax #f n loc))
(: convert/prop (Number Syntax -> Syntax))
(define (convert/prop n prop) (datum->syntax #f n #f prop))
(: convert/cert (Number Syntax -> Syntax))
(define (convert/cert n cert) (datum->syntax #f n #f #f cert))
(convert 3)
(convert/loc 3 #'loc)
(convert/prop 3 #'prop)
(convert/cert 3 #'cert)