[move isWild to Syntax.Expression and export it
Helmut Grohne <grohne@cs.uni-bonn.de>**20150218123031
 Ignore-this: d9df4366f8267a6d03388e43b32621ab
] hunk ./src/Syntax/Expressions.hs 6
-    tVarE, tWildE, tConE, tAppE, tInfixE, tListE, tTupE, foldTAppE, unfoldTAppE ,
-    isHOApp, isNilList, 
---    toPat, 
+    tVarE, tWildE, tConE, tAppE, tInfixE, tListE, tTupE, foldTAppE, unfoldTAppE,
+    isHOApp, isNilList, isWild,
+--    toPat,
hunk ./src/Syntax/Expressions.hs 162
-      
+isWild :: TExp -> Bool
+isWild TWildE {} = True
+isWild _         = False
+
hunk ./src/Syntax/UnifyExp.hs 60
-isWild TWildE {} = True
-isWild _         = False
-
hunk ./src/Syntax/UnifyExp.hs 76
-  where matchimg (img', _) = and $ zipWith ok img img'
-        ok TWildE{} _ = True
-        ok x        y = x == y
+  where matchimg (img', _) = and $ zipWith (\x y -> isWild x || x == y) img img'