From af9286572709ed73339291061102d432bae06cd1 Mon Sep 17 00:00:00 2001 From: Brent Yorgey Date: Sat, 25 Mar 2023 13:11:49 -0500 Subject: [PATCH] get rid of XXX comment (#1178) Let's not worry about using reserved words as record fields for now. It would technically work OK but I'm not sure how important it is. See #1177 for the fix to the root issue that let this through the merge process. --- src/Swarm/Language/Parse.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Swarm/Language/Parse.hs b/src/Swarm/Language/Parse.hs index f557cb37e..6d1e7de11 100644 --- a/src/Swarm/Language/Parse.hs +++ b/src/Swarm/Language/Parse.hs @@ -224,7 +224,6 @@ parseTypeAtom = <|> TyRcd <$> brackets (parseRecord (symbol ":" *> parseType)) <|> parens parseType --- XXX reserved words should be OK to use as record fields? parseRecord :: Parser a -> Parser (Map Var a) parseRecord p = (parseBinding `sepBy` symbol ",") >>= fromListUnique where