[Type *fiable -> *fiable
martin.hofmann@uni-bamberg.de**20090504094402] hunk ./src/Syntax/Antiunifier.hs 7
-    -- * The class Antiunifieable
-    Antiunifieable (
-        antiunify,        -- :: (Antiunifieable k v t) => [t] -> t
-        antiunifyWithMap, -- ::  (Antiunifieable k v t) => (VarMap k v) -> [t] -> LM t
-        antiunify2,        -- :: (Antiunifieable k v t') => [[t]] -> [t'] -> LM ([t],t')
+    -- * The class Antiunifiable
+    Antiunifiable (
+        antiunify,        -- :: (Antiunifiable k v t) => [t] -> t
+        antiunifyWithMap, -- ::  (Antiunifiable k v t) => (VarMap k v) -> [t] -> LM t
+        antiunify2,        -- :: (Antiunifiable k v t') => [[t]] -> [t'] -> LM ([t],t')
hunk ./src/Syntax/Antiunifier.hs 51
--- The Antiunifieable class definition  
+-- The Antiunifiable class definition  
hunk ./src/Syntax/Antiunifier.hs 54
-    The class 'Antiunifieable' defines the antiunifcation in a quite general 
+    The class 'Antiunifiable' defines the antiunifcation in a quite general 
hunk ./src/Syntax/Antiunifier.hs 79
-class (Term t) => Antiunifieable t where
+class (Term t) => Antiunifiable t where
hunk ./src/Syntax/Antiunifier.hs 85
-    antiunifyWithMap ::  (Antiunifieable t) => (VarMap t) -> [t] -> LM t
+    antiunifyWithMap ::  (Antiunifiable t) => (VarMap t) -> [t] -> LM t
hunk ./src/Syntax/Antiunifier.hs 95
-    antiunify2        :: (Ord t', Antiunifieable t', Antiunifieable t) => [[t]] -> [t'] -> (t -> t') -> LM ([t],t')
+    antiunify2        :: (Ord t', Antiunifiable t', Antiunifiable t) => [[t]] -> [t'] -> (t -> t') -> LM ([t],t')
hunk ./src/Syntax/Antiunifier.hs 108
-    aunify           :: (Antiunifieable t) => [t] -> AU t
+    aunify           :: (Antiunifiable t) => [t] -> AU t
hunk ./src/Syntax/Antiunifier.hs 112
--- The Antiunifieable instance declarations
+-- The Antiunifiable instance declarations
hunk ./src/Syntax/Antiunifier.hs 122
---instance Antiunifieable Exp Exp Dec where    
+--instance Antiunifiable Exp Exp Dec where    
hunk ./src/Syntax/Antiunifier.hs 147
---   Same as with 'Antiunifieable Exp Exp Dec', all other functions yield a 
+--   Same as with 'Antiunifiable Exp Exp Dec', all other functions yield a 
hunk ./src/Syntax/Antiunifier.hs 151
---instance Antiunifieable Exp Exp Clause where 
+--instance Antiunifiable Exp Exp Clause where 
hunk ./src/Syntax/Antiunifier.hs 189
---instance Antiunifieable Exp Exp Body where  
+--instance Antiunifiable Exp Exp Body where  
hunk ./src/Syntax/Antiunifier.hs 211
---instance Antiunifieable Exp Exp Rule where 
+--instance Antiunifiable Exp Exp Rule where 
hunk ./src/Syntax/Antiunifier.hs 269
-checkforAntiInstance :: (Ord t, Antiunifieable t) => [t] -> AU t
+checkforAntiInstance :: (Ord t, Antiunifiable t) => [t] -> AU t
hunk ./src/Syntax/Antiunifier.hs 282
-computeAntiInstance :: (Ord t, Antiunifieable t) => [t] -> AU t
+computeAntiInstance :: (Ord t, Antiunifiable t) => [t] -> AU t
hunk ./src/Syntax/Antiunifier.hs 300
-updateVarTable :: (Ord t, Antiunifieable t) => (VarMap t) -> [t] -> ((VarMap t) , t)
+updateVarTable :: (Ord t, Antiunifiable t) => (VarMap t) -> [t] -> ((VarMap t) , t)
hunk ./src/Syntax/Expressions.hs 203
-instance Unifieable TExp where
+instance Unifiable TExp where
hunk ./src/Syntax/Expressions.hs 275
-    unify s          t@(TVarE _ _)          = flush "Not unifieable"  
+    unify s          t@(TVarE _ _)          = flush "Not unifiable"  
hunk ./src/Syntax/Expressions.hs 279
-        if (ns == nt) then return () else flush "Not unifieable"  
+        if (ns == nt) then return () else flush "Not unifiable"  
hunk ./src/Syntax/Expressions.hs 283
-        if (l1 == l2) then return () else flush "Not unifieable"  
+        if (l1 == l2) then return () else flush "Not unifiable"  
hunk ./src/Syntax/Expressions.hs 292
-            _owise               -> flush "Not unifieable"  
+            _owise               -> flush "Not unifiable"  
hunk ./src/Syntax/Expressions.hs 297
-            _owise             -> flush "Not unifieable"  
+            _owise             -> flush "Not unifiable"  
hunk ./src/Syntax/Expressions.hs 305
-        checkUnify s t >> if isNil n then return () else flush "Not unifieable"    
+        checkUnify s t >> if isNil n then return () else flush "Not unifiable"    
hunk ./src/Syntax/Expressions.hs 307
-        checkUnify s t >> if isNil n then return () else flush "Not unifieable"   
+        checkUnify s t >> if isNil n then return () else flush "Not unifiable"   
hunk ./src/Syntax/Expressions.hs 313
-            _owise       -> flush "Not unifieable"  
+            _owise       -> flush "Not unifiable"  
hunk ./src/Syntax/Expressions.hs 327
-          else flush "Not unifieable"         
+          else flush "Not unifiable"         
hunk ./src/Syntax/Expressions.hs 361
-instance Antiunifieable TExp where
+instance Antiunifiable TExp where
hunk ./src/Syntax/Expressions.hs 469
--- | Helper for lifting a walker (Unifieable t) => (Maybe t) (Maybe t)
-liftUnify :: (Unifieable t) => Maybe t -> Maybe t -> U t
+-- | Helper for lifting a walker (Unifiable t) => (Maybe t) (Maybe t)
+liftUnify :: (Unifiable t) => Maybe t -> Maybe t -> U t
hunk ./src/Syntax/Expressions.hs 473
--- | Helper for matching (Unifieable t) => (Maybe t) (Maybe t)
-liftMatch :: (Unifieable t) => Maybe t -> Maybe t -> U t
+-- | Helper for matching (Unifiable t) => (Maybe t) (Maybe t)
+liftMatch :: (Unifiable t) => Maybe t -> Maybe t -> U t
hunk ./src/Syntax/Expressions.hs 718
---instance Unifieable Exp where
+--instance Unifiable Exp where
hunk ./src/Syntax/Expressions.hs 743
---                  else flush "Not unifieable" 
---            _owise       -> flush "Not unifieable"  
+--                  else flush "Not unifiable" 
+--            _owise       -> flush "Not unifiable"  
hunk ./src/Syntax/Expressions.hs 750
---                  else flush "Not unifieable" 
---            _owise       -> flush "Not unifieable"  
+--                  else flush "Not unifiable" 
+--            _owise       -> flush "Not unifiable"  
hunk ./src/Syntax/Expressions.hs 800
---        | otherwise                         = flush "Not unifieable" 
+--        | otherwise                         = flush "Not unifiable" 
hunk ./src/Syntax/Expressions.hs 804
---        | otherwise                         = flush "Not unifieable"
+--        | otherwise                         = flush "Not unifiable"
hunk ./src/Syntax/Expressions.hs 808
---        | otherwise                         = flush "Not unifieable"
+--        | otherwise                         = flush "Not unifiable"
hunk ./src/Syntax/Expressions.hs 814
---                  else flush "Not unifieable" 
---            _owise       -> flush "Not unifieable"  
+--                  else flush "Not unifiable" 
+--            _owise       -> flush "Not unifiable"  
hunk ./src/Syntax/Expressions.hs 821
---                  else flush "Not unifieable" 
---            _owise       -> flush "Not unifieable"
+--                  else flush "Not unifiable" 
+--            _owise       -> flush "Not unifiable"
hunk ./src/Syntax/Expressions.hs 830
---        | otherwise                         = flush "Not unifieable!"  
+--        | otherwise                         = flush "Not unifiable!"  
hunk ./src/Syntax/Expressions.hs 833
---        | otherwise                         = flush "Not unifieable!"  
+--        | otherwise                         = flush "Not unifiable!"  
hunk ./src/Syntax/Expressions.hs 839
---                  else flush "Not unifieable" 
---            _owise       -> flush "Not unifieable" 
+--                  else flush "Not unifiable" 
+--            _owise       -> flush "Not unifiable" 
hunk ./src/Syntax/Expressions.hs 846
---                  else flush "Not unifieable" 
---            _owise       -> flush "Not unifieable" 
+--                  else flush "Not unifiable" 
+--            _owise       -> flush "Not unifiable" 
hunk ./src/Syntax/Expressions.hs 853
---        | otherwise                         = flush "Not unifieable" 
+--        | otherwise                         = flush "Not unifiable" 
hunk ./src/Syntax/Expressions.hs 866
---instance Antiunifieable Exp where
+--instance Antiunifiable Exp where
hunk ./src/Syntax/Patterns.hs 147
-instance Unifieable TPat where    
+instance Unifiable TPat where    
hunk ./src/Syntax/Patterns.hs 213
-        if sl == tl then return () else flush  "Not unifieable!"         
+        if sl == tl then return () else flush  "Not unifiable!"         
hunk ./src/Syntax/Patterns.hs 222
-        if isNil n then return () else flush  "Not unifieable!"  
+        if isNil n then return () else flush  "Not unifiable!"  
hunk ./src/Syntax/Patterns.hs 225
-        if isNil n then return () else flush  "Not unifieable!"  
+        if isNil n then return () else flush  "Not unifiable!"  
hunk ./src/Syntax/Patterns.hs 230
-          else flush "Not unifieable!"  
+          else flush "Not unifiable!"  
hunk ./src/Syntax/Patterns.hs 235
-          else flush "Not unifieable!"
+          else flush "Not unifiable!"
hunk ./src/Syntax/Patterns.hs 240
-          else flush "Not unifieable!"          
+          else flush "Not unifiable!"          
hunk ./src/Syntax/Patterns.hs 248
-          else flush "Not unifieable!"      
+          else flush "Not unifiable!"      
hunk ./src/Syntax/Patterns.hs 253
-          else flush "Not unifieable!"         
+          else flush "Not unifiable!"         
hunk ./src/Syntax/Patterns.hs 258
-          else flush  "Not unifieable!"          
+          else flush  "Not unifiable!"          
hunk ./src/Syntax/Patterns.hs 263
-instance Antiunifieable TPat where
+instance Antiunifiable TPat where
hunk ./src/Syntax/Patterns.hs 480
-instance Unifieable Pat where
+instance Unifiable Pat where
hunk ./src/Syntax/Patterns.hs 533
-        | otherwise                    = flush  "Not unifieable"         
+        | otherwise                    = flush  "Not unifiable"         
hunk ./src/Syntax/Patterns.hs 540
-        | otherwise                    = flush "Not unifieable"
+        | otherwise                    = flush "Not unifiable"
hunk ./src/Syntax/Patterns.hs 543
-        | otherwise                    = flush  "Not unifieable"
+        | otherwise                    = flush  "Not unifiable"
hunk ./src/Syntax/Patterns.hs 546
-        | otherwise                    = flush "Not unifieable"
+        | otherwise                    = flush "Not unifiable"
hunk ./src/Syntax/Patterns.hs 549
-        | otherwise                    = flush "Not unifieable"    
+        | otherwise                    = flush "Not unifiable"    
hunk ./src/Syntax/Patterns.hs 552
-        | otherwise                    = flush  "Not unifieable"        
+        | otherwise                    = flush  "Not unifiable"        
hunk ./src/Syntax/Patterns.hs 555
-        | otherwise                    = flush  "Not unifieable"       
+        | otherwise                    = flush  "Not unifiable"       
hunk ./src/Syntax/Patterns.hs 558
-        | otherwise                    = flush  "Not unifieable"       
+        | otherwise                    = flush  "Not unifiable"       
hunk ./src/Syntax/Patterns.hs 561
-        | otherwise                    = flush  "Not unifieable" 
+        | otherwise                    = flush  "Not unifiable" 
hunk ./src/Syntax/Patterns.hs 564
-        | otherwise = flush  "Not unifieable"        
+        | otherwise = flush  "Not unifiable"        
hunk ./src/Syntax/Patterns.hs 566
-        flush  ("Term " ++ (show s) ++ "not unifieable with " ++ (show t))
+        flush  ("Term " ++ (show s) ++ "not unifiable with " ++ (show t))
hunk ./src/Syntax/Patterns.hs 569
-instance Antiunifieable Pat where
+instance Antiunifiable Pat where
hunk ./src/Syntax/Types.hs 184
-instance Unifieable Type where
+instance Unifiable Type where
hunk ./src/Syntax/Types.hs 193
-        | otherwise = flush "Not Unifieable!"
+        | otherwise = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 197
-        | otherwise = flush "Not Unifieable!"
+        | otherwise = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 200
-        | otherwise = flush "Not Unifieable!"
+        | otherwise = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 203
-        | otherwise    = flush "Not Unifieable!"
+        | otherwise    = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 208
-        | otherwise    = flush "Not Unifieable!"
+        | otherwise    = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 212
-        | otherwise    = flush "Not Unifieable!"
+        | otherwise    = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 219
-    unify _ _                         =  flush "Not Unifieable!"
+    unify _ _                         =  flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 228
-        | otherwise = flush "Not Unifieable!"
+        | otherwise = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 232
-        | otherwise = flush "Not Unifieable!"
+        | otherwise = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 235
-        | otherwise = flush "Not Unifieable!"
+        | otherwise = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 238
-        | otherwise    = flush "Not Unifieable!"
+        | otherwise    = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 243
-        | otherwise    = flush "Not Unifieable!"
+        | otherwise    = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 247
-        | otherwise    = flush "Not Unifieable!"
+        | otherwise    = flush "Not Unifiable!"
hunk ./src/Syntax/Types.hs 254
-    match _ _                         =  flush "Not Unifieable!"
+    match _ _                         =  flush "Not Unifiable!"
hunk ./src/Syntax/Unifier.hs 7
-    Unifieable(mgu, unify, match),
+    Unifiable(mgu, unify, match),
hunk ./src/Syntax/Unifier.hs 59
-class (Term t, Ord t, Show t, Pretty t) => Unifieable t where
+class (Term t, Ord t, Show t, Pretty t) => Unifiable t where
hunk ./src/Syntax/Unifier.hs 88
-    equal :: (Unifieable t) => t -> t -> Bool
+    equal :: (Unifiable t) => t -> t -> Bool
hunk ./src/Syntax/Unifier.hs 97
-matchVar :: (Unifieable t) => t -> t -> U t
+matchVar :: (Unifiable t) => t -> t -> U t
hunk ./src/Syntax/Unifier.hs 111
-unifyVar :: (Unifieable t) => t -> t -> U t
+unifyVar :: (Unifiable t) => t -> t -> U t
hunk ./src/Syntax/Unifier.hs 135
-                                        then flush "Not unifieable"
+                                        then flush "Not unifiable"
hunk ./src/Syntax/Unifier.hs 143
-matches ::  (Unifieable t) => t -> t -> Bool
+matches ::  (Unifiable t) => t -> t -> Bool
hunk ./src/Syntax/Unifier.hs 148
-subsumes :: (Unifieable t) =>  t -> t -> Bool
+subsumes :: (Unifiable t) =>  t -> t -> Bool
hunk ./src/Syntax/Unifier.hs 154
-equalLs :: (Unifieable t) => [t] -> [t] -> Bool
+equalLs :: (Unifiable t) => [t] -> [t] -> Bool
hunk ./src/Syntax/Unifier.hs 160
-matchesLs :: (Unifieable t) => [t] -> [t] -> Bool
+matchesLs :: (Unifiable t) => [t] -> [t] -> Bool
hunk ./src/Syntax/Unifier.hs 167
-subsumesLs ::  (Unifieable t) => [t] -> [t] -> Bool
+subsumesLs ::  (Unifiable t) => [t] -> [t] -> Bool
hunk ./src/Syntax/Unifier.hs 170
-matchLs :: (Unifieable t) => [t] -> [t] -> U t
+matchLs :: (Unifiable t) => [t] -> [t] -> U t
hunk ./src/Syntax/Unifier.hs 176
-unifyLs :: (Unifieable t) => [t] -> [t] -> U t
+unifyLs :: (Unifiable t) => [t] -> [t] -> U t
hunk ./src/Syntax/Unifier.hs 180
-        Nothing -> flush "Not unifieable" 
+        Nothing -> flush "Not unifiable" 
hunk ./src/Syntax/Unifier.hs 192
-mgu2        :: (Ord t', Unifieable t', Unifieable t) => ([t],t') -> ([t],t') -> (t -> t') -> LM (Substitution t')
+mgu2        :: (Ord t', Unifiable t', Unifiable t) => ([t],t') -> ([t],t') -> (t -> t') -> LM (Substitution t')
hunk ./src/Syntax/Unifier.hs 200
-matchesWithSubs2 :: (Ord t', Unifieable t', Unifieable t) => ([t],t') -> ([t],t') -> (t -> t') -> LM (Substitution t')
+matchesWithSubs2 :: (Ord t', Unifiable t', Unifiable t) => ([t],t') -> ([t],t') -> (t -> t') -> LM (Substitution t')