fix scry calls for module imports

Author: lukaszcz

.github/workflows/ci.yml

@@ -28,7 +28,7 @@ env:
   RISC0_VM_VERSION: v1.0.1
   # This is the top commit hash in the branch lukasz/juvix-ci-stable
   # of the anoma repository.
-  ANOMA_VERSION: 22168f07dab585f45624da2ca7d5bfb0a388067c
+  ANOMA_VERSION: cc06bddc6148a46bc7adfefeeda0ea259b0c9ec5
   JUST_ARGS: runtimeCcArg=$CC runtimeLibtoolArg=$LIBTOOL
   STACK_BUILD_ARGS: --pedantic -j4 --ghc-options=-j
 

app/Commands/Compile/Anoma/Options.hs

@@ -47,8 +47,8 @@ parseAnoma = do
       )
   _anomaNoNockImportDecoding <-
     switch
-      ( long "no-import-cue"
-          <> help "Do not generate code to cue imported modules. Required to run the generated code with the builtin evaluator."
+      ( long "mock-storage"
+          <> help "Generate import code compatible with simlated storage in the Juvix builtin Nockma evaluator."
       )
   pure AnomaOptions {..}
 

src/Juvix/Compiler/Nockma/Translation/FromTree.hs

@@ -329,7 +329,10 @@ mkScryDecode key = do
   bNoDecode <- asks (^. compilerNoImportDecoding)
   if
       | bNoDecode -> return $ mkScry key
-      | otherwise -> callStdlib StdlibDecode [mkScry key]
+      | otherwise -> callStdlib StdlibDecode [mkScry [remakeList ((OpQuote # nockNilTagged "scry-id") : (OpQuote # anomaId) : (OpQuote # blobId) : key)]]
+  where
+    anomaId :: Term Natural = TAtom 418447847009
+    blobId :: Term Natural = TAtom 1651469410
 
 allConstructors :: Tree.Module -> Tree.ConstructorInfo -> NonEmpty Tree.ConstructorInfo
 allConstructors md ci =
@@ -361,7 +364,7 @@ supportsNounNockmaRep md ci = fmap NockmaMemRepNoun . run . runFail $ do
   where
     -- Returns True if all elements of some type are representable with an
     -- Atom. There may be false negatives. In that case, a less optimal
-    -- representation might be chosen, but it shouldn't effect correctness.
+    -- representation might be chosen, but it shouldn't affect correctness.
     typeRepresentedAsAtom :: Tree.Type -> Bool
     typeRepresentedAsAtom = \case
       Tree.TyInteger {} -> True