[still a Bug in TInfixE
martin.hofmann@uni-bamberg.de**20100817131112] hunk ./src/Igor2/RuleDevelopment/Cata.hs 144
-        in  tInfixE (tConE '(\/) [lty,rty,ety,last . unArrowT $ lty]) l r 
+        in  tInfixE l (tConE '(\/) [lty,rty,ety,last . unArrowT $ lty]) r 
hunk ./src/Igor2/RuleDevelopment/Cata.hs 148
-        in  tInfixE (tConE '(\/) [lty,rty,ety,last . unArrowT $ rty]) l r             
+        in  tInfixE l (tConE '(\/) [lty,rty,ety,last . unArrowT $ rty]) r             
hunk ./src/Syntax/Expressions.hs 47
-    | TInfixE TExp TExp TExp Type -- no sections
+    | TInfixE TExp TExp TExp Type -- no sections, the second tExp is the ctor!!!
hunk ./src/Syntax/Ppr.hs 33
-pprTExp (TInfixE p1 n p2 t) = hsep [ pprTExp p1, pprTExp n, pprTExp p2]
+pprTExp (TInfixE p1 c p2 t) = hsep [ pprTExp p1, pprTExp c, pprTExp p2]
hunk ./src/Syntax/Ppr.hs 166
-toExp (TInfixE e1 e2 e3 _) = 
-    TH.InfixE (Just . toExp $ e1)(toExp e2)(Just . toExp $ e3)
+toExp (TInfixE el c er _) = 
+    TH.InfixE (Just . toExp $ el)(toExp c)(Just . toExp $ er)
hunk ./src/Syntax/Type.hs 153
+-- first type is the type constructor