@@ -73,7 +73,11 @@ instance (Var.ToString var, Pretty var) => Pretty (Type var) where
73 prettyField (f,t) = P.text f <+> P.text ":" <+> pretty t
73 prettyField (f,t) = P.text f <+> P.text ":" <+> pretty t
74 prettyFields fields = commaSep (map prettyField fields)
74 prettyFields fields = commaSep (map prettyField fields)
76− Aliased name _ -> pretty name
76+ Aliased name t ->
78+ if show t' `elem` ["Int", "Float", "String", "Char", "Bool"]
78collectLambdas :: Type var -> [Type var]
82collectLambdas :: Type var -> [Type var]
79collectLambdas tipe =
83collectLambdas tipe =