Rename start to _start to avoid potential conflict with user names

src/Solcore/Backend/EmitHull.hs

@@ -142,7 +142,7 @@ findConstructor :: [MastContractDecl] -> Maybe MastFunDef
 findConstructor = go
   where
     go [] = Nothing
-    go (MastCFunDecl d : _) | mastFunName d == "start" = Just d
+    go (MastCFunDecl d : _) | mastFunName d == deployerName = Just d
     go (_ : ds) = go ds
 
 -----------------------------------------------------------------------

src/Solcore/Backend/Mast.hs

@@ -8,6 +8,7 @@ module Solcore.Backend.Mast where
 -}
 
 import Common.Pretty
+import Data.String
 import Language.Yul (YulBlock)
 import Solcore.Frontend.Pretty.SolcorePretty ()
 import Solcore.Frontend.Syntax.Contract (DataTy (..), Import (..))
@@ -16,6 +17,9 @@ import Solcore.Frontend.Syntax.Stmt (Literal (..))
 import Solcore.Frontend.Syntax.Ty (Ty (..), Tyvar (..))
 import Solcore.Primitives.Primitives (word)
 
+deployerName :: Name
+deployerName = fromString "_start"
+
 -----------------------------------------------------------------------
 -- Types: no TyVar, no Meta — only type constructors
 -----------------------------------------------------------------------

src/Solcore/Backend/MastEval.hs

@@ -484,7 +484,7 @@ expIsPure pureFuns (MastCond e1 e2 e3) =
 -----------------------------------------------------------------------
 
 -- | Remove unused functions from a compilation unit.
--- 'start' and 'main' are always considered roots (entry points).
+-- deployer  and 'main' are always considered roots (entry points).
 eliminateDeadCode :: MastCompUnit -> MastCompUnit
 eliminateDeadCode cu = cu {mastTopDecls = map elimTopDecl (mastTopDecls cu)}
   where
@@ -504,12 +504,12 @@ eliminateDeadCode cu = cu {mastTopDecls = map elimTopDecl (mastTopDecls cu)}
         isUsedDecl (MastCMutualDecl ds) = any isUsedDecl ds
         isUsedDecl (MastCDataDecl _) = True
 
--- | Find all functions reachable from root functions ('start', 'main')
+-- | Find all functions reachable from root functions
 findUsedFunctions :: MastContract -> Set.Set Name
 findUsedFunctions c = go initialRoots initialRoots
   where
     -- Root functions that are always considered used
-    rootNames = Set.fromList [Name "start", Name "main"]
+    rootNames = Set.fromList [deployerName, Name "main"]
 
     -- Start with roots that actually exist in the contract
     initialRoots = Set.intersection rootNames allFunNames

src/Solcore/Backend/Specialise.hs

@@ -229,8 +229,7 @@ specialiseTopDecl (TContr (Contract name args decls)) = withLocalState do
     getSpecialisedDecls
   -- Deployer code
   modify (\st -> st {specTable = emptyTable})
-  -- let deployerName = Name (pretty name <> "$Deployer")
-  mStart <- specEntryOpt "start"
+  mStart <- specEntryOpt deployerName
   deployDecls <- case mStart of
     Just {} -> do
       depDecls <- getSpecialisedDecls
@@ -258,7 +257,7 @@ specEntry name = do
   pure mres
 
 -- | Like 'specEntry' but silently returns Nothing when the name is absent.
--- Use for optional entry points (e.g. "start") that may not exist when
+-- Use for optional entry points (e.g. deployer) that may not exist when
 -- contract dispatch generation is disabled.
 specEntryOpt :: Name -> SM (Maybe Name)
 specEntryOpt name = withLocalState do

src/Solcore/Desugarer/ContractDispatch.hs

@@ -16,6 +16,7 @@ import Data.Set (Set)
 import Data.Set qualified as Set
 import Language.Yul
 import Language.Yul.QuasiQuote
+import Solcore.Backend.Mast
 import Solcore.Frontend.Syntax
 import Solcore.Primitives.Primitives (string, tupleExpFromList, tupleTyFromList, unit, word)
 
@@ -156,7 +157,7 @@ transformConstructor contractName cons
       Signature
         { sigVars = mempty,
           sigContext = mempty,
-          sigName = "start",
+          sigName = deployerName,
           sigParams = mempty,
           sigReturn = Just unit
         }

yule/Main.hs

@@ -63,7 +63,7 @@ addRetCode c = c <> retCode
 deployCode :: String -> Bool -> YulCode
 deployCode _name withStart = YulCode $ go withStart
   where
-    go True = [[yulStmt| usr$start() |]]
+    go True = [[yulStmt| usr$_start() |]]
     go False = []
 
 createDeployment :: YulObject -> YulObject