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

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

Browse Source 
svn: r15159

original commit: 6ae56e5348b9bcf1033a5f67242aab6769d32ca1
This commit is contained in:
Carl Eastlund 2009-06-12 23:36:08 +00:00
parent f7019a6a2b
commit f2d1a88bf5
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/tests/typed-scheme/succeed/datum-to-syntax.ss Normal file
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)