Update Changelog v0.2.7 🎉

.gitignore

@@ -85,4 +85,4 @@ docs/**/*.md
 .history
 docs/org/README.org
 # Binary files (produced by `make check`)
-examples/milestone/HelloWorld/HelloWorld
+examples/milestone/HelloWorld/HelloWorld

README.org

@@ -92,9 +92,9 @@ follows:
 
 #+begin_src shell
 cd /tmp
-curl -OL https://github.com/anoma/juvix/releases/download/v0.2.6/juvix-linux_x86_64-v0.2.6.zip
-unzip juvix-linux_x86_64-v0.2.6.zip
-mv juvix-linux_x86_64-v0.2.6 ~/.local/bin/juvix
+curl -OL https://github.com/anoma/juvix/releases/download/v0.2.7/juvix-linux_x86_64-v0.2.7.zip
+unzip juvix-linux_x86_64-v0.2.7.zip
+mv juvix-linux_x86_64-v0.2.7 ~/.local/bin/juvix
 #+end_src
 
 *** Building Juvix from source
@@ -196,10 +196,7 @@ standard library's website]]. For futher details, please refer to
 
 For the language:
 
-- lambda expressions
-- =let= expressions
 - tail call optimization
-- inference for mutually recursive functions
 - compilation to circuits
 - coverage checking (i.e. exhaustiveness and useless clauses)
 
@@ -210,5 +207,8 @@ For the compiler:
 
 ** Community
 
-We would love to hear what you think of Juvix! Join us on
-[[https://discord.gg/vEQappb7wG][the Anoma Discord]].
+Join us on our [[https://discord.gg/waYhQ2Qr][Discord server]]
+
+This project is part of a bigger effort called [[https://anoma.net/][Anoma]].
+Anoma is a suite of protocols and mechqanisms for self-contained, self-sovereign coordination.
+Join the [[https://anoma.net/community][Anoma project]].

changelog.org

@@ -6,6 +6,88 @@
 </a>
 #+end_html
 
+** [[https://github.com/anoma/juvix/tree/v0.2.7][v0.2.7]] (2022-12-05)
+[[https://github.com/anoma/juvix/compare/v0.2.6...v0.2.7][Full
+Changelog]]
+
+*Implemented enhancements:*
+
+- Add juvix-repl-mode for emacs
+  [[https://github.com/anoma/juvix/pull/1612][#1612]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Make lambda lifting correct when free variables occur in the types of
+  binders [[https://github.com/anoma/juvix/pull/1609][#1609]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+
+*Merged pull requests:*
+
+- Files pure refactor
+  [[https://github.com/anoma/juvix/pull/1652][#1652]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Use the same stack version in all CI jobs and remove =stack setup=
+  step [[https://github.com/anoma/juvix/pull/1651][#1651]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Fix 'not a primitive type' error message
+  [[https://github.com/anoma/juvix/pull/1648][#1648]]
+  ([[https://github.com/lukaszcz][lukaszcz]])
+- Upgrade stack snapshot to use ghc-9.2.5
+  [[https://github.com/anoma/juvix/pull/1621][#1621]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Add an emacs function to restart the REPL
+  [[https://github.com/anoma/juvix/pull/1618][#1618]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Add types to Core functions and constructors when translating from
+  Internal [[https://github.com/anoma/juvix/pull/1617][#1617]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Auto complete argument of 'dev core read -t'
+  [[https://github.com/anoma/juvix/pull/1616][#1616]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Compute new entrypoint root when loading a file in the REPL
+  [[https://github.com/anoma/juvix/pull/1615][#1615]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Compute maximum runtime stack height in JuvixReg
+  [[https://github.com/anoma/juvix/pull/1613][#1613]]
+  ([[https://github.com/lukaszcz][lukaszcz]])
+- Remove shelltest threading
+  [[https://github.com/anoma/juvix/pull/1611][#1611]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Use StackInfo and recurseS in the JuvixAsm to JuvixReg translation.
+  [[https://github.com/anoma/juvix/pull/1610][#1610]]
+  ([[https://github.com/lukaszcz][lukaszcz]])
+- Precompute maximum heap allocation
+  [[https://github.com/anoma/juvix/pull/1608][#1608]]
+  ([[https://github.com/lukaszcz][lukaszcz]])
+- Improvements to Juvix REPL
+  [[https://github.com/anoma/juvix/pull/1607][#1607]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Fix discrepancy between Juvix and WASM pages
+  [[https://github.com/anoma/juvix/pull/1605][#1605]]
+  ([[https://github.com/lukaszcz][lukaszcz]])
+- Compute JuvixAsm stack usage info
+  [[https://github.com/anoma/juvix/pull/1604][#1604]]
+  ([[https://github.com/lukaszcz][lukaszcz]])
+- Improve As-Pattern parsing
+  [[https://github.com/anoma/juvix/pull/1603][#1603]]
+  ([[https://github.com/ii8][ii8]])
+- Juvix core recursors should descend into nodes stored in infos
+  [[https://github.com/anoma/juvix/pull/1600][#1600]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Add docs for installing the linux binary
+  [[https://github.com/anoma/juvix/pull/1599][#1599]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Binder refactor [[https://github.com/anoma/juvix/pull/1598][#1598]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Juvix C runtime [[https://github.com/anoma/juvix/pull/1580][#1580]]
+  ([[https://github.com/lukaszcz][lukaszcz]])
+- As-patterns [[https://github.com/anoma/juvix/pull/1576][#1576]]
+  ([[https://github.com/ii8][ii8]])
+- Eta expansion at the top of each core function definition (#1481)
+  [[https://github.com/anoma/juvix/pull/1571][#1571]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Add translation from Internal to Core
+  [[https://github.com/anoma/juvix/pull/1567][#1567]]
+  ([[https://github.com/paulcadman][paulcadman]])
+
 ** [[https://github.com/anoma/juvix/tree/v0.2.6][v0.2.6]] (2022-10-26)
 [[https://github.com/anoma/juvix/compare/v0.2.5...v0.2.6][Full
 Changelog]]

docs/org/SUMMARY.org

@@ -26,6 +26,8 @@
   - [[./tooling/testing.md][Haskell test suite]]
 
 - [[./notes/README.md][Notes]]
+  - [[./notes/runtime-benchmark-results.md][Runtime benchmark results]]
+  - [[./notes/monomorphization.md][Monomorphization]]
   - [[./examples/validity-predicates/README.md][Validity predicates]]
   - [[./notes/strictly-positive-data-types.md][Strictly positive data types]]
 

docs/org/introduction/about/community.org

@@ -1,7 +1,6 @@
 * Juvix community
 
-We would love to hear what you think of Juvix! Join us on
-[[https://discord.gg/PpDqtCjy][Discord]]
+Join us on our [[https://discord.gg/waYhQ2Qr][Discord server]]
 
 This project is part of a bigger effort called [[https://anoma.net/][Anoma]].
 Anoma is a suite of protocols and mechanisms for self-contained, self-sovereign coordination.

package.yaml

@@ -1,5 +1,5 @@
 name:            juvix
-version:         0.2.6
+version:         0.2.7
 license:         GPL-3.0-only
 license-file:    LICENSE
 copyright:       (c) 2022- Heliax AG.

src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs

@@ -77,13 +77,14 @@ scopeCheckExpression ::
   Sem r Expression
 scopeCheckExpression tab scope as = mapError (JuvixError @ScoperError) $ do
   snd
-    <$> ( runInfoTableBuilder tab $
-            runReader iniScopeParameters $
-              evalState iniScoperState $
-                evalState scope $
-                  localScope $
-                    checkParseExpressionAtoms as
-        )
+    <$> runInfoTableBuilder
+      tab
+      ( runReader iniScopeParameters $
+          evalState iniScoperState $
+            evalState scope $
+              localScope $
+                checkParseExpressionAtoms as
+      )
 
 checkParseExpressionAtoms' ::
   Members '[Error ScoperError, State Scope, State ScoperState, Reader LocalVars, InfoTableBuilder, NameIdGen] r =>

tests/CLI/version.test

@@ -1,5 +1,5 @@
 $ juvix --version
-> /Juvix version 0.2.6-([a-f0-9]{7})
+> /Juvix version 0.2.7-([a-f0-9]{7})
 Branch: .*
 Commit: .*
 Date: .*