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