Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update AnomaCallablePathId to match Anoma calling convention #3107

Merged
merged 1 commit into from
Oct 17, 2024
Merged

Update AnomaCallablePathId to match Anoma calling convention #3107

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 8 additions & 4 deletions src/Juvix/Compiler/Nockma/Translation/FromTree.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -152,19 +152,23 @@ data CompilerFunction = CompilerFunction
_compilerFunction :: Sem '[Reader CompilerCtx, Reader FunctionCtx] (Term Natural)
}

-- | The Code and Args constructors must be first and second respectively. This is
-- because the stack must have the structure of a Nock function,
-- i.e [code args env]
-- | The FunCode and ArgsTuple constructors must be first and second
-- respectively. This is because the stack must have the structure of a Nock
-- function, i.e [code args env]
--
-- The StandardLibrary constructor must be last. Anoma will replace the tail of
-- the main function with the Anoma Resource Machine standard library when it
-- calls it.
data AnomaCallablePathId
= FunCode
| ArgsTuple
| ---
FunctionsLibrary
| StandardLibrary
| ClosureTotalArgsNum
| ClosureArgsNum
| ClosureArgs
| AnomaGetOrder
| StandardLibrary
deriving stock (Enum, Bounded, Eq, Show)

indexStack :: Natural -> Path
Expand Down
Loading