Unformatted text preview: that if a type error occurs, then the variable binding does not happen. Check your answers by entering this sequence into the interpreter.  let a = let x = 20 in let y = let x = 5 in x + x in x + y ;; let b = let x = "ab" in let y = (let x = "cd" in x) ^ x in x ^ y ;; let c = let x = 22 in x::y ;; let rec f x = if x > 0 then x :: (f (x2)) else 0;; let g x = x * a;; let a = 1 ;; let f x = let a = 20 in a + (g x) ;; let z = (f 5) * a ;;...
View
Full Document
 Winter '08
 staff
 x+, Free variables and bound variables, type Error, ^y

Click to edit the document details