Monday, January 19, 2009

Ch2, Ex12

Another version of (different from that in book)

try <s1> finally <s2> end

local T E in
T = false
catch X then
E = X
T = true
if T then raise E end end

Note: This exercise is missing from pdf version of the book online and 13th(unification problem) problem given in the book is the 12th one in pdf version.

No comments:

Post a Comment