[trivia, renaming, cosmetics, stuff i don't know where it belongs to
martin.hofmann@uni-bamberg.de**20090506152638] hunk ./src/Syntax/Expressions.hs 2
-module Syntax.Expressions where
+module Syntax.Expressions
+--(
+--
+--    TExp(..),
+--
+--    module Language.Haskell.TH,
+--    module Syntax.Types
+--    )
+    where
hunk ./src/Syntax/Expressions.hs 12
-import Language.Haskell.TH (Exp(..))
+import Language.Haskell.TH (Exp(..), Name, mkName)
hunk ./src/Syntax/Expressions.hs 41
+    | TWildE Name Type
hunk ./src/Syntax/Expressions.hs 213
-        
+    -- matching wildcards
+    -- matching variables    
hunk ./src/Syntax/Unifier.hs 7
-    Unifiable(mgu, unify, match),
+    Unifiable(mgu, unify, match, matchesWithSubs),
hunk ./src/Syntax/Unifier.hs 53
+--infixr 4 @@
+--(@@) :: (Substitutable a) => (Substitution a) -> (Substitution a) -> LM (Substitution a)
+--s1 @@ s2 = return $ [(u, apply s1 t) | (u,t) <- s2] ++ s1
+ 
hunk ./src/Syntax/Unifier.hs 83
-    -- | Returns a 'Substitution` with which 't1' matches 't2'. If the 
+    -- | @matchesWithSubs t1 t2@ returns a 'Substitution` with which 't1' matches 't2'. If the 