Skip to content

GitLab

Commit 0cf16d9d authored by Pietro Abate's avatar Pietro Abate
Browse files

important typo !

parent f3e5914d
Hide whitespace changes
Inline Side-by-side
typing/typepat.ml
View file @ 0cf16d9d
...@@ -130,7 +130,7 @@ let deferr s = raise (Patterns.Error s) ...@@ -130,7 +130,7 @@ let deferr s = raise (Patterns.Error s)
they would be equal *) they would be equal *)
else match x.desc,y.desc with else match x.desc,y.desc with
| IType (tx,_), IType (ty,_) when (Types.no_var tx) && (Types.no_var ty) && (Types.equal tx ty) -> link x y | IType (tx,_), IType (ty,_) when (Types.no_var tx) && (Types.no_var ty) && (Types.equal tx ty) -> link x y
| IType (tx,_), IType (ty,_) when not(Types.no_var tx) && (Types.no_var ty) -> () | IType (tx,_), IType (ty,_) when (Types.no_var tx) && (Types.no_var ty) -> ()
| IOr (x1,x2,_), IOr (y1,y2,_) | IOr (x1,x2,_), IOr (y1,y2,_)
| IAnd (x1,x2,_), IAnd (y1,y2,_) | IAnd (x1,x2,_), IAnd (y1,y2,_)
| IDiff (x1,x2,_), IDiff (y1,y2,_) | IDiff (x1,x2,_), IDiff (y1,y2,_)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment