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