anoma/juvix v0.6.7 on GitHub

What's Changed

Fix locations in Internal hole substitution (only for the case of substituting identifiers) by @lukaszcz in #2995
Fix typechecking of default arguments in signatures with trait arguments by @janmasrovira in #2998
Fix a bug that prevented use of name signature defined after the point by @janmasrovira in #3001
Remove legacy naive match-to-case compiler by @lukaszcz in #3003
Do not inline the functions library everywhere in the Nockma backend by @janmasrovira in #3004
Compilation of side conditions in pattern matches by @lukaszcz in #2984
Only output .debug.nockma file with the --debug flag by @janmasrovira in #3006
Do not duplicate nockma stdlib in the nockma backend by @janmasrovira in #3005
Lift non-immediate expressions out of case values for the Nockma backend by @lukaszcz in #3010
Fix location of scoped modulePathName by @janmasrovira in #3011
Fix RISC0 compilation on the CI by @lukaszcz in #3015
Fix bug in symbol dependency graph generation in Core by @lukaszcz in #3018
Store the DocTable in the .jvo file by @janmasrovira in #3021
Fix the location in the parser for .juvix.md by @janmasrovira in #3020
The assert builtin by @lukaszcz in #3014
Fix RISC0 in the CI by @lukaszcz in #3025
Fix JuvixTree parsing and pretty printing by @lukaszcz in #3024
Remove old named application syntax by @janmasrovira in #3026
Update to GHC 9.10.1 by @lukaszcz in #2991
Update linux static binary workflow for GHC 9.10.1 by @paulcadman in #3034
Don't fold lets if the let-bound variable occurs under a lambda-abstraction by @lukaszcz in #3029
Update cabal.project.freeze for GHC 9.10.1 update by @paulcadman in #3035
Precompute debug operations info in linear time by @lukaszcz in #3038
Revert GHC 9.10.1 update by @paulcadman in #3052
Improve parsing error for missing @ in named application by @janmasrovira in #3012
Fix linux static build: Remove -j argument from C runtime make invocation by @paulcadman in #3055
Group tables related to typechecking by @janmasrovira in #3056
Fix RISC0 on the CI by @lukaszcz in #3061
Parse stdlibPlaceholder in Nockma parser by @paulcadman in #3065
Include the juvix version in the build directory path by @paulcadman in #3069
Ignore files that start with a . by @janmasrovira in #3072
Remove unused field from ScoperState by @janmasrovira in #3073
Reimplement positivity checker by @janmasrovira in #3057
Fix termination crash due to empty permutation by @janmasrovira in #3081
Merge typechecker negative tests by @janmasrovira in #3076
Fix named application bug by @janmasrovira in #3075
Nockma backend: translate trace to %puts hints by @lukaszcz in #3053
Add coding style guidelines by @lukaszcz in #3059
Avoid duplication in Nockma code generation by @lukaszcz in #3070
Fix JuvixTree unification by @lukaszcz in #3087
Merge containers into standard library by @lukaszcz in #3088
Support Anoma stdlib curry function by @paulcadman in #3097
Update standard library coding style according to the guidelines by @lukaszcz in #3092
Allow @ in constructor declarations by @lukaszcz in #3099
Update anoma nock stdlib by @paulcadman in #3103
Compile-time configuration by @lukaszcz in #3102
Remove VampIR compile command and tests by @lukaszcz in #3104
Update AnomaCallablePathId to match Anoma calling convention by @paulcadman in #3107
Update license reference by @emmanuel-ferdman in #3108
Add frontend support for Anoma stdlib sha256 by @paulcadman in #3109
Update anoma nock stdlib to include resource machine client library by @paulcadman in #3110
Fix closure representation in the Nock backend by @lukaszcz in #3105
Rename Nockma stdlib to anomalib and add RM references by @paulcadman in #3111
Add frontend support for Anoma Resource Machine builtins by @paulcadman in #3113
Refactor dangerous default branches in Core to Tree translation by @janmasrovira in #3116
Serialize Nockma output using nock jam by @paulcadman in #3066
Don't put a space after the lambda keyword by @janmasrovira in #3121
Improve Set and Map modules in the standard library by @lukaszcz in #3120
Update Anoma nock library by @paulcadman in #3119
Remove VampIR from the CI by @lukaszcz in #3126
Formatter: add braces when the iterator body is not enclosed by @lukaszcz in #3122
Set line width to 80 by @janmasrovira in #3124
Improve function argument names in the standard library by @lukaszcz in #3127
Run Nockma in an Anoma node by @janmasrovira in #3128
Allow trailing semicolons everywhere by @lukaszcz in #3123
Support random API from the Anoma stdlib by @paulcadman in #3129
Fix linux static build by pinning ghc-musl container version by @paulcadman in #3132
Detect redundant patterns by @lukaszcz in #3101
Detect constant side conditions in matches by @lukaszcz in #3133
Stdlib: add functions to the Map module by @lukaszcz in #3136
Fix package-base interaction by @janmasrovira in #3139
Add anoma nockma tests by @janmasrovira in #3134
Anoma client verbose request response by @paulcadman in #3140
juvix dev nockma run --anoma-dir ./anoma --args are given as a nockma list by @janmasrovira in #3142
Add dev nockma encode command by @janmasrovira in #3135
Update juvix-stdlib ref to latest main by @paulcadman in #3148
Use nockmaEq instead of Eq instance to detect nil terminator by @paulcadman in #3149
Fix StdlibRandomNextBytes call by @paulcadman in #3150
Release 0.6.7 by @paulcadman in #3153

New Contributors

@emmanuel-ferdman made their first contribution in #3108

Full Changelog: v0.6.6...v0.6.7