From 9baefbe7254657fd4b53cad74a9b9a2eb3f1aae4 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 21 Oct 2012 15:18:34 -0500 Subject: [PATCH] remove bogus case in stlc typing judgment form --- collects/redex/examples/stlc.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/redex/examples/stlc.rkt b/collects/redex/examples/stlc.rkt index 53a375920c..73c81efaf6 100644 --- a/collects/redex/examples/stlc.rkt +++ b/collects/redex/examples/stlc.rkt @@ -73,7 +73,6 @@ (define-judgment-form λv #:mode (typeof I I O) #:contract (typeof G e t) - [(typeof G 1234 num)] [(typeof G number num)] [(typeof G (+ e_1 e_2) num) (typeof G e_1 num)