change hint

anoma · Sep 9, 2024 · dc35409 · dc35409
1 parent d33dc00
commit dc35409
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Nockma/Language.hs b/src/Juvix/Compiler/Nockma/Language.hs
@@ -122,6 +122,7 @@ data AtomHint
   | AtomHintNil
   | AtomHintVoid
   | AtomHintFunctionsPlaceholder
+  | AtomHintStdlibPlaceholder
   | AtomHintString
   deriving stock (Show, Eq, Lift, Generic)
 

diff --git a/src/Juvix/Compiler/Nockma/Pretty/Base.hs b/src/Juvix/Compiler/Nockma/Pretty/Base.hs
@@ -44,6 +44,7 @@ instance forall a. (PrettyCode a, NockNatural a) => PrettyCode (Atom a) where
           AtomHintNil -> return (annotate (AnnKind KNameConstructor) Str.nil)
           AtomHintVoid -> return (annotate (AnnKind KNameAxiom) Str.void)
           AtomHintFunctionsPlaceholder -> return (annotate (AnnKind KNameAxiom) Str.functionsPlaceholder)
+          AtomHintStdlibPlaceholder -> return (annotate (AnnKind KNameAxiom) Str.stdlibPlaceholder)
           AtomHintString -> atomToText atm >>= ppCode
 
 instance PrettyCode Text where

diff --git a/src/Juvix/Compiler/Nockma/Translation/FromTree.hs b/src/Juvix/Compiler/Nockma/Translation/FromTree.hs
@@ -1009,7 +1009,7 @@ stdlibPlaceHolder =
           AtomInfo
             { _atomInfoLoc = Irrelevant Nothing,
               _atomInfoTag = Nothing,
-              _atomInfoHint = Just AtomHintFunctionsPlaceholder
+              _atomInfoHint = Just AtomHintStdlibPlaceholder
             },
         _atom = 0 :: Natural
       }

diff --git a/src/Juvix/Extra/Strings.hs b/src/Juvix/Extra/Strings.hs
@@ -1022,6 +1022,9 @@ version = "version"
 functionsPlaceholder :: (IsString s) => s
 functionsPlaceholder = "functionsLibrary_placeholder"
 
+stdlibPlaceholder :: (IsString s) => s
+stdlibPlaceholder = "stdlib_placeholder"
+
 theFunctionsLibrary :: (IsString s) => s
 theFunctionsLibrary = "the_functionsLibrary"