jassoncasey/604 — Issue #4: error substitution and free variables
Author: m-lopez
Created: 2012-02-03 22:10:23+00:00
State: open

let t = \x.y + 2 <---- Should catch error that y is not bound here!
let g = \r.\y.((r 2)+y) Otherwise...
let f = g t 2 Equals 6, instead of an error