Work on unification 7

voodoos · Jun 19, 2018 · d6493d7 · d6493d7
1 parent a6d1a6c
commit d6493d7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/examples/unification.mlts b/docs/examples/unification.mlts
@@ -165,9 +165,13 @@ let unif4 = Some (X\ Some (Y\ (Coerce
 
 let unif5 = Some (X\ Some (Y\ (Coerce 
       ((G(H(X), X), G(Y, A))::[],[]))));;
+
+let unif6 = Some (X\ Some (Y\ (Coerce 
+      ((X, Y)::[],[]))));;
 
 let res1 = unify unif1;;
 let res2 = unify unif2;;
 let res3 = unify unif3;;
 let res4 = unify unif4;; 
 let res5 = unify unif5;; 
+let res6 = unify unif6;;