@@ -113,18 +113,12 @@ flattenRecord tipe =
113113instance Binary var => Binary (Type var) where
114114 put tipe =
115115 case tipe of
116− Lambda t1 t2 ->
117− putWord8 0 >> put t1 >> put t2
118− Var x ->
119− putWord8 1 >> put x
120− Type name ->
121− putWord8 2 >> put name
122− App t1 t2 ->
123− putWord8 3 >> put t1 >> put t2
124− Record fs ext ->
125− putWord8 4 >> put fs >> put ext
126− Aliased var t ->
127− putWord8 5 >> put var >> put t
116+ Lambda t1 t2 -> putWord8 0 >> put t1 >> put t2
117+ Var x -> putWord8 1 >> put x
118+ Type name -> putWord8 2 >> put name
119+ App t1 t2 -> putWord8 3 >> put t1 >> put t2
120+ Record fs ext -> putWord8 4 >> put fs >> put ext
121+ Aliased var t -> putWord8 5 >> put var >> put t
128122
129123 get = do
130124 n <- getWord8