Small fixes from AEC reviewer feedback

brownplt · Apr 11, 2018 · 6caf729 · 6caf729
1 parent 07c382a
commit 6caf729
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 1 deletion.
diff --git a/examples/arith.rkt b/examples/arith.rkt
@@ -53,6 +53,9 @@
    (⊢ Γ false Bool)]
 
   ; nats
+  [------ t-zero
+   (⊢ Γ zero Nat)]
+
   [(⊢ Γ e t)
    (con (t = Nat))
    ------ t-succ

diff --git a/examples/data.rkt b/examples/data.rkt
@@ -118,7 +118,7 @@
    (con (t_1 = Num))
    (con (t_2 = Num))
    ------ t-plus
-   (⊢ Γ (+ e_1 e_2) Nat)]
+   (⊢ Γ (+ e_1 e_2) Num)]
 
   ; string
   [------ t-str

diff --git a/examples/lambda.rkt b/examples/lambda.rkt
@@ -71,6 +71,9 @@
    (⊢ Γ false Bool)]
 
   ; nats
+  [------ t-zero
+   (⊢ Γ zero Nat)]
+
   [(⊢ Γ e t)
    (con (t = Nat))
    ------ t-succ

diff --git a/examples/subtype.rkt b/examples/subtype.rkt
@@ -60,6 +60,9 @@
    (⊢ Γ false Bool)]
 
   ; nats
+  [------ t-zero
+   (⊢ Γ zero Nat)]
+
   [(⊢ Γ e t)
    (con (t = Nat))
    ------ t-succ