Use IsSymbol Ident

restaumatic · Sep 5, 2023 · 60bf482 · 60bf482
1 parent 4e1934b
commit 60bf482
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/Language/PureScript/Constants/Libs.hs b/src/Language/PureScript/Constants/Libs.hs
@@ -1,13 +1,14 @@
 {-# LANGUAGE BlockArguments #-}
 {-# LANGUAGE TemplateHaskell #-}
+
 -- | Various constants which refer to things in the Prelude and other core libraries
 module Language.PureScript.Constants.Libs where
 
 import Protolude qualified as P
 
 import Data.String (IsString)
-import Language.PureScript.PSString (PSString)
 import Language.PureScript.Constants.TH qualified as TH
+import Language.PureScript.PSString (PSString)
 
 -- Core lib values
 
@@ -166,7 +167,7 @@ $(TH.declare do
 
   TH.mod "Data.Symbol" do
     TH.cls "IsSymbol"
-    TH.asIdent do TH.var "IsSymbolDict"
+    TH.asIdent do TH.var "IsSymbol"
 
   -- purescript-arrays
 

diff --git a/src/Language/PureScript/CoreFn/Optimizer.hs b/src/Language/PureScript/CoreFn/Optimizer.hs
@@ -39,7 +39,7 @@ optimizeRecordGetField
           (App _
             (Var _ C.I_hasFieldRecord)
             (App _
-              (Var _ C.I_IsSymbolDict)
+              (Var _ C.I_IsSymbol)
               (Literal _ (ObjectLiteral
                 [ ("reflectSymbol", Abs _ _
                     (Literal _ (StringLiteral label)))