git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Better name for row kind
846c5e8Phil Freeman
src/PureScript/CodeGen/Pretty/Kinds.hs+1−1
compare with golang
unifiedsplit
@@ -30,7 +30,7 @@ typeLiterals :: Pattern Kind String
30typeLiterals = Pattern $ A.Kleisli match
30typeLiterals = Pattern $ A.Kleisli match
31 where
31 where
32 match Star = Just "*"
32 match Star = Just "*"
33− match Row = Just "ρ"
33+ match Row = Just "#"
34 match (KUnknown u) = Just $ "u" ++ show u
34 match (KUnknown u) = Just $ "u" ++ show u
35 match _ = Nothing
35 match _ = Nothing
36
36
src/PureScript/Parser/Kinds.hs+1−1
@@ -27,7 +27,7 @@ parseStar :: P.Parsec String ParseState Kind
27parseStar = const Star <$> lexeme (P.char '*')
27parseStar = const Star <$> lexeme (P.char '*')
28
28
29parseRow :: P.Parsec String ParseState Kind
29parseRow :: P.Parsec String ParseState Kind
30−parseRow = const Row <$> lexeme (P.char 'ρ')
30+parseRow = const Row <$> lexeme (P.char '#')
31
31
32parseTypeAtom :: P.Parsec String ParseState Kind
32parseTypeAtom :: P.Parsec String ParseState Kind
33parseTypeAtom = indented *> P.choice (map P.try
33parseTypeAtom = indented *> P.choice (map P.try