[BUGFIX Hs.InfixApp and Hs.PInfixApp are left associative, I need it right associative!
martin.hofmann@uni-bamberg.de**20100818084725] hunk ./src/Syntax/Builder.hs 230
-                return $ foldTAppE (tConE n' tys) teargs                 
+                return $ foldTAppE (tConE n' tys) teargs          
+    toTExp t e@(Hs.InfixApp (Hs.InfixApp _ _ _) _ _) = 
+      -- InfixApp is lassoc, TInfixE is rassoc!!!
+      toTExp t (fixInfixApp e)                      
hunk ./src/Syntax/Builder.hs 261
+    toTExp t e@(Hs.PInfixApp (Hs.PInfixApp _ _ _) _ _) = 
+      -- PInfixApp is lassoc, RInfixE is rassoc!!!
+      toTExp t (fixPInfixApp e)      
hunk ./src/Syntax/Builder.hs 270
-        return $ tInfixE l' (tConE n' tys) r'  
+        return  $ tInfixE l' (tConE n' tys) r'  
hunk ./src/Syntax/Builder.hs 428
+fixPInfixApp :: Hs.Pat -> Hs.Pat
+fixPInfixApp (Hs.PInfixApp (Hs.PInfixApp ll n1 lr) n2 r) = 
+    fixPInfixApp  (Hs.PInfixApp ll n1 (Hs.PInfixApp lr n2 r))
+fixPInfixApp (Hs.PInfixApp l n r) = (Hs.PInfixApp l n (fixPInfixApp r))
+fixPInfixApp e = e
+
+fixInfixApp :: Hs.Exp -> Hs.Exp
+fixInfixApp (Hs.InfixApp (Hs.InfixApp ll n1 lr) n2 r) = 
+    fixInfixApp  (Hs.InfixApp ll n1 (Hs.InfixApp lr n2 r))
+fixInfixApp (Hs.InfixApp l n r) = (Hs.InfixApp l n (fixInfixApp r))
+fixInfixApp e = e