@@ -16,20 +16,21 @@ data Declaration' port def var
1616 | TypeAlias String [String] (T.Type var)
1717 | Port port
1818 | Fixity Assoc Int String
19− deriving (Show)
19+
2020
2121data Assoc = L | N | R
2222 deriving (Eq)
2323
24+
2425data RawPort
2526 = PPAnnotation String T.RawType
2627 | PPDef String Source.Expr
27− deriving (Show)
28+
2829
2930data Port expr var
3031 = Out String expr (T.Type var)
3132 | In String (T.Type var)
32− deriving (Show)
33+
3334
3435type SourceDecl = Declaration' RawPort Source.Def Var.Raw
3536type ValidDecl = Declaration' (Port Valid.Expr Var.Raw) Valid.Def Var.Raw
@@ -43,12 +44,12 @@ portName port =
4344 Out name _ _ -> name
4445 In name _ -> name
4546
46−instance Show Assoc where
47− show assoc =
48− case assoc of
49− L -> "left"
50− N -> "non"
51− R -> "right"
47+assocToString :: Assoc -> String
48+assocToString assoc =
49+ case assoc of
50+ L -> "left"
51+ N -> "non"
52+ R -> "right"
5253
5354instance Binary Assoc where
5455 get = do n <- getWord8