diff --git a/.github_changelog_generator b/.github_changelog_generator index 1a4a0e05b0..42672ecc6e 100644 --- a/.github_changelog_generator +++ b/.github_changelog_generator @@ -19,7 +19,7 @@ filter_issues_by_milestone=true header=# The MiniJuvix Changelog issue_line_labels=[] issue_prefix=**Closed issues:** -issues_of_open_milestones=true +issues_of_open_milestones=false issues=true max_issues=nil merge_prefix=**Merged pull requests:** @@ -33,6 +33,6 @@ security_prefix=**Security fixes:** simple_list=false ssl_ca_file=nil summary_labels=Release summary,release-summary,Summary,summary -unreleased=true +unreleased=false user=heliaxdev verbose=false diff --git a/CHANGELOG.org b/CHANGELOG.org index 0bcdcc5ec8..09b3d06dab 100644 --- a/CHANGELOG.org +++ b/CHANGELOG.org @@ -2,32 +2,97 @@ :PROPERTIES: :CUSTOM_ID: the-minijuvix-changelog :END: -** [[https://github.com/heliaxdev/minijuvix/tree/0.1.3][0.1.3]] -(2022-05-03) + + +** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.3][v0.1.3]] +(2022-05-05) :PROPERTIES: - :CUSTOM_ID: section + :CUSTOM_ID: v0.1.3-2022-05-05 :END: -[[https://github.com/heliaxdev/minijuvix/compare/v0.1.2...0.1.3][Full +[[https://github.com/heliaxdev/minijuvix/compare/v0.1.2...v0.1.3][Full Changelog]] *Closed issues:* -- Compile minihaskell output to WASM - [[https://github.com/heliaxdev/minijuvix/issues/50][#50]] -- Stop type checking at the first type error - [[https://github.com/heliaxdev/minijuvix/issues/49][#49]] -- Crash when typechecking a constructor pattern-match - [[https://github.com/heliaxdev/minijuvix/issues/41][#41]] -- Do not mangle =main= function name - [[https://github.com/heliaxdev/minijuvix/issues/40][#40]] -- Do not mangle top-level module names - [[https://github.com/heliaxdev/minijuvix/issues/39][#39]] -- Make SimpleFungibleToken.mjuvix work end-to-end - [[https://github.com/heliaxdev/minijuvix/issues/33][#33]] -- Make =--no-colors= flag global for pretty printer - [[https://github.com/heliaxdev/minijuvix/issues/29][#29]] -- Github Action Haskell workflow - [[https://github.com/heliaxdev/minijuvix/issues/4][#4]] +- Monomorphisation naming inconsistency + [[https://github.com/heliaxdev/minijuvix/issues/84][#84]] +- Remove BackendAgda + [[https://github.com/heliaxdev/minijuvix/issues/83][#83]] +- Change terminating keyword behavior + [[https://github.com/heliaxdev/minijuvix/issues/81][#81]] +- MonoJuvix =ExpressionTyped= is never used + [[https://github.com/heliaxdev/minijuvix/issues/79][#79]] +- Bump stackage nightly and delete =allow-newer: true= from =stack.yaml= + [[https://github.com/heliaxdev/minijuvix/issues/75][#75]] +- Generate automatically CHANGELOG and Github Release Notes + [[https://github.com/heliaxdev/minijuvix/issues/73][#73]] +- Make flag --show-name-ids global + [[https://github.com/heliaxdev/minijuvix/issues/61][#61]] +- Add C code generation backend + [[https://github.com/heliaxdev/minijuvix/issues/60][#60]] +- Add polymorphism + [[https://github.com/heliaxdev/minijuvix/issues/59][#59]] +- Add the compile keyword to the frontend syntax (support up to Scoping) + [[https://github.com/heliaxdev/minijuvix/issues/58][#58]] +- Error with undefined or underscores + [[https://github.com/heliaxdev/minijuvix/issues/54][#54]] +- Add support for other GHC and Stack stable version + [[https://github.com/heliaxdev/minijuvix/issues/52][#52]] +- Autodetect output ANSI support when prettyprinting + [[https://github.com/heliaxdev/minijuvix/issues/38][#38]] +- Terminating for type signatures + [[https://github.com/heliaxdev/minijuvix/issues/11][#11]] + +*Merged pull requests:* + +- Remove agda backend + [[https://github.com/heliaxdev/minijuvix/pull/86][#86]] + ([[https://github.com/paulcadman][paulcadman]]) +- 84 monomorphisation naming inconsistency + [[https://github.com/heliaxdev/minijuvix/pull/85][#85]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Change terminating keyword behavior + [[https://github.com/heliaxdev/minijuvix/pull/82][#82]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Remove unused constructor ExpressionTyped in Monojuvix + [[https://github.com/heliaxdev/minijuvix/pull/80][#80]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Stricter stack builds and pedantic mode for CI + [[https://github.com/heliaxdev/minijuvix/pull/78][#78]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Bump stackage version and remove allow-newer + [[https://github.com/heliaxdev/minijuvix/pull/76][#76]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Add automatically updates/issues/merged PRs to the changelog + [[https://github.com/heliaxdev/minijuvix/pull/74][#74]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Add terminating keyword + [[https://github.com/heliaxdev/minijuvix/pull/71][#71]] + ([[https://github.com/jonaprieto][jonaprieto]]) +- Monomorphization + [[https://github.com/heliaxdev/minijuvix/pull/70][#70]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Remove StatementCompile in AST after scoping + [[https://github.com/heliaxdev/minijuvix/pull/69][#69]] + ([[https://github.com/paulcadman][paulcadman]]) +- Add C code generation backend + [[https://github.com/heliaxdev/minijuvix/pull/68][#68]] + ([[https://github.com/paulcadman][paulcadman]]) +- Check if stderr supports ANSI and print accordingly + [[https://github.com/heliaxdev/minijuvix/pull/67][#67]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Add support for compile (by Jonathan) + [[https://github.com/heliaxdev/minijuvix/pull/66][#66]] + ([[https://github.com/paulcadman][paulcadman]]) +- Add NameIdGen effect to the pipeline + [[https://github.com/heliaxdev/minijuvix/pull/64][#64]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Make the =--show-name-ids= flag global + [[https://github.com/heliaxdev/minijuvix/pull/63][#63]] + ([[https://github.com/janmasrovira][janmasrovira]]) +- Implement type checker with polymorphism + [[https://github.com/heliaxdev/minijuvix/pull/62][#62]] + ([[https://github.com/janmasrovira][janmasrovira]]) ** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.2][v0.1.2]] (2022-04-11) @@ -63,7 +128,7 @@ Changelog]] - The MiniJuvix project now follows the same goals as the original Juvix project. [[https://github.com/heliaxdev/minijuvix/pull/7][#7]] ([[https://github.com/jonaprieto][jonaprieto]]) -- dev→main [[https://github.com/heliaxdev/minijuvix/pull/6][#6]] +- Dev→main [[https://github.com/heliaxdev/minijuvix/pull/6][#6]] ([[https://github.com/jonaprieto][jonaprieto]]) - Big update including termination checking [[https://github.com/heliaxdev/minijuvix/pull/5][#5]] @@ -71,10 +136,10 @@ Changelog]] - Parser and scoper [[https://github.com/heliaxdev/minijuvix/pull/3][#3]] ([[https://github.com/jonaprieto][jonaprieto]]) -- upgrade to ghc9 and use hpack +- Upgrade to ghc9 and use hpack [[https://github.com/heliaxdev/minijuvix/pull/2][#2]] ([[https://github.com/janmasrovira][janmasrovira]]) -- merge [[https://github.com/heliaxdev/minijuvix/pull/1][#1]] +- Merge [[https://github.com/heliaxdev/minijuvix/pull/1][#1]] ([[https://github.com/jonaprieto][jonaprieto]]) ** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.1][v0.1.1]] diff --git a/package.yaml b/package.yaml index 0a5fc734b1..87dd753aeb 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: minijuvix -version: 0.1.2 +version: 0.1.3 license: GPL-3.0-only license-file: LICENSE copyright: (c) 2022- Heliax AG.