juvix/package.yaml

name:            juvix
version:         0.2.2
license:         GPL-3.0-only
license-file:    LICENSE
copyright:       (c) 2022- Heliax AG.
maintainer:      The PLT Team at Heliax AG <hello@heliax.dev>
author:          [ Jonathan Prieto-Cubides , Jan Mas Rovira , Paul Cadman , Github's contributors ]
tested-with:     ghc == 9.2.3
homepage:        https://juvix.org
bug-reports:     https://github.com/anoma/juvix/issues
description:     The Juvix compiler
category:        Compilers/Interpreters
github:          anoma/juvix

extra-source-files:
- README.org
- assets/*

dependencies:
- ansi-terminal == 0.11.*
- base == 4.16.*
- blaze-html == 0.9.*
- bytestring == 0.11.*
- containers == 0.6.*
- directory == 1.3.*
- edit-distance == 0.2.*
- extra == 1.7.*
- transformers == 0.5.*
- file-embed == 0.0.*
- filepath == 1.4.*
- gitrev == 1.3.*
- hashable == 1.4.*
- language-c == 0.9.*
- megaparsec == 9.2.*
- microlens-platform == 0.4.*
- parser-combinators == 1.3.*
- polysemy == 1.7.*
- polysemy-plugin == 0.4.*
- prettyprinter == 1.7.*
- prettyprinter-ansi-terminal == 1.1.*
- pretty == 1.1.*
- process == 1.6.*
- safe == 0.3.*
- semirings == 0.6.*
- singletons == 3.0.*
- singletons-th == 3.1.*
- Stream == 0.4.*
- time == 1.11.*
- template-haskell == 2.18.*
- text == 1.2.*
- th-utilities == 0.2.*
- unordered-containers == 0.2.*

# the tasty dependencies are here to avoid having to recompile
# juvix when running the tests.
- tasty
- tasty-hunit
- Diff == 0.4.*
- pretty-show == 1.10.*

ghc-options:
# Warnings
- -Weverything
- -Wno-all-missed-specialisations
- -Wno-missing-export-lists
- -Wno-missing-import-lists
- -Wno-missing-kind-signatures
- -Wno-missing-safe-haskell-mode
- -Wno-safe
- -Wno-unsafe
- -Wno-unused-packages
# HIE Support
- -fhide-source-paths
- -fwrite-ide-info -hiedir=.hie
# Polysemy Support
- -O2 -flate-specialise -fspecialise-aggressively

default-extensions:
- ApplicativeDo
- DataKinds
- DerivingStrategies
- GADTs
- GeneralizedNewtypeDeriving
- ImportQualifiedPost
- LambdaCase
- MultiWayIf
- NoFieldSelectors
- NoImplicitPrelude
- OverloadedStrings
- RecordWildCards
- TemplateHaskell
- TypeFamilyDependencies

library:
  source-dirs: src
  verbatim:
    default-language: GHC2021

executables:
  juvix:
    main: Main.hs
    source-dirs: app
    dependencies:
    - juvix
    - optparse-applicative == 0.17.*
    verbatim:
      default-language: GHC2021

tests:
  juvix-test:
    main:                Main.hs
    source-dirs:         test
    dependencies:
    - juvix
    verbatim:
      default-language: GHC2021
Rename MiniJuvix to Juvix (#259) * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy 2022-07-08 14:59:45 +03:00			`name: juvix`
v0.2.2 2022-07-25 19:42:24 +03:00			`version: 0.2.2`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00			`license: GPL-3.0-only`
			`license-file: LICENSE`
[ clean-up ] new lab folder for experimentation 2022-03-24 14:19:28 +03:00			`copyright: (c) 2022- Heliax AG.`
Fixing more merging conflicts 2022-01-10 19:02:20 +03:00			`maintainer: The PLT Team at Heliax AG <hello@heliax.dev>`
Rename MiniJuvix to Juvix (#259) * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy 2022-07-08 14:59:45 +03:00			`author: [ Jonathan Prieto-Cubides , Jan Mas Rovira , Paul Cadman , Github's contributors ]`
v0.2.0 (#198) * Update package.yaml v0.2 * Update Changelog * Update CLI version shellcheck to 0.2.0 Co-authored-by: Paul Cadman <git@paulcadman.dev> 2022-06-28 17:31:02 +03:00			`tested-with: ghc == 9.2.3`
Fix Changelog links and minors (#1371) * Fix Changelog links and minors * Use https for homepage link 2022-07-14 12:41:58 +03:00			`homepage: https://juvix.org`
Rename MiniJuvix to Juvix (#259) * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy 2022-07-08 14:59:45 +03:00			`bug-reports: https://github.com/anoma/juvix/issues`
			`description: The Juvix compiler`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00			`category: Compilers/Interpreters`
Rename MiniJuvix to Juvix (#259) * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy 2022-07-08 14:59:45 +03:00			`github: anoma/juvix`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00
			`extra-source-files:`
[ package.yaml ] update version 2022-03-25 20:26:22 +03:00			`- README.org`
Update validity predicate milestone example to 0.2 syntax (#167) * Update VP example to new syntax * Ignore html folders and include assets for html rendering Co-authored-by: Jonathan Cubides <jonathan.cubides@uib.no> 2022-06-15 14:04:14 +03:00			`- assets/*`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00
			`dependencies:`
check if stderr supports ANSI and print accordingly (#67) 2022-04-29 13:18:09 +03:00			`- ansi-terminal == 0.11.*`
[ghc] upgrade to ghc 9.2.2 2022-03-24 01:25:55 +03:00			`- base == 4.16.*`
[html] start working towards html pretty printing 2022-02-04 15:30:00 +03:00			`- blaze-html == 0.9.*`
[ghc] upgrade to ghc 9.2.2 2022-03-24 01:25:55 +03:00			`- bytestring == 0.11.*`
Compute name dependency graph and filter unreachable definitions (#1408) * Compute name dependency graph and filter unreachable declarations * bugfix: recurse into type signatures * positive tests * make ormolu happy * get starting nodes from ExportInfo * make ormolu happy * cosmetic refactoring of DependencyInfo * fix tests & style 2022-07-25 19:38:44 +03:00			`- containers == 0.6.*`
replace relude by our own Prelude 2022-01-21 11:50:37 +03:00			`- directory == 1.3.*`
[errors] add not in scope error 2022-02-14 15:39:54 +03:00			`- edit-distance == 0.2.*`
[scoper] parse expressions 2022-01-17 22:12:31 +03:00			`- extra == 1.7.*`
setup InfoTable for parser 2022-04-04 16:53:16 +03:00			`- transformers == 0.5.*`
Add minic-runtime for linking without libc (#113) * [minic] Add minic-runtime for linking without libc The C generated by minic now depends on `minic-runtime.h`. There are two versions of this, one that depends on libc and one that doesn't (i.e standalone). The standalone runtime implements the minimal set of functions required for the tests to compile and run. The standalone runtime also contains a copy of https://github.com/wingo/walloc, a small memory allocator that's indended for use with WASM. The benefit of using the standalone runtime is that the resulting binaries are much smaller. For example the Nat example compiles to about 24k WASM binary with libc, the standalone version is 2.8k. This commit adds a dependency on https://hackage.haskell.org/package/file-embed for finding the path to the minic-runtime directory in tests. It does not add any additional transitive dependencies to the project. 2022-05-19 10:48:23 +03:00			`- file-embed == 0.0.*`
make version restrictions more explicit 2021-12-24 10:31:21 +03:00			`- filepath == 1.4.*`
[ app ] add --version flag and fixed warnings and formatting 2022-03-25 02:52:30 +03:00			`- gitrev == 1.3.*`
[ghc] upgrade to ghc 9.2.2 2022-03-24 01:25:55 +03:00			`- hashable == 1.4.*`
Add C code generation backend (#68) * [cbackend] Adds an AST for C This should cover enough C to implement the microjuvix backend. * [cbackend] Add C serializer using language-c library We may decide to write our own serializer for the C AST but this demonstrates that the C AST is sufficient at least. * [cbackend] Declarations will always be typed * [cbackend] Add CPP support to AST * [cbackend] Rename some names for clarity * [cbackend] Add translation of InductiveDef to C * [cbackend] Add CLI for C backend * [cbackend] Add stdbool.h to file header * [cbackend] Allow Cpp and Verbatim code inline * [cbackend] Add a newline after printing C * [cbackend] Support foreign blocks * [cbackend] Add support for axioms * [cbackend] Remove code examples * [cbackend] wip FunctionDef including Expressions * [parser] Support esacping '}' inside a foreign block * [cbackend] Add support for patterns in functions * [cbackend] Add foreign C support to HelloWorld.mjuvix * hlint fixes * More hlint fixes not picked up by pre-commit * [cbackend] Remove CompileStatement from MonoJuvix * [cbackend] Add support for compile blocks * [cbackend] Move compileInfo extraction to MonoJuvixResult * [minihaskell] Fix compile block support * [chore] Remove ununsed isBackendSupported function * [chore] Remove unused imports * [cbackend] Use a Reader for pattern bindings * [cbackend] Fix compiler warnings * [cbackend] Add support for nested patterns * [cbackend] Use functions to instantiate argument names * [cbackend] Add non-exhaustive pattern error message * [cbackend] Adds test for c to WASM compile and execution * [cbackend] Add links to test dependencies in quickstart * [cbackend] Add test with inductive types and patterns * [cbackend] Fix indentation * [cbackend] Remove ExpressionTyped case https://github.com/heliaxdev/minijuvix/issues/79 * [lexer] Fix lexing of \ inside a foreign block * [cbackend] PR review fixes * [chore] Remove unused import * [cbackend] Rename CJuvix to MiniC * [cbackend] Rename MonoJuvixToC to MonoJuvixToMiniC * [cbackend] Add test for polymorphic function * [cbackend] Add module for string literals 2022-05-05 16:12:17 +03:00			`- language-c == 0.9.*`
make version restrictions more explicit 2021-12-24 10:31:21 +03:00			`- megaparsec == 9.2.*`
[dependencies] add singletons dependency and sort dependencies 2022-01-04 20:57:10 +03:00			`- microlens-platform == 0.4.*`
add syntax example (without usages). Adapt Language.hs 2021-12-24 20:58:20 +03:00			`- parser-combinators == 1.3.*`
[dependencies] add singletons dependency and sort dependencies 2022-01-04 20:57:10 +03:00			`- polysemy == 1.7.*`
			`- polysemy-plugin == 0.4.*`
make version restrictions more explicit 2021-12-24 10:31:21 +03:00			`- prettyprinter == 1.7.*`
			`- prettyprinter-ansi-terminal == 1.1.*`
Add C code generation backend (#68) * [cbackend] Adds an AST for C This should cover enough C to implement the microjuvix backend. * [cbackend] Add C serializer using language-c library We may decide to write our own serializer for the C AST but this demonstrates that the C AST is sufficient at least. * [cbackend] Declarations will always be typed * [cbackend] Add CPP support to AST * [cbackend] Rename some names for clarity * [cbackend] Add translation of InductiveDef to C * [cbackend] Add CLI for C backend * [cbackend] Add stdbool.h to file header * [cbackend] Allow Cpp and Verbatim code inline * [cbackend] Add a newline after printing C * [cbackend] Support foreign blocks * [cbackend] Add support for axioms * [cbackend] Remove code examples * [cbackend] wip FunctionDef including Expressions * [parser] Support esacping '}' inside a foreign block * [cbackend] Add support for patterns in functions * [cbackend] Add foreign C support to HelloWorld.mjuvix * hlint fixes * More hlint fixes not picked up by pre-commit * [cbackend] Remove CompileStatement from MonoJuvix * [cbackend] Add support for compile blocks * [cbackend] Move compileInfo extraction to MonoJuvixResult * [minihaskell] Fix compile block support * [chore] Remove ununsed isBackendSupported function * [chore] Remove unused imports * [cbackend] Use a Reader for pattern bindings * [cbackend] Fix compiler warnings * [cbackend] Add support for nested patterns * [cbackend] Use functions to instantiate argument names * [cbackend] Add non-exhaustive pattern error message * [cbackend] Adds test for c to WASM compile and execution * [cbackend] Add links to test dependencies in quickstart * [cbackend] Add test with inductive types and patterns * [cbackend] Fix indentation * [cbackend] Remove ExpressionTyped case https://github.com/heliaxdev/minijuvix/issues/79 * [lexer] Fix lexing of \ inside a foreign block * [cbackend] PR review fixes * [chore] Remove unused import * [cbackend] Rename CJuvix to MiniC * [cbackend] Rename MonoJuvixToC to MonoJuvixToMiniC * [cbackend] Add test for polymorphic function * [cbackend] Add module for string literals 2022-05-05 16:12:17 +03:00			`- pretty == 1.1.*`
make version restrictions more explicit 2021-12-24 10:31:21 +03:00			`- process == 1.6.*`
Monomorphization (#70) * add TypeCallsBuilder and others * implement propagation of type calls * improve type propagation * polymorphize fungible token * sort type calls map pretty output * use HashSet in TypeCallsMap * renaming * rename module * improve indexing in type propagation * draft monomorphization generation algorithm * fix draft * wip mono code generation * wip code generation * finish first candidate for code generation * add monojuvix command * fix MonoJuvix pretty printer to properly display name ids * [monojuvix] improve clause pretty printing * add support for function types in expressions * properly translate function expressions * ormolu * add a basic positive test for monomorphization * cleanup effect constraints * collect type applications in axiom types * apply some style improvements * fix PolySimpleFungibleToken and add it to the test suite * ignore polymorphic inductive definitions that are never used 2022-05-04 11:50:03 +03:00			`- safe == 0.3.*`
make version restrictions more explicit 2021-12-24 10:31:21 +03:00			`- semirings == 0.6.*`
[dependencies] add singletons dependency and sort dependencies 2022-01-04 20:57:10 +03:00			`- singletons == 3.0.*`
[ghc] upgrade to ghc 9.2.2 2022-03-24 01:25:55 +03:00			`- singletons-th == 3.1.*`
[parser, scoper] rethink concrete/scoped AST. Use TypeFamilies again 2022-01-13 13:49:30 +03:00			`- Stream == 0.4.*`
Add minijuvix version info and date to HTML output (#186) * Add minijuvix version info and date to HTML output * Fix pre-commit 2022-06-21 18:03:22 +03:00			`- time == 1.11.*`
[ghc] upgrade to ghc 9.2.2 2022-03-24 01:25:55 +03:00			`- template-haskell == 2.18.*`
add syntax example (without usages). Adapt Language.hs 2021-12-24 20:58:20 +03:00			`- text == 1.2.*`
[html] improve html pretty printing 2022-02-05 15:27:33 +03:00			`- th-utilities == 0.2.*`
make version restrictions more explicit 2021-12-24 10:31:21 +03:00			`- unordered-containers == 0.2.*`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00
[ CI ] New jobs: ormolu and hlint 2022-04-05 20:57:21 +03:00			`# the tasty dependencies are here to avoid having to recompile`
Rename MiniJuvix to Juvix (#259) * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy 2022-07-08 14:59:45 +03:00			`# juvix when running the tests.`
[deps] add tasty dependency to lib to avoid rebuilding when testing 2022-02-16 12:03:49 +03:00			`- tasty`
			`- tasty-hunit`
[test] show diff when ast's are different 2022-03-24 19:04:22 +03:00			`- Diff == 0.4.*`
			`- pretty-show == 1.10.*`
[deps] add tasty dependency to lib to avoid rebuilding when testing 2022-02-16 12:03:49 +03:00
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00			`ghc-options:`
[ CI ] New jobs: ormolu and hlint 2022-04-05 20:57:21 +03:00			`# Warnings`
Stricter stack builds and pedantic mode for CI (#78) * Make CI even more pedantic * remove aeson dependency Co-authored-by: Paul Cadman <pcadman@gmail.com> Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com> 2022-05-05 17:21:04 +03:00			`- -Weverything`
Revision for package.yaml and minor deletions (#135) 2022-06-01 12:53:06 +03:00			`- -Wno-all-missed-specialisations`
			`- -Wno-missing-export-lists`
Stricter stack builds and pedantic mode for CI (#78) * Make CI even more pedantic * remove aeson dependency Co-authored-by: Paul Cadman <pcadman@gmail.com> Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com> 2022-05-05 17:21:04 +03:00			`- -Wno-missing-import-lists`
			`- -Wno-missing-kind-signatures`
Revision for package.yaml and minor deletions (#135) 2022-06-01 12:53:06 +03:00			`- -Wno-missing-safe-haskell-mode`
			`- -Wno-safe`
			`- -Wno-unsafe`
			`- -Wno-unused-packages`
[ CI ] New jobs: ormolu and hlint 2022-04-05 20:57:21 +03:00			`# HIE Support`
			`- -fhide-source-paths`
			`- -fwrite-ide-info -hiedir=.hie`
			`# Polysemy Support`
			`- -O2 -flate-specialise -fspecialise-aggressively`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00
			`default-extensions:`
Unify MicroJuvix ASTs representation of types and expressions (#188) * improve and add Universe to MicroJuvix expressions * continue with the refactor * refactor typechecker and aritychecker * refactor Abstract to Micro * format * refactor type calls builder and monojuvix translation * complete abstract translation * traversals have betrayed me * fix monomorphisation and traversals * update tests * format * rename Function2 * remove obsolete comments * fix comment 2022-07-04 19:15:35 +03:00			`- ApplicativeDo`
[parser] add necessary extensions for singletons and implement singletons for ModuleIsTop 2022-01-04 21:48:57 +03:00			`- DataKinds`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00			`- DerivingStrategies`
[parser] add necessary extensions for singletons and implement singletons for ModuleIsTop 2022-01-04 21:48:57 +03:00			`- GADTs`
[ CI ] New jobs: ormolu and hlint 2022-04-05 20:57:21 +03:00			`- GeneralizedNewtypeDeriving`
			`- ImportQualifiedPost`
[scoper] check that top modules are defined in the correct path 2022-03-16 15:58:07 +03:00			`- LambdaCase`
Implement type checker with polymorphism (#62) 2022-04-22 11:06:34 +03:00			`- MultiWayIf`
87 refactor warning related stuff (#91) * remove all field selectors * add local type signatures * delete Wno-monomorphism-restriction and fix warnings * [tests] inline two error messages * remove Wno-missing-exported-signatures * remove Wno-all-missed-specialisations * remove Wno-missed-specialisations 2022-05-06 12:48:07 +03:00			`- NoFieldSelectors`
fix compilation errors 2021-12-23 13:19:46 +03:00			`- NoImplicitPrelude`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00			`- OverloadedStrings`
implement preparser 2021-12-29 15:17:14 +03:00			`- RecordWildCards`
[extensions] add TemplateHaskell and DeriveGeneric 2022-03-09 16:14:21 +03:00			`- TemplateHaskell`
[parser] add injective type families and adapt ModulePathType accordingly 2022-01-05 10:46:12 +03:00			`- TypeFamilyDependencies`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00
			`library:`
			`source-dirs: src`
use GHC2021 2022-03-24 12:14:29 +03:00			`verbatim:`
			`default-language: GHC2021`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00
			`executables:`
Rename MiniJuvix to Juvix (#259) * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy 2022-07-08 14:59:45 +03:00			`juvix:`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00			`main: Main.hs`
[app] prepare app 2022-01-18 14:25:42 +03:00			`source-dirs: app`
upgrade to ghc9, use hpack 2021-12-23 12:57:55 +03:00			`dependencies:`
Rename MiniJuvix to Juvix (#259) * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy 2022-07-08 14:59:45 +03:00			`- juvix`
[ghc] upgrade to ghc 9.2.2 2022-03-24 01:25:55 +03:00			`- optparse-applicative == 0.17.*`
use GHC2021 2022-03-24 12:14:29 +03:00			`verbatim:`
			`default-language: GHC2021`
[test] fix tests paths and add stance to package.yaml 2022-01-11 12:09:08 +03:00
			`tests:`
Rename MiniJuvix to Juvix (#259) * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy 2022-07-08 14:59:45 +03:00			`juvix-test:`
[tests] setup basic testing 2022-02-15 16:12:53 +03:00			`main: Main.hs`
[test] fix tests paths and add stance to package.yaml 2022-01-11 12:09:08 +03:00			`source-dirs: test`
			`dependencies:`
Rename MiniJuvix to Juvix (#259) * Renaming MiniJuvix to Juvix * Make Ormolu happy * Make Hlint happy * Remove redundant imports * Fix shell tests and add target ci to our Makefile * Make pre-commit happy 2022-07-08 14:59:45 +03:00			`- juvix`
use GHC2021 2022-03-24 12:14:29 +03:00			`verbatim:`
			`default-language: GHC2021`