From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 16 May 2011 07:43:22 +0000 (-0700)
Subject: Unify.hs: commenting fix
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=0db27ae3d73b3388cdd8efdaa8d0f85632e0aacd

Unify.hs: commenting fix
---

diff --git a/examples/Unify.hs b/examples/Unify.hs
index 03d16fc..afe3405 100644
--- a/examples/Unify.hs
+++ b/examples/Unify.hs
@@ -59,10 +59,10 @@ resolve (Unifier u) v | member v u = v:(concatMap (resolve (Unifier u)) $ occurr
 occurs :: Unifiable t => Unifier t -> UVar -> t -> Bool
 occurs u v x = elem v $ concatMap (resolve u) (occurrences x)
 
--- | Given two unifiables, find their most general unifier.  Do not override this.
+-- | Given two unifiables, find their most general unifier.
 unify :: Unifiable t => t -> t -> Unifier t
 unify v1 v2 | (Just v1') <- project v1, (Just v2') <- project v2, v1'==v2'                   = emptyUnifier
-unify v1 v2 | (Just v1') <- project v1 = if  occurs emptyUnifier v1' v2 
+unify v1 v2 | (Just v1') <- project v1 = if  occurs emptyUnifier v1' v2
                                          then error "occurs check failed"
                                          else Unifier $ insert v1' v2 empty
 unify v1 v2 | (Just v2') <- project v2 = unify v2 v1