diff --git a/Makefile b/Makefile index 4e04f6add9..ea889c703c 100644 --- a/Makefile +++ b/Makefile @@ -32,13 +32,17 @@ docs/md/README.md : @mkdir -p docs/md @${ORGTOMDPRG} README.org ${ORGOPTS} +docs/md/changelog.md : + @mkdir -p docs/md + @${ORGTOMDPRG} changelog.org ${ORGOPTS} + docs/md/%.md : docs/org/%.org @echo "Processing ... $@" @mkdir -p $(dir $@) ${ORGTOMDPRG} $? ${ORGOPTS} .PHONY: markdown-docs -markdown-docs: docs/md/README.md $(MDFILES) +markdown-docs: docs/md/README.md docs/md/changelog.md $(MDFILES) @echo "copying assets ..." @mkdir -p docs/md/assets @cp -v $(addprefix assets/,$(ASSETS)) docs/md/assets diff --git a/docs/org/introduction/changelog.org b/changelog.org similarity index 84% rename from docs/org/introduction/changelog.org rename to changelog.org index 666cc96c09..166d826320 100644 --- a/docs/org/introduction/changelog.org +++ b/changelog.org @@ -6,6 +6,96 @@ #+end_html +** [[https://github.com/anoma/juvix/tree/v0.2.2][v0.2.2]] (2022-07-25) + :PROPERTIES: + :CUSTOM_ID: v0.2.2-2022-07-25 + :END: +[[https://github.com/anoma/juvix/compare/v0.2.1...v0.2.2][Full +Changelog]] + +*Implemented enhancements:* + +- Compute name dependency graph and filter unreachable definitions + [[https://github.com/anoma/juvix/pull/1408][#1408]] + ([[https://github.com/lukaszcz][lukaszcz]]) +- Support type aliases + [[https://github.com/anoma/juvix/pull/1404][#1404]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Add debugging custom function to Prelude + [[https://github.com/anoma/juvix/pull/1401][#1401]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Add positivity check for data types + [[https://github.com/anoma/juvix/pull/1393][#1393]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Keep qualified names + [[https://github.com/anoma/juvix/pull/1392][#1392]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Direct translation from MicroJuvix to MiniC + [[https://github.com/anoma/juvix/pull/1386][#1386]] + ([[https://github.com/lukaszcz][lukaszcz]]) +- Widens the accepted symbol list + [[https://github.com/anoma/juvix/pull/1385][#1385]] + ([[https://github.com/mariari][mariari]]) +- Check all the type parameter names are different when declaring an + inductive type [[https://github.com/anoma/juvix/pull/1377][#1377]] + ([[https://github.com/jonaprieto][jonaprieto]]) + +*Fixed bugs:* + +- Curly braces are allowed nested in patterns + [[https://github.com/anoma/juvix/pull/1380][#1380]] + ([[https://github.com/janmasrovira][janmasrovira]]) + +*Merged pull requests:* + +- Add =Fail= effect (#1409) + [[https://github.com/anoma/juvix/pull/1411][#1411]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Refactor of typechecking and other checking processes + [[https://github.com/anoma/juvix/pull/1410][#1410]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Use bold for code in scoper error messages + [[https://github.com/anoma/juvix/pull/1403][#1403]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Replace ppSimple by text + [[https://github.com/anoma/juvix/pull/1402][#1402]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Implement some error messages (#1396) + [[https://github.com/anoma/juvix/pull/1400][#1400]] + ([[https://github.com/lukaszcz][lukaszcz]]) +- Refactor childs of pattern parentheses and braces + [[https://github.com/anoma/juvix/pull/1398][#1398]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Update Juvix standard-library + [[https://github.com/anoma/juvix/pull/1389][#1389]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Fix documentation generation + [[https://github.com/anoma/juvix/pull/1387][#1387]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Adds Collatz sequence generator example + [[https://github.com/anoma/juvix/pull/1384][#1384]] + ([[https://github.com/paulcadman][paulcadman]]) +- html-examples [[https://github.com/anoma/juvix/pull/1381][#1381]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Refine hole in type signature to function type + [[https://github.com/anoma/juvix/pull/1379][#1379]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Type checking fails when the type of a pattern is not given by the + signature [[https://github.com/anoma/juvix/pull/1378][#1378]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Set cname for gh-pages action + [[https://github.com/anoma/juvix/pull/1376][#1376]] + ([[https://github.com/paulcadman][paulcadman]]) +- Add fibonacci sequence example program + [[https://github.com/anoma/juvix/pull/1375][#1375]] + ([[https://github.com/paulcadman][paulcadman]]) +- Fix Changelog links and minors + [[https://github.com/anoma/juvix/pull/1371][#1371]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Add Version number to the emacs mode + [[https://github.com/anoma/juvix/pull/1320][#1320]] + ([[https://github.com/mariari][mariari]]) + ** [[https://github.com/anoma/minijuvix/tree/v0.2.1][v0.2.1]] (2022-07-12) [[https://github.com/anoma/minijuvix/compare/v0.2.0...v0.2.1][Full diff --git a/docs/org/SUMMARY.org b/docs/org/SUMMARY.org index daab6163b1..c1d7a6538e 100755 --- a/docs/org/SUMMARY.org +++ b/docs/org/SUMMARY.org @@ -1,7 +1,7 @@ * Summary - [[./README.md][The Juvix project]] -- [[./introduction/changelog.md][Changelog]] +- [[./changelog.md][Changelog]] - [[./getting-started/README.md][Getting started]] - [[./getting-started/quick-start.md][Quick start]] - [[./getting-started/dependencies.md][Installing dependencies]] @@ -36,6 +36,6 @@ - [[./notes/monomorphization.md][Monomorphization]] - [[./notes/strictly-positive-data-types.md][Strictly positive data types]] -- [[./introduction/about/what-is.md][About]] +- [[./README.md][About]] # - [[./introduction/about/team.md][The dev team]] - [[./introduction/about/community.md][Community]] diff --git a/package.yaml b/package.yaml index fc86caa822..88171184af 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: juvix -version: 0.2.1 +version: 0.2.2 license: GPL-3.0-only license-file: LICENSE copyright: (c) 2022- Heliax AG.