Skip to content

Parser using nested scopes #45

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 112 commits into
base: main
Choose a base branch
from
Draft

Parser using nested scopes #45

wants to merge 112 commits into from

Conversation

istathar
Copy link
Member

Initial work to construct a front-end parser. This version continues the direct use of the regex crate as started in #44, but since we've learned we can't do this by being line-oriented, we create and stack scopes to know where we are and use that contextual information to chose the right parser at that point.

@istathar
Stub module for parsing
8df238c
@istathar
Add pest dependency
48a0ae9
@istathar
Grammar for procedure declaration
1e440ea
@istathar
Type is a reserved word so call types typas
5fb162a
@istathar
Handle multiple types in domain
163c33b
@istathar
Add parser test using macro
024a6d0
@istathar
Rename type again, to forma
31b2873
@istathar
Pass input file to parser when checking
c2ae2e8
@istathar
Grammar for header lines in a Technique file
35ca520
@istathar
Reconsider place of newlines in grammar
9a7abaa
@istathar
Test copyright string on spdx line
2132ef4
@istathar
Grammar for template line in header
08d1e04
@istathar
Additional year tests
73a2427
@istathar
Additional license tests
900077e
@istathar
Test identifiers and declarations
e7da2c1
@istathar
Add winnow parser dependency
8f59595
@istathar
Reimplement identifier parser
df2cbea
@istathar
Improve parse_identifier to enforce first character
47ce870
@istathar
Use verify to ensure identifier parse is valid
61502e2
@istathar
Add chumsky parser dependency
244a9db
@istathar
Reimplement identifier parser again
bb5d9ff
@istathar
Parse magic line
33aa001
@istathar
Parse license and copyright header parts
b32204d
@istathar
Complete SPDX header line parser
f15e592
@istathar
Parse template line
410cdcc
@istathar
Add lalrpop parser dependency
a7669de
@istathar
Setup
1fd1ae7
@istathar
Parse identifiers
3e6bc27
@istathar
Parse magic line
476055b
@istathar
Redo lexer declaration with match
5a1c45d
istathar added 29 commits May 26, 2025 17:44
@istathar
Begin implementing wrappers around scope stack
d4a3313
@istathar
Preliminary push and pop operations
ba22ca1
@istathar
Pop back to Blank even if empty
436d6a9
@istathar
Add reset() method to Scope and test for state transitions
1fde0e6
@istathar
Remove Blank layer and use Technique as base state
5eb2c5b
@istathar
Return layers as a sorted list of tags
61042db
@istathar
Begin parsing from start
bb91b02
@istathar
Rename tests modules and functions to improve namespace paths
65c2a35
@istathar
Rename header struct to Metadata to create room for actual top-level
758cc0f
@istathar
New top-level Technique struct
29194d7
@istathar
Implement intermediate parser for Forma
d5e902f
@istathar
Implement intermediate parser for Genus tuple variant
3760e91
@istathar
Add helper functions trim whitespace
77c4cf4
@istathar
Re-organize Genus parsing code
6469e5e
@istathar
Parse Forma out of a tuple Genus
ee23087
@istathar
Initial handling of a unit type as a Genus
3211d6d
@istathar
Ensure parsed characters consumed from input
dca981f
@istathar
Separate test for unit Genus
73da1b3
@istathar
Upgrade Identifier to tuple struct
f4d968b
@istathar
Upgrade Forma and Attribute to tuple structs
263d404
@istathar
Fix missing offset update
35e4ded
@istathar
Move Genus parsing logic to validate_genus() in types
3ed609b
@istathar
Implement Signature parsing
c66c3ef
@istathar
Remove ununsed code
0d9708c
@istathar
Add test cases for Procedure declarations
0f528a5
@istathar
Avoid warning
13a0587
@istathar
Separate Forma and Genus tests
d9b58f7
@istathar
Significant refactoring to nested parsers
3254ae1
@istathar
Add try_using_regex() for Optional matches
42e5fa3
@istathar istathar mentioned this pull request Jul 4, 2025
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@istathar istathar

Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@istathar