[LIGO-558] Specific entrypoint name for debugging

Problem: at this moment we assume that contract's entrypoint name
is `main`. However, we want to debug contracts, which entrypoint name
isn't `main`.

Solution: get entrypoint name from `launch.json` file. Had to slightly
modify `initDebuggerSession` in `Impl` module.

tools/debugger/ligo-debugger/src/Language/LIGO/Debugger/CLI/Call.hs

@@ -84,14 +84,15 @@ instance Exception BadLigoOutput where
   displayException = pretty
 
 -- | Run ligo to compile the contract with all the necessary debug info.
-compileLigoContractDebug :: (MonadIO m) => FilePath -> m LigoMapper
-compileLigoContractDebug file =
+compileLigoContractDebug :: (MonadIO m) => String -> FilePath -> m LigoMapper
+compileLigoContractDebug entrypoint file =
   runAndReadOutput Aeson.eitherDecode
     "ligo"
     [ "compile", "contract"
     , "--michelson-format", "json"
     , "--michelson-comments", "location"
     , "--michelson-comments", "env"
+    , "-e", entrypoint
     , file
     ]
     >>= either (throwIO . BadLigoOutput . toText) pure

tools/debugger/ligo-debugger/src/Language/LIGO/Debugger/Handlers/Impl.hs

@@ -190,13 +190,14 @@ initDebuggerSession logger LigoLaunchRequestArguments {..} = do
   program <- checkArgument "program" programLigoLaunchRequestArguments
   storageT <- checkArgument "storage" storageLigoLaunchRequestArguments
   paramT <- checkArgument "parameter" parameterLigoLaunchRequestArguments
+  let entrypoint = fromMaybe "main" entrypointLigoLaunchRequestArguments
 
   unlessM (doesFileExist program) $
     throwError $ DAP.mkErrorMessage "Contract file not found" $ toText program
 
   let src = P.MSFile program
 
-  ligoDebugInfo <- compileLigoContractDebug program
+  ligoDebugInfo <- compileLigoContractDebug entrypoint program
   lift . logger $ "Successfully read the LIGO debug output for " <> pretty program
 
   -- TODO [LIGO-554]: use LIGO for parsing it
@@ -207,10 +208,6 @@ initDebuggerSession logger LigoLaunchRequestArguments {..} = do
   uStorage <- P.parseExpandValue src (toText storageT) &
     either (throwError . DAP.mkErrorMessage "Could not parse storage" . pretty) pure
 
-  entrypoint <-
-    maybe (Right U.DefEpName) U.buildEpName (fromString <$> entrypointLigoLaunchRequestArguments)
-    & either (throwError . DAP.mkErrorMessage "Could not parse entrypoint" . toText) pure
-
   -- This do is purely for scoping, otherwise GHC trips up:
   --     • Couldn't match type ‘a0’ with ‘()’
   --         ‘a0’ is untouchable
@@ -222,7 +219,8 @@ initDebuggerSession logger LigoLaunchRequestArguments {..} = do
 
     lift $ logger $ pretty (cCode contract)
 
-    epcRes <- T.mkEntrypointCall entrypoint (cParamNotes contract) &
+    -- Entrypoint is default because in @ParamNotes@ we don't have @EpName@ at all.
+    epcRes <- T.mkEntrypointCall U.DefEpName (cParamNotes contract) &
       maybe (throwError $ DAP.mkErrorMessage "Entrypoint not found" $ pretty entrypoint) pure
 
     case epcRes of
@@ -234,7 +232,7 @@ initDebuggerSession logger LigoLaunchRequestArguments {..} = do
           & typeCheckingForDebugger
           & either (throwError . DAP.mkErrorMessage "Storage does not typecheck") pure
 
-        let his = collectInterpretSnapshots program contract epc arg storage dummyContractEnv
+        let his = collectInterpretSnapshots program (fromString entrypoint) contract epc arg storage dummyContractEnv
             ds = DebuggerState
               { _dsSourceOrigin = SourcePath program
               , _dsSnapshots = playInterpretHistory his

tools/debugger/ligo-debugger/src/Language/LIGO/Debugger/Snapshots.hs

@@ -310,13 +310,14 @@ runCollectInterpretSnapshots act env initSt =
 collectInterpretSnapshots
   :: forall cp st arg.
      FilePath
+  -> Text
   -> Contract cp st
   -> EntrypointCallT cp arg
   -> Value arg
   -> Value st
   -> ContractEnv
   -> InterpretHistory InterpretSnapshot
-collectInterpretSnapshots mainFile Contract{..} epc param initStore env =
+collectInterpretSnapshots mainFile entrypoint Contract{..} epc param initStore env =
   runCollectInterpretSnapshots
     (runInstrCollect cCode initStack)
     env
@@ -327,7 +328,7 @@ collectInterpretSnapshots mainFile Contract{..} epc param initStore env =
     collSt = CollectorState
       { csInterpreterState = initSt
       , csStackFrames = one StackFrame
-          { sfName = "main"
+          { sfName = entrypoint
           , sfStack = []
           , sfLoc = LigoRange
             { lrFile = mainFile