Merge pull request #40 from natefaubion/i-am-the-slime-allow-raw-strings-as-record-keys

Allow raw strings as record keys

Author: natefaubion

src/PureScript/CST/Parser.purs

@@ -850,6 +850,8 @@ parseIdentBinder = do
 
 parseLabel :: Parser (Name Label)
 parseLabel = expectMap case _ of
+  tok@{ value: TokRawString label } ->
+    Just $ Name { token: tok, name: Label label }
   tok@{ value: TokString _ label } ->
     Just $ Name { token: tok, name: Label label }
   tok@{ value: TokLowerName Nothing label } ->

test/Main.purs

@@ -5,15 +5,15 @@ import Prim hiding (Type)
 
 import Data.Array as Array
 import Data.Array.NonEmpty as NonEmptyArray
-import Data.Maybe (maybe)
+import Data.Maybe (Maybe(..), maybe)
 import Data.String (Pattern(..))
 import Data.String as String
 import Data.String.CodeUnits as SCU
 import Effect (Effect)
 import Effect.Class.Console as Console
 import Node.Process as Process
 import PureScript.CST (RecoveredParserResult(..), parseBinder, parseDecl, parseExpr, parseModule, parseType)
-import PureScript.CST.Types (Binder, Declaration(..), DoStatement(..), Expr(..), LetBinding(..), Module(..), ModuleBody(..), Type)
+import PureScript.CST.Types (Binder, Declaration(..), DoStatement(..), Expr(..), Label(..), LetBinding(..), Module(..), ModuleBody(..), Name(..), RecordLabeled(..), Separated(..), Token(..), Type, Wrapped(..))
 
 class ParseFor f where
   parseFor :: String -> RecoveredParserResult f
@@ -120,3 +120,27 @@ main = do
         true
       _ ->
         false
+
+  assertParse "Records with raw string labels"
+    "{ \"\"\"key\"\"\": val }"
+    case _ of
+      ParseSucceeded
+        ( ExprRecord
+            ( Wrapped
+                { value: Just
+                    ( Separated
+                        { head: RecordField
+                            ( Name
+                                { name: Label "key", token: { value: TokRawString "key" } }
+                            )
+                            _
+                            _
+                        }
+                    )
+                }
+            )
+        )
+      ->
+        true
+      _ ->
+        false