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

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

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

🦀️🍰🦀️🍰🦀️🍰

* chore: misc

* chore : add test coverage

* chore(kernel): Reduce code complexity

* fix(kernel): Made Context mutable

* fix(kernel): Made type_checker.rs full of reference

* fix(kernel): Made term.rs full of reference

* fix(kernel): Use of reference

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

* Fix : refer to #19

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

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

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

* Fix : remove unused trait

* Fix : apply suggestion

* Fix : use Self in impl

* 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)

* Chore: use `Environment::new()` instead of `Default::default()`

* Chore :  add documentation

* Chore : expand tests coverage

* Revert "Feat : parse Constants"

This reverts commit 0618fd79.

* Feat : move `Environment` to respective file

* Feat : add test for Env use during typechecking

* Feat : parse Constants

* Feat : use `Environment` during type-checking/inference

* Feat : add `GlobalContext`