[BUGFIX: distinguish between empty list and infix cons list in sameSymAtRoot
martin.hofmann@uni-bamberg.de**20100107153748] hunk ./src/Syntax/Expressions.hs 112
-    -- empty list and other (if other is a (:)-list, it matches default clause)
-    sameSymAtRoot (TListE _ _)  (TListE [] _)           = False
-    sameSymAtRoot (TListE [] _) (TListE _ _)            = False
hunk ./src/Syntax/Expressions.hs 113
-    sameSymAtRoot (TListE _ _) (TListE _ _)             = True
-    sameSymAtRoot (TListE _ _) t@(TAppE _ _ _)          = 
+    sameSymAtRoot (TListE (_:_) _)(TListE (_:_) _)      = True
+    sameSymAtRoot (TListE (_:_) _) t@(TAppE _ _ _)      = 
hunk ./src/Syntax/Expressions.hs 116
-    sameSymAtRoot t@(TAppE _ _ _)(TListE _ _)           = 
+    sameSymAtRoot t@(TAppE _ _ _)(TListE (_:_) _)       = 
hunk ./src/Syntax/Expressions.hs 118
-    sameSymAtRoot (TListE _ _)(TInfixE _ c _ _)         = chkTConE isCons c
-    sameSymAtRoot (TInfixE _ c _ _)(TListE _ _)         = chkTConE isCons c
+    sameSymAtRoot (TListE (_:_) _)(TInfixE _ c _ _)     = chkTConE isCons c
+    sameSymAtRoot (TInfixE _ c _ _)(TListE (_:_) _)     = chkTConE isCons c