Work on unification 6

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