Stefan pushed to branch unification at Stefan / Typer

Commits: 93626d8b by Stefan Monnier at 2016-07-28T14:12:26-04:00 * tests/inverse_test.ml (is_identity.is_identity): Only shift 0 is identity.

- - - - -

1 changed file:

- tests/inverse_test.ml

Changes:

===================================== tests/inverse_test.ml ===================================== --- a/tests/inverse_test.ml +++ b/tests/inverse_test.ml @@ -56,7 +56,7 @@ let is_identity s = let rec is_identity s acc = match s with | S.Cons(Var(_, idx), s1) when idx = acc -> is_identity s1 (acc + 1) - | S.Shift(S.Identity, shift) -> (acc = shift) + | S.Shift(S.Identity, shift) -> (0 = shift) | S.Identity -> true | _ -> false in is_identity s 0

View it on GitLab: https://gitlab.com/monnier/typer/commit/93626d8b8c6017bcd04b49b3e4b698bfcb1c...