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

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

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

🦀️🍰🦀️🍰🦀️🍰

* Chore : add test

* Fix : shift vars when binding lambda-abstractions

* fix(kernel): some tests were wrong

* HOT fix(kernel): command definition fixed

* HOT fix(parser): fix parenthesis

* HOT fix(parser): order of fun

* feat(parser): resolve threads

* chore(parser): Merge renamed_rules on Error

* chore(command): Merge Define/DefineCheckType + Add tests

* chore(parser): apply suggestions

* feat(parser): add location conversion from pest to proost's kernel

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

* fix(all): resolve thread and change Pos for Loc (range position) +
conversion from position to range position in parser

* fix(all): resolve threads

* feat(kernel): Add tests in commands.rs

* feat(parser, error): add new errors for parser, pos struct, first use of pos and pretty print of parsing errors

* feat(parser, kernel): new kernel error: cannot parse

* feat(proost): new ui v1

* feat(proost): new interface!

* feat(parser, kernel): change grammar and pretty printing

aalbert authored 2 years ago and loutr committed 2 years ago

Closes #10 🐔️👍️
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: loutr <loutr@crans.org>

🦀️🍰🦀️🍰🦀️🍰

* fix(parser): Fix the semantics of products without parentheses.

* chore(parser): renaming

* chore(parser & proost): renaming

* feat(parser): documentation

* fix(parser): resolve threads

* feat(parser): Add new syntaxic sugar and meaningfull error messages, add more efficient conversion into terms (VecDeque), remove unused struct ClassicTerm, remove useless & outdated test.
feat(kernel): Add new command: DefineCheckType. eg: "def x:P := P"
feat(proost): Process multiples commands in one line

* feat(parser): Add new syntaxic sugar and meaningfull error messages, add more efficient conversion into terms (VecDeque), remove unused struct ClassicTerm, remove useless & outdated test.
feat(kernel): Add new command: DefineCheckType. eg: "def x:P := P"
feat(proost): Process multiples commands in one line

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

🦀️🍰🦀️🍰🦀️🍰

* chore: Use reexport of dependencies

* feat: Use BigUint for universes

* chore(term): Rename NewType of Term::Var and Term::Type

* chore(proost): Refactor If-return-else

* chore(parser): Add derive_more

* chore(kernel): Add derive_more

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