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

Check that the operands of `one-of' don't yield contracts.

Browse Source 
svn: r15936
This commit is contained in:
Mike Sperber 2009-09-09 15:18:14 +00:00
parent 9a613d0d57
commit 4a1ee8bb44
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
collects/deinprogramm/contract/contract-syntax.ss
View File

@ -29,9 +29,24 @@
(list ?contract-expr ...)
?stx)))
((one-of ?exp ...)
(with-syntax ((?stx (phase-lift stx))
(with-syntax ((((?temp ?exp) ...)
(map list
(generate-temporaries #'(?exp ...)) (syntax->list #'(?exp ...))))
(?stx (phase-lift stx))
(?name name))
#'(make-case-contract '?name (list ?exp ...) ?stx)))
(with-syntax (((?check ...)
(map (lambda (lis)
(with-syntax (((?temp ?exp) lis))
(with-syntax ((?raise
(syntax/loc
#'?exp
(error 'contracts "hier kein Vertrag zulässig, nur normaler Wert"))))
#'(when (contract? ?temp)
?raise))))
(syntax->list #'((?temp ?exp) ...)))))
#'(let ((?temp ?exp) ...)
?check ...
(make-case-contract '?name (list ?temp ...) ?stx)))))
((predicate ?exp)
(with-syntax ((?stx (phase-lift stx))
(?name name))