From e4f788ec7a8ebff992acaf7ebb3aeedb13f0e7bb Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Thu, 28 Aug 2014 16:22:25 -0400 Subject: [PATCH] use define-simple-syntax/type-rule instead of define-term/type-rule --- stlc-via-racket-extended.rkt | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/stlc-via-racket-extended.rkt b/stlc-via-racket-extended.rkt index 6ffb6e3..a51c41d 100644 --- a/stlc-via-racket-extended.rkt +++ b/stlc-via-racket-extended.rkt @@ -12,19 +12,18 @@ ;; typed forms ---------------------------------------------------------------- (define-literal-type-rule integer : Int) -(define-literal-type-rule str : String) -(define-term/type-rule +(define-simple-syntax/type-rule (+ e ...) : Int #:where (e : Int) ...) -(define-term/type-rule +(define-simple-syntax/type-rule (λ ([x : τ] ...) e) : (τ ... → τ_body) #:where (let τ_body := (typeof e))) -(define-term/type-rule +(define-simple-syntax/type-rule (#%app f e ...) : τ2 #:where (let (τ1 ... → τ2) := (typeof f))