[What is the patch name? fixed a pretty printing bug in TExp, renamed class TypeTag to Typed, made tPat instance of Typed
martin.hofmann@uni-bamberg.de**20090414102024] hunk ./src/Syntax/Expressions.hs 38
-    pretty (TVarE n t) = pretty (VarE n) <+> colon <> colon <+> pretty t
-    pretty (TConE n t) = pretty (ConE n) <+> colon <> colon <+> pretty t
-    pretty (TLitE l t) = pretty (LitE l) <+> colon <> colon <+> pretty t
-    pretty (TAppE e1 e2 t) =  pretty e1 <+> pretty e2  <+> colon <> colon <+> pretty t
-    pretty (TInfixE p1 n p2 t) = hsep (catMaybes [liftM pretty p1, Just (pretty n), liftM pretty p2]) <> colon <+> pretty t
-    pretty (TTupE es t) = (tupled (map pretty es)) <+> colon <> colon <+> pretty t
-    pretty (TListE l t) = (list (map pretty l)) <+> colon <> colon <+> pretty t
+    pretty (TVarE n t) = braces $ pretty (VarE n) <+> colon <> colon <+> pretty t
+    pretty (TConE n t) = braces $ pretty (ConE n) <+> colon <> colon <+> pretty t
+    pretty (TLitE l t) = braces $ pretty (LitE l) <+> colon <> colon <+> pretty t
+    pretty (TAppE e1 e2 t) =  braces $ pretty e1 <+> pretty e2  <+> colon <> colon <+> pretty t
+    pretty (TInfixE p1 n p2 t) = braces $ hsep (catMaybes [liftM pretty p1, Just (pretty n), liftM pretty p2]) <+> colon <> colon <+> pretty t
+    pretty (TTupE es t) = braces $ (tupled (map pretty es)) <+> colon <> colon <+> pretty t
+    pretty (TListE l t) = braces $ (list (map pretty l)) <+> colon <> colon <+> pretty t
hunk ./src/Syntax/Expressions.hs 47
-instance TypeTag TExp where
+instance Typed TExp where
hunk ./src/Syntax/Expressions.hs 189
-moveToSubtermE t@(AppE _ _ ) i f  = do 
+moveToSubtermE t@(AppE _ _ ) i f  = do
hunk ./src/Syntax/Patterns.hs 27
+instance Typed TPat where
+    typeOf (TLitP _ t)          = t
+    typeOf (TVarP _ t)          = t
+    typeOf (TTupP _ t)          = t
+    typeOf (TConP _ _ t)        = t
+    typeOf (TInfixP _ _ _ t)    = t
+    typeOf (TListP _ t)         = t
+    
hunk ./src/Syntax/Types.hs 11
+class Typed t where
+    typeOf :: t -> Type 
hunk ./src/Syntax/Types.hs 24
-class TypeTag t where
-    typeOf :: t -> Type
+