From 0db27ae3d73b3388cdd8efdaa8d0f85632e0aacd Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 16 May 2011 00:43:22 -0700 Subject: [PATCH 1/1] Unify.hs: commenting fix --- examples/Unify.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 1.7.10.4