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

unstable/contract: added if/c combinator

Browse Source 
other minor changes

svn: r17171

original commit: 2634eccdc796e6ed0b242f69f00e9e896d8fb171
This commit is contained in:
Ryan Culpepper 2009-12-03 00:54:02 +00:00
parent 812d2549dd
commit 42e611ca74
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/unstable/mutated-vars.ss
View File

@ -13,8 +13,7 @@
;; syntax -> void
(define (fmv/list lstx)
(for-each find-mutated-vars (syntax->list lstx)))
;(when (and (pair? (syntax->datum form))) (printf "called with ~a~n" (syntax->datum form)))
(kernel-syntax-case* form #f (define-type-alias-internal define-typed-struct-internal require/typed-internal)
(kernel-syntax-case* form #f ()
;; what we care about: set!
[(set! v e)
(begin
@ -51,5 +50,8 @@
;; less general.
;; - What's with the typed-scheme literals? If they were needed, then
;; typed-scheme is probably broken now.
;; ryanc:
;; - The for-template is needed.
;; - I've removed the bogus literals.
(provide find-mutated-vars is-var-mutated?)