www

commit c74dc2dea297af923fd78ba302feb9148b71ed9a
parent 3c223663f0d856359680fa33465fe0071baa70ce
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Fri,  8 Aug 2014 17:03:40 -0400

cleanup

Diffstat:
M
stlc.rkt
 | 
5
-----

1 file changed, 0 insertions(+), 5 deletions(-)
diff --git a/stlc.rkt b/stlc.rkt
@@ -231,11 +231,6 @@
   (syntax-parse stx #:literals (→ void) 
                     #:datum-literals (:t)
     [(_ :t x) #'(printf "~a : ~a\n" 'x (hash-ref runtime-env 'x))]
-    [(_ void) #'(printf "ddd")]
-;    [(_ check-type e ...) #'(check-type e ...)]
-;    [(_ check-type-and-result e ...) #'(check-type e ...)]
-;    [(_ check-type e ...) #'(check-type e ...)]
-;    [(_ check-type e ...) #'(check-type e ...)]
     [(_ e_fn e_arg ...)
      #:with (e_fn+ e_arg+ ...) (stx-map expand/df #'(e_fn e_arg ...))
      #:with (→ τ ... τ_res) (typeof #'e_fn+)