….
| Let(i,e1,e2) -> let (s,c) = sem e1 r in
match s with
|Forall(_,Notype) -> (Forall([],Notype),[]) |Forall(_,t) -> let t1 = generalize t (Subst c) r in sem e2 (bind (r, i, (t1,c)))
| Previous slide | Next slide | Back to first slide | View graphic version |