anoma/juvix v0.1.3

on GitHub

v0.1.3 (2022-05-05)

(release originally created by @jonaprieto, ported to this repository by @cwgoes)

Full Changelog

Merged pull requests:

• Remove agda backend #86 (paulcadman)
• 84 monomorphisation naming inconsistency #85 (janmasrovira)
• Change terminating keyword behavior #82 (jonaprieto)
• Remove unused constructor ExpressionTyped in Monojuvix #80 (janmasrovira)
• Stricter stack builds and pedantic mode for CI #78 (jonaprieto)
• Bump stackage version and remove allow-newer #76 (janmasrovira)
• Add automatically updates/issues/merged PRs to the changelog #74 (jonaprieto)
• Add terminating keyword #71 (jonaprieto)
• Monomorphization #70 (janmasrovira)
• Remove StatementCompile in AST after scoping #69 (paulcadman)
• Add C code generation backend #68 (paulcadman)
• Check if stderr supports ANSI and print accordingly #67 (janmasrovira)
• Add support for compile (by Jonathan) #66 (paulcadman)
• Add NameIdGen effect to the pipeline #64 (janmasrovira)
• Make the --show-name-ids flag global #63 (janmasrovira)
• Implement type checker with polymorphism #62 (janmasrovira)

Closed issues:

• Monomorphisation naming inconsistency #84
• Remove BackendAgda #83
• Change terminating keyword behavior #81
• MonoJuvix ExpressionTyped is never used #79
• Bump stackage nightly and delete allow-newer: true from stack.yaml #75
• Generate automatically CHANGELOG and Github Release Notes #73
• Make flag --show-name-ids global #61
• Add C code generation backend #60
• Add polymorphism #59
• Add the compile keyword to the frontend syntax (support up to Scoping) #58
• Error with undefined or underscores #54
• Add support for other GHC and Stack stable version #52
• Autodetect output ANSI support when prettyprinting #38
• Terminating for type signatures #11