Skip to content

Commit 975e280

Browse files
committed
\'kind\' is no longer a reserved word
1 parent 7876083 commit 975e280

File tree

2 files changed

+3
-4
lines changed

2 files changed

+3
-4
lines changed

src/Language/PureScript/Parser/Declarations.hs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -110,7 +110,7 @@ parseValueDeclaration = do
110110

111111
parseExternDeclaration :: TokenParser Declaration
112112
parseExternDeclaration = reserved "foreign" *> indented *> reserved "import" *> indented *> parseExternAlt where
113-
parseExternAlt = parseExternData <|> parseExternKind <|> parseExternTerm
113+
parseExternAlt = parseExternData <|> P.try parseExternKind <|> parseExternTerm
114114

115115
parseExternData = ExternDataDeclaration <$> (reserved "data" *> indented *> typeName)
116116
<*> (indented *> doubleColon *> parseKind)
@@ -167,11 +167,11 @@ parseImportDeclaration' = do
167167
parseDeclarationRef :: TokenParser DeclarationRef
168168
parseDeclarationRef =
169169
withSourceSpan PositionedDeclarationRef
170-
$ (ValueRef <$> parseIdent)
170+
$ (KindRef <$> P.try (reserved "kind" *> kindName))
171+
<|> (ValueRef <$> parseIdent)
171172
<|> (ValueOpRef <$> parens parseOperator)
172173
<|> parseTypeRef
173174
<|> (TypeClassRef <$> (reserved "class" *> properName))
174-
<|> (KindRef <$> (reserved "kind" *> kindName))
175175
<|> (ModuleRef <$> (indented *> reserved "module" *> moduleName))
176176
<|> (TypeOpRef <$> (indented *> reserved "type" *> parens parseOperator))
177177
where

src/Language/PureScript/Parser/Lexer.hs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -556,7 +556,6 @@ reservedPsNames :: [Text]
556556
reservedPsNames = [ "data"
557557
, "newtype"
558558
, "type"
559-
, "kind"
560559
, "foreign"
561560
, "import"
562561
, "infixl"

0 commit comments

Comments
 (0)