rename Reg.Const to Reg.ValConst

src/Juvix/Compiler/Backend/C/Translation/FromReg.hs

@@ -313,7 +313,7 @@ fromRegInstr bNoStack info = \case
 
     fromValue :: Reg.Value -> Expression
     fromValue = \case
-      Reg.Const c -> fromConst c
+      Reg.ValConst c -> fromConst c
       Reg.CRef Reg.ConstrField {..} ->
         case _constrFieldMemRep of
           Reg.MemRepConstr ->

src/Juvix/Compiler/Casm/Translation/FromReg.hs

@@ -110,13 +110,13 @@ fromReg tab = uncurry Result $ run $ runLabelInfoBuilderWithNextId (Reg.getNextS
 
         goValue :: Reg.Value -> ([Instruction], Value)
         goValue = \case
-          Reg.Const c -> ([], Imm $ goConst c)
+          Reg.ValConst c -> ([], Imm $ goConst c)
           Reg.CRef x -> ([mkAssignAp (goConstrField x)], Ref $ MemRef Ap (-1))
           Reg.VRef x -> ([], Ref $ goVarRef x)
 
         goRValue :: Reg.Value -> RValue
         goRValue = \case
-          Reg.Const c -> Val $ Imm $ goConst c
+          Reg.ValConst c -> Val $ Imm $ goConst c
           Reg.CRef x -> goConstrField x
           Reg.VRef x -> Val $ Ref $ goVarRef x
 
@@ -162,8 +162,8 @@ fromReg tab = uncurry Result $ run $ runLabelInfoBuilderWithNextId (Reg.getNextS
 
         goBinop :: Address -> Reg.InstrBinop -> Sem r [Instruction]
         goBinop addr x@Reg.InstrBinop {..} = case _instrBinopArg1 of
-          Reg.Const c1 -> case _instrBinopArg2 of
-            Reg.Const c2 -> case Reg.evalBinop' _instrBinopOpcode c1 c2 of
+          Reg.ValConst c1 -> case _instrBinopArg2 of
+            Reg.ValConst c2 -> case Reg.evalBinop' _instrBinopOpcode c1 c2 of
               Left err -> error err
               Right c ->
                 return [mkAssign res (Val $ Imm $ goConst c)]

src/Juvix/Compiler/Core/Language/Base.hs

@@ -12,7 +12,7 @@ import GHC.Show qualified as Show
 import Juvix.Compiler.Core.Info (Info, IsInfo, Key)
 import Juvix.Compiler.Core.Language.Builtins (BuiltinDataTag (..), builtinConstrArgsNum)
 import Juvix.Extra.Serialize
-import Juvix.Prelude hiding (Const)
+import Juvix.Prelude
 import Prettyprinter
 
 type Location = Interval

src/Juvix/Compiler/Reg/Extra/Base.hs

@@ -53,7 +53,7 @@ overValueRefs f = \case
 
     goValue :: Value -> Value
     goValue = \case
-      Const c -> Const c
+      ValConst c -> ValConst c
       CRef x -> CRef $ goConstrField x
       VRef x -> VRef $ f x
 

src/Juvix/Compiler/Reg/Extra/Info.hs

@@ -144,7 +144,7 @@ computeStringMap strs = snd . run . execState (HashMap.size strs, strs) . mapM g
 
     goVal :: (Member (State (Int, HashMap Text Int)) r) => Value -> Sem r ()
     goVal = \case
-      Const (ConstString str) ->
+      ValConst (ConstString str) ->
         modify'
           ( \(sid :: Int, sstrs) ->
               if

src/Juvix/Compiler/Reg/Interpreter.hs

@@ -88,7 +88,7 @@ runFunction hout infoTable args0 info0 = do
 
     readValue :: Args -> Vars s -> Value -> ST s Val
     readValue args tmps = \case
-      Const c -> return $ constantToValue c
+      ValConst c -> return $ constantToValue c
       CRef r -> readConstrRef args tmps r
       VRef r -> readVarRef args tmps r
 

src/Juvix/Compiler/Reg/Language.hs

@@ -7,7 +7,7 @@ where
 import Juvix.Compiler.Reg.Language.Base
 
 data Value
-  = Const Constant
+  = ValConst Constant
   | CRef ConstrField
   | VRef VarRef
 

src/Juvix/Compiler/Reg/Pretty/Base.hs

@@ -43,7 +43,7 @@ instance PrettyCode ConstrField where
 
 instance PrettyCode Value where
   ppCode = \case
-    Const x -> Tree.ppCode x
+    ValConst x -> Tree.ppCode x
     CRef x -> ppCode x
     VRef x -> ppCode x
 

src/Juvix/Compiler/Reg/Transformation/InitBranchVars.hs

@@ -73,7 +73,7 @@ initBranchVars = mapT (const goFun)
           Assign
             InstrAssign
               { _instrAssignResult = vref,
-                _instrAssignValue = Const ConstVoid
+                _instrAssignValue = ValConst ConstVoid
               }
 
 checkInitialized :: InfoTable -> Bool

src/Juvix/Compiler/Reg/Translation/FromAsm.hs

@@ -131,7 +131,7 @@ fromAsmInstr funInfo tab si Asm.CmdInstr {..} =
 
     mkValue :: Asm.Value -> Value
     mkValue = \case
-      Asm.Constant c -> Const c
+      Asm.Constant c -> ValConst c
       Asm.Ref mv -> case mv of
         Asm.DRef dref -> VRef $ mkVar dref
         Asm.ConstrRef Asm.Field {..} ->

src/Juvix/Compiler/Reg/Translation/FromSource.hs

@@ -463,7 +463,7 @@ varTmp = do
 value ::
   (Members '[Reader ParserSig, InfoTableBuilder, State LocalParams] r) =>
   ParsecS r Value
-value = (Const <$> constant) <|> varOrConstrRef
+value = (ValConst <$> constant) <|> varOrConstrRef
 
 varOrConstrRef ::
   (Members '[Reader ParserSig, InfoTableBuilder, State LocalParams] r) =>