Resolve "Better Error Locations"

Closes #38 (closed)

added Kernel Parser labels

changed the description

added 31 commits

• b31d49ae - Initial commit
• 3015df41 - add LICENSE
• ce6e0482 - add flake.nix
• 6f1baa73 - feat(ci): Add GitLab CI + Dockerfile
• 7d0ddbee - feat(nix): add dev environments and corresponding description in README
• 34a31317 - Resolve "Dedicated cargo files"
• a0e29f30 - build(nix): change rust overlay to use nightly
• f42413fe - feat(nix): Build Dockerfile from flake
• 0effdb19 - fix(ci): Fix docs publish + Improve dockerTools use
• 5e1127bd - Resolve "Pest parser"
• 65e7fbd3 - ✨️ Resolve "Add proost program (CLI)" ‼️✨️
• dedd9d2e - Resolve "Term definitions" ✨️
• 06e685bf - feat(ci): Remove docs of dependencies + Better caching
• 8407d162 - Resolve "Breaking change: Rename `core` crate to `kernel`" ✨️
• 6b5bd5bb - Resolve "Use `derive_more` crate" ✨️
• 02684b81 - Resolve "specification" ✨️
• 1a6b14dd - feat(parser): Add new syntaxic sugar and meaningfull error messages, add more... ✨️
• 645f1e50 - feat(ci): Run clippy on tests (and other cfg)
• 85c55a7a - Resolve "Coverage on Pipelines" ✨️
• ba5d81b4 - 9-add-a-basic-type-checker ✨️
• d72f569a - Resolve "Coverage on Pipelines: Cache" ✨️
• c5787b40 - Resolve "Type-checker doesn't use the global context" ✨️
• 42208e37 - Resolve "Coverage: Artifacts and branches" ✨️
• 60f1c220 - Resolve "proost fonctionality and UI" ✨️
• 969d22c3 - Resolve "Bug rev parser" ✨️
• 236b8697 - Resolve "Remove unknow file "z" (sorry)" ✨️
• 5a82c069 - fix(ci): Remove cache for coverage - There is too many issues with it
• 923003a4 - Resolve " tests for parser" ✨️
• 04035b4c - Resolve "Kernel errors" ✨️
• c12305c3 - Resolve "Various type-checking bugs" ✨️
• 4fa670d1 - Resolve "update specs" ✨️

Compare with previous version

added 31 commits

• 4fa670d1...a28c6526 - 31 commits from branch main

Compare with previous version

added 1 deleted label

removed 1 deleted label

added Doing label

added 9 commits

• a28c6526...8564629b - 9 commits from branch main

Compare with previous version

added 1 commit

• d0faaf14 - chore(error): Add new method on Error

Compare with previous version

added 2 commits

• af44cba3 - 1 commit from branch main
• c7f014d5 - chore(error): Add new method on Error

Compare with previous version

added 4 commits

• f5c5e642 - feat(trace): Add early trace + error module
• 433227da - feat(trace): Add trace for infer and imax functions
• 411c5646 - chore(proost): Refactor display method
• ea96c29b - feat(trace): Add term builder into Proost error

Compare with previous version

added 1 commit

• ffc5c1b0 - fix(proost): change error display behaviour during file import

Compare with previous version

added 1 commit

• c24e080f - fix(proost): change error display behaviour during file import

Compare with previous version

added 1 commit

• 802a69de - fix(proost): change error display behaviour during file import

Compare with previous version

added 9 commits

• 802a69de...30fa4424 - 4 commits from branch main
• fa4c52b8 - chore(error): Add new method on Error
• 5ec0294d - feat(trace): Add early trace + error module
• 6c0a4d25 - feat(trace): Add trace for infer and imax functions
• 1e7e0448 - feat(trace): Add term builder into Proost error
• a7ce532f - fix(proost): change error display behaviour during file import

Compare with previous version

added 1 commit

• 0cc1ec10 - chore(clippy): Fix clippy issues

Compare with previous version

added 2 commits

• 4ae08c19 - chore(clippy): Fix clippy issues
• 09b5dcbf - feat(trace): Add early trace utility

Compare with previous version

added 1 commit

• de93dba9 - feat(trace): Add early trace utility

Compare with previous version

added 1 commit

• a775406b - feat(trace): Add early trace utility

Compare with previous version

added 1 commit

• 1976e7c1 - feat(trace): Add early trace utility

Compare with previous version