Better name for row kind
commit846c5e8ed28aec57d08cbb83659b5b789b54e924
authorPhil Freeman <paf31@cantab.net>
dateWed 30 Oct 2013, 18:08 (13 years ago)
parent0db273f
src/PureScript/CodeGen/Pretty/Kinds.hs+1−1
@@ -30,7 +30,7 @@ typeLiterals :: Pattern Kind String
3030typeLiterals = Pattern $ A.Kleisli match
3131 where
3232 match Star = Just "*"
33− match Row = Just "ρ"
33+ match Row = Just "#"
3434 match (KUnknown u) = Just $ "u" ++ show u
3535 match _ = Nothing
3636
src/PureScript/Parser/Kinds.hs+1−1
@@ -27,7 +27,7 @@ parseStar :: P.Parsec String ParseState Kind
2727parseStar = const Star <$> lexeme (P.char '*')
2828
2929parseRow :: P.Parsec String ParseState Kind
30−parseRow = const Row <$> lexeme (P.char 'ρ')
30+parseRow = const Row <$> lexeme (P.char '#')
3131
3232parseTypeAtom :: P.Parsec String ParseState Kind
3333parseTypeAtom = indented *> P.choice (map P.try