3 ms·
Nitpick: it's generalisation that is prevented by the value restriction. Unification works just fine: let test r = r := `A; r := `B; r :=
by gsg 13y ago
Nitpick: it's generalisation that is prevented by the value restriction. Unification works just fine:
let test r =
r := `A;
r := `B;
r := `C
r gets unified with all of `A, `B and `C: no problem.