let rec makemutrec ((i1,e1),(i2,e2),r) =
let rec ff1 = function d -> if d = Wrong then Wrong else
(match sem e1 (bind(bind(r,i1,Funval(ff1)),i2,Funval(ff2))) with Funval f -> f d)
and ff2 = function d -> if d = Wrong then Wrong else
(match sem e2 (bind(bind(r,i1,Funval(ff1)),i2,Funval(ff2))) with Funval f -> f d)
in bind(bind(r,i1,Funval(ff1)),i2,Funval(ff2))
| Previous slide | Next slide | Back to first slide | View graphic version |