Updated STLC diffs (auto-generated)
This commit is contained in:
parent
4f3c98f754
commit
f19ea7c3a4
|
@ -6,9 +6,13 @@
|
|||
< racket/contract
|
||||
8a8
|
||||
> racket/contract
|
||||
57c57
|
||||
58c58
|
||||
< (typeof Γ M_2 σ)
|
||||
---
|
||||
> (typeof Γ M_2 σ_2)
|
||||
231d230
|
||||
232d231
|
||||
<
|
||||
249c248
|
||||
< (= (length red-res) 1)
|
||||
---
|
||||
> (= (length red-res) 1)
|
||||
|
|
|
@ -2,8 +2,12 @@
|
|||
< (define the-error "no error")
|
||||
---
|
||||
> (define the-error "the ((cons number) v) value has been omitted")
|
||||
32,33c32
|
||||
33,34c33
|
||||
< (cons v)
|
||||
< ((cons v) v))
|
||||
---
|
||||
> (cons v))
|
||||
249c248
|
||||
< (= (length red-res) 1)
|
||||
---
|
||||
> (= (length red-res) 1)
|
||||
|
|
|
@ -6,7 +6,11 @@
|
|||
< racket/contract
|
||||
8a8
|
||||
> racket/contract
|
||||
56c56
|
||||
57c57
|
||||
< [(typeof Γ M (σ → σ_2))
|
||||
---
|
||||
> [(typeof Γ M (σ_2 → σ))
|
||||
249c249
|
||||
< (= (length red-res) 1)
|
||||
---
|
||||
> (= (length red-res) 1)
|
||||
|
|
|
@ -6,7 +6,11 @@
|
|||
< racket/contract
|
||||
8a8
|
||||
> racket/contract
|
||||
66c66
|
||||
67c67
|
||||
< (int → ((list int) → (list int)))]
|
||||
---
|
||||
> (int → ((list int) → int))]
|
||||
249c249
|
||||
< (= (length red-res) 1)
|
||||
---
|
||||
> (= (length red-res) 1)
|
||||
|
|
|
@ -6,9 +6,13 @@
|
|||
< racket/contract
|
||||
8a8
|
||||
> racket/contract
|
||||
91c91
|
||||
92c92
|
||||
< (in-hole E v_2)
|
||||
---
|
||||
> (in-hole E v_1)
|
||||
231d230
|
||||
232d231
|
||||
<
|
||||
249c248
|
||||
< (= (length red-res) 1)
|
||||
---
|
||||
> (= (length red-res) 1)
|
||||
|
|
|
@ -6,9 +6,13 @@
|
|||
< racket/contract
|
||||
8a8
|
||||
> racket/contract
|
||||
87c87
|
||||
88c88
|
||||
< (--> (in-hole E (hd ((cons v_1) v_2)))
|
||||
---
|
||||
> (--> (in-hole E (hd (cons v_1)))
|
||||
231d230
|
||||
232d231
|
||||
<
|
||||
249c248
|
||||
< (= (length red-res) 1)
|
||||
---
|
||||
> (= (length red-res) 1)
|
||||
|
|
|
@ -6,10 +6,14 @@
|
|||
< racket/contract
|
||||
8a8
|
||||
> racket/contract
|
||||
35,36c35
|
||||
36,37c36
|
||||
< (E M)
|
||||
< (v E)))
|
||||
---
|
||||
> (E M)))
|
||||
231d229
|
||||
232d230
|
||||
<
|
||||
249c247
|
||||
< (= (length red-res) 1)
|
||||
---
|
||||
> (= (length red-res) 1)
|
||||
|
|
|
@ -6,9 +6,13 @@
|
|||
< racket/contract
|
||||
8a8
|
||||
> racket/contract
|
||||
75c75
|
||||
76c76
|
||||
< σ]
|
||||
---
|
||||
> int]
|
||||
231d230
|
||||
232d231
|
||||
<
|
||||
249c248
|
||||
< (= (length red-res) 1)
|
||||
---
|
||||
> (= (length red-res) 1)
|
||||
|
|
|
@ -6,9 +6,13 @@
|
|||
< racket/contract
|
||||
8a8
|
||||
> racket/contract
|
||||
74c74
|
||||
75c75
|
||||
< [(lookup (x σ Γ) x)
|
||||
---
|
||||
> [(lookup (x σ Γ) x_2)
|
||||
231d230
|
||||
232d231
|
||||
<
|
||||
249c248
|
||||
< (= (length red-res) 1)
|
||||
---
|
||||
> (= (length red-res) 1)
|
||||
|
|
Loading…
Reference in New Issue
Block a user