From c74dc2dea297af923fd78ba302feb9148b71ed9a Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Fri, 8 Aug 2014 17:03:40 -0400 Subject: [PATCH] cleanup --- stlc.rkt | 5 ----- 1 file changed, 5 deletions(-) diff --git a/stlc.rkt b/stlc.rkt index 08a8c22..963cfc1 100644 --- 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+)