git.iko.soy/elk
on master help sign in
cosmetic: align things more nicely
e2c3e2cEvan Czaplicki
compiler/AST/Type.hs+6−12
compare with master
unifiedsplit
@@ -113,18 +113,12 @@ flattenRecord tipe =
113instance Binary var => Binary (Type var) where
113instance Binary var => Binary (Type var) where
114 put tipe =
114 put tipe =
115 case tipe of
115 case tipe of
116− Lambda t1 t2 ->
117− putWord8 0 >> put t1 >> put t2
116+ Lambda t1 t2 -> putWord8 0 >> put t1 >> put t2
118− Var x ->
119− putWord8 1 >> put x
117+ Var x -> putWord8 1 >> put x
120− Type name ->
121− putWord8 2 >> put name
118+ Type name -> putWord8 2 >> put name
122− App t1 t2 ->
123− putWord8 3 >> put t1 >> put t2
119+ App t1 t2 -> putWord8 3 >> put t1 >> put t2
124− Record fs ext ->
125− putWord8 4 >> put fs >> put ext
120+ Record fs ext -> putWord8 4 >> put fs >> put ext
126− Aliased var t ->
127− putWord8 5 >> put var >> put t
121+ Aliased var t -> putWord8 5 >> put var >> put t
128
122
129 get = do
123 get = do
130 n <- getWord8
124 n <- getWord8