Project

General

Profile

Revision b3381ae8 src/typing.ml

View differences:

src/typing.ml
185 185
      begin
186 186
	unify t1' t2';
187 187
	Dimension.eval Basic_library.eval_env (fun c -> None) e1;
188
	Dimension.eval Basic_library.eval_env (fun c -> None) e1;
188
	Dimension.eval Basic_library.eval_env (fun c -> None) e2;
189 189
	Dimension.unify e1 e2;
190 190
      end
191 191
    | _,_ -> raise (Unify (t1, t2))

Also available in: Unified diff