dvanhorn/var — Issue #1: Snake status
Author: dvanhorn
Created: 2011-11-18 06:46:27+00:00
State: open

Get weird blam like this when verifying `motion-split.rkt` and `slither.rkt`:

```'((blame Λ Λ (-- (clos (s-ref data snake 0) #hash())) λ (-- (clos (s-ref data snake 0) #hash()))) #hash())
'((blame Λ Λ (-- (clos (s-ref data snake 1) #hash())) λ (-- (clos (s-ref data snake 1) #hash()))) #hash())
'((blame Λ Λ (-- (clos (s-ref data world 0) #hash())) λ (-- (clos (s-ref data world 0) #hash()))) #hash())
'((blame Λ Λ (-- (clos (s-ref data world 1) #hash())) λ (-- (clos (s-ref data world 1) #hash()))) #hash())
```

Both `motion-split.rkt` and `slither.rkt` are slow to verify. The rest is fast.