Support compilation of Anoma transactions in nockma backend#2693

Merged

janmasrovira merged 37 commits intomainfrom reinline-env

Mar 22, 2024

+752-354

Commits on Mar 22, 2024

transactions wip
paulcadman
committed
fix placeholder

janmasrovira
authored and
paulcadman
committed
wip

janmasrovira
authored and
paulcadman
committed
compile and run length [1] == 1

janmasrovira
authored and
paulcadman
committed
write some tests

janmasrovira
authored and
paulcadman
committed
end of the day

janmasrovira
authored and
paulcadman
committed
remove Juvix calling convention and fix 'list to tuple'

janmasrovira
authored and
paulcadman
committed
comment out debug writeFile

janmasrovira
authored and
paulcadman
committed
add some unit tests

janmasrovira
authored and
paulcadman
committed
fix foldTermsOrNil

janmasrovira
authored and
paulcadman
committed
put quotes

janmasrovira
authored and
paulcadman
committed
fixing bugs

janmasrovira
authored and
paulcadman
committed
improving traces

janmasrovira
authored and
paulcadman
committed
add tag to atoms

janmasrovira
authored and
paulcadman
committed
check atomHint when parsing NockOp

janmasrovira
authored and
paulcadman
committed
nockNilTagged, fix allocClosure

janmasrovira
authored and
paulcadman
committed
add optIgnoreTags option to prettyprinter

janmasrovira
authored and
paulcadman
committed
define opReplace

janmasrovira
authored and
paulcadman
committed
fix replacement of extensions

janmasrovira
authored and
paulcadman
committed
Remove TargetNockma
paulcadman
committed
Remove unsafePerformIO
paulcadman
committed
Remove unused ProgramCallingConvention
paulcadman
committed
Export runCompilerWith'
paulcadman
committed
Update test/Nockma/Eval/Positive.hs

paulcadman
and
janmasrovira
committed
Fix handling of appendRights in listToTuple
paulcadman
committed
Add dev nockma run command to run Anoma programs with an env
paulcadman
committed
Fix after rebase
paulcadman
committed
Fix nockma parsing of stdlib idents
paulcadman
committed
Output pretty version of nockma
paulcadman
committed
Allow any ascii char in a nockma iden
paulcadman
committed
inline the env in every closure

janmasrovira
authored and
paulcadman
committed
Support passing of arguments to dev nockma run
paulcadman
committed
Add anoma compile negative test for strings
paulcadman
committed
Fix formatting
paulcadman
committed
Fix after rebase
paulcadman
committed
Parse nockma functionsPlaceholder atom
paulcadman
committed
Remove comment
paulcadman
committed