Display types

1 files changed, 12 insertions, 1 deletions

diff --git a/src/Ast.hs b/src/Ast.hs
index 7efdfe1..c2bae9e 100644
--- a/src/Ast.hs
+++ b/src/Ast.hs
@@ -1,10 +1,21 @@
 module Ast where
 
+import Data.List (intercalate)
 import Text.Parsec (SourcePos)
 
 type Ident = String
 
-data Type = Type String | FuncType [Type] (Maybe Type) deriving (Eq, Ord, Show)
+data Type = Type String | FuncType [Type] (Maybe Type) deriving (Eq, Ord)
+
+instance Show Type where
+  show (Type t) = t
+  show (FuncType params rtyp) =
+    "(" ++ (intercalate ", " (fmap show params)) ++ ") -> " ++ case rtyp of
+      Just t -> show t
+      Nothing -> "()"
+
+showList :: [Type] -> String
+showList xs = intercalate ", " $ fmap show xs
 
 type FuncParam = (Ident, Type, SourcePos)