[translate TExp to Pat
martin.hofmann@uni-bamberg.de**20090427071427] hunk ./src/Syntax/Expressions.hs 544
+    
+toPat (TVarE n _)         = VarP n
+toPat (TLitE n _)         = LitP n
+toPat (TConE n _)         = ConP n []
+toPat (TListE l _)        = ListP (map toPat l)
+toPat (TTupE l _)         = TupP (map toPat l)
+toPat e@(TAppE a1 a2 _)   = 
+    let ((TConE n _):as) = unfoldTAppE e
+    in  ConP n (map toPat as)                
+toPat (TInfixE (Just l) (TConE n _) (Just r) _) = 
+    InfixP (toPat l) n (toPat r)
+toPat e = error $ "Cannot translate to Pat: " ++ (show e) 
+    