From 6ae56e5348b9bcf1033a5f67242aab6769d32ca1 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Fri, 12 Jun 2009 23:36:08 +0000 Subject: [PATCH] Added a test for new datum->syntax type clauses. svn: r15159 --- .../typed-scheme/succeed/datum-to-syntax.ss | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 collects/tests/typed-scheme/succeed/datum-to-syntax.ss diff --git a/collects/tests/typed-scheme/succeed/datum-to-syntax.ss b/collects/tests/typed-scheme/succeed/datum-to-syntax.ss new file mode 100644 index 0000000000..595650cb9f --- /dev/null +++ b/collects/tests/typed-scheme/succeed/datum-to-syntax.ss @@ -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)