switch to pest parser #15

Merged

marfavi merged 7 commits from parser into main 2026-03-18 13:18:56 +01:00

Conversation 0 Commits 7 Files changed 17 +1589 -655

marfavi commented 2026-03-13 11:19:59 +01:00

Owner

• Copy link

No description provided.

marfavi added 2 commits 2026-03-13 11:20:00 +01:00

new parser 99c2ff2a6f

Parse Imp in imp-ls instead of glue-ls bf83b4a8cf

michael added 2 commits 2026-03-18 11:57:49 +01:00

Merge remote-tracking branch 'origin/main' into parser b7eda675f3

Fixed offset_to_pos reporting wrong position for source when line splits included a carriage return 6f848db896

michael added 1 commit 2026-03-18 12:02:00 +01:00

fixed potential incorrect len of source string in offset_to_pos f25e1065da

michael added 1 commit 2026-03-18 12:02:57 +01:00

better loop condition 23175e112e

michael added 1 commit 2026-03-18 12:55:07 +01:00

removed unused import 87c02af014

marfavi changed title from WIP: switch to pest parser to switch to pest parser 2026-03-18 13:18:34 +01:00

marfavi merged commit 45b1e8caae into main 2026-03-18 13:18:56 +01:00

marfavi referenced this pull request from a commit 2026-03-18 13:18:57 +01:00

switch to pest parser (#15)

Commenting is not possible because the repository is archived.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

code2rocq/imp2rocq!15

No description provided.