Closes #27, #29 et #36 🐔️👍️
Approved-by: loutr <loutr@crans.org>
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: belazy <aarthuur01@gmail.com>

🦀️🍰🦀️🍰🦀️🍰

* feat(parser): add tests

* Apply 1 suggestion(s) to 1 file(s)

* Apply 1 suggestion(s) to 1 file(s)

* fix(kernel): fix tests

* fix(kernel): fix tests

* clippy

* add tests

* more tests

* feat(proost): tests

* clippy + move tests in kernel

* repl -> evaluator

* ex

* change processor for repl

* add verbose arg

* remove deps

* reference issues

* add issue for search command

* remove commandprocessor trait

* rename repl.rs

* fix error handling when failing to import file

* fix(proost): consider suggestions from review; slight refactor of errors

* chore(parser/commands): better display of the import command

* chore(parser): renaming private functions and correcting some documentation

* feat(proost): add better display for commands and use it instead in the import command display

* fix(proost): adapt proost to new parser behaviour

* fix(parser): make parser produce Builders instead of terms, which prevents evaluating commands too early

* add basic search command

* move pretty printing out of command processor

* functional cyclic dependency test

* better tab

* still buggy, more tests

* better emoji handling

* import file 2/2

* fix tests

* clippy

* import file 1/2: test if files exists

* add convenient command for user

* add import command, not fonctional yet

* clippy

* move command in parser

Closes #47 🐔️👍️

🦀️🍰🦀️🍰🦀️🍰

* fix(type_checker): apply new clippy suggestion

* chore(cargo): update

* chore(nix): dependency update

Closes #15 🐔️👍️
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>
Approved-by: belazy <aarthuur01@gmail.com>

🦀️🍰🦀️🍰🦀️🍰

* chore(cargo): update

* fix(from comments): second pass of small review changes

* Apply 1 suggestion(s) to 1 file(s)

* fix(kernel review): take Vincent comments into account

* chore(cargo): update cargo.lock

* fix(kernel tests): adapt to new builder structure

* fix(proost): adapt proost toplevel to the new memory model.
This includes a temporary solution for error management, which will be changed anyway.

* fix(parser): adapt tests to memory model

* fix(kernel): refactor build functions location

* fix(parser): adapt parser to new model WIP

* feat(builders): WIP rewriting builders

* chore(file structure): reorganised the file structure of arena- or term-related functions

* chore(terms): changing some annotations in the file

* fix(tests): all tests now succeed. Errors were due to the rewriting of the tests, not the type checker

* fix(terms): chose to modify Debug impl of Terms instead; which gives better, less verbose results

* fix(terms): add wrapper around OnceCell in order to fix their Debug trait implementation (too enthusiastic by default)

* fix(kernel): fix term generation error with depth, fix wrong imax computation in type inference, fix PartialEq impl for Node

* fix(kernel tests): rewrite the and test

* fix(commands): update commands and the associated other functions

* fix(type checker): add necessary lifetime annotations on result

* fix(kernel tests): refactor tests accordingly

* feat(type checker): adapt type checking and errors to the memory model

* fix(terms and type checker): use deref trait, further temporary changes in type checker, removing previous environment definition; early: won't compile

* fix(terms): adapt all core functions from terms.rs; early: won't compile

* fix(terms): fix lifetime issue; early; won't compile

* feat(terms): finish new term description and generation

* chore(cargo): add `im-rc` dependency for immutable structures

aalbert authored 2 years ago and v-lafeychine committed 2 years ago

Closes #39 🐔️👍️
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>
Approved-by: belazy <aarthuur01@gmail.com>

🦀️🍰🦀️🍰🦀️🍰

* format

* apply suggestion

* clippy

* apply suggestions

* Apply 1 suggestion(s) to 1 file(s)

* Apply 1 suggestion(s) to 1 file(s)

* Apply 1 suggestion(s) to 1 file(s)

* Apply 1 suggestion(s) to 1 file(s)

* Apply 1 suggestion(s) to 1 file(s)

* Apply 1 suggestion(s) to 1 file(s)

* apply suggested change

* apply suggestion

* apply suggestions

* add cmd option description

* check if terminal and add option for syntax coloring

* add tab

* clippy fix

* apply suggestion

* fix coloring

* apply suggestions

* apply suggestions

* Apply 1 suggestion(s) to 1 file(s)

* add everything listed in issue except full multiline editing

v-lafeychine authored 2 years ago and loutr committed 2 years ago

Closes #19 🐔️👍️
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: belazy <aarthuur01@gmail.com>
Approved-by: loutr <loutr@crans.org>

🦀️🍰🦀️🍰🦀️🍰

* chore(Cargo.toml): Add a missing space

* chore(ci): Remove unreachable line in coverage

* chore(cargo): Improve dependencies with workspace feature

* fix(ci): Tune coverage

* chore: Cleaning tests

* chore(kernel) : add coverage

* fix(kernel) : add coverage tests

* feat(errors): Improve errors handling

* chore(rust): Use of Deref/DerefMut for Environment

* chore(type_checker): Cleaning tests + Analyse branches

* chore(error): Add Result type + Improve use

* chore(location): Move location out of error file + Improve struct

Closes #13 🐔️👍️

🦀️🍰🦀️🍰🦀️🍰

* chore!(cargo): Rename  crate into

aalbert authored 2 years ago and loutr committed 2 years ago

Closes #5

🦀️🍰️🦀️🍰️🦀️🍰️🦀️🍰️
Approved-by: loutr <loutr@crans.org>
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>

🦀️🍰️🦀️🍰️🦀️🍰️🦀️🍰️
* fix(proost): iterates over arguments as shared immutable references as to prevent cloning

* chore(proost): Add spaces

* feat(proost): Add banner support for CLI

* feat(proost): Add command line argument support with clap

* feat(proost): Add basic CLI and file handling

Closes #3

Approved-by: belazy <aarthuur01@gmail.com>
Approved-by: aalbert <augustin.albert@bleu-azure.fr>

* fix(parser): Fix minor issues (impl PartialEq for tests)

* feat(parser): Add more inclusive syntax

* feat(parser): Add informative message for free variables

* fix(parser): Fix a conversion bug

* feat(parser,core): Move classic term from core into parser

* feat(parser): Conversion from classic terms to terms

* feat(core): Add conversion from classic term to term

* chore(parser): Rename pest file

* chore(core): Move classic terms in its own file

* feat(parser): Add ClassicTerm with variables for easier user input

* fix(parser): Reorganize lib.rs and parser.rs

* fix(parser): Reorganize lib.rs and parser.rs

* fix(parser): Reorganize lib.rs and parser.rs

* chore(parser): Rename tests files

* chore(parser): Rename tests files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* feat(parser): add parser for terms, commands and files

* chore(core): add license

* chore(parser): remove warnings

* chore(core): format files

* chore(parser): remove warnings

* chore(parser): format code

* fix(core): add lib.rs

* feat(term): Add early Term struct + Display trait

* feat(parser): add parser crate and pest config

aalbert authored 2 years ago and v-lafeychine committed 2 years ago

Closes #1

Approved-by: v-lafeychine <vincent.lafeychine@proton.me>
Approved-by: loutr <loutr@crans.org>

* chore(cargo): Add cargo workspace