index
:
felix.git
hotg
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
source
/
Felix
/
Parse.hs
Age
Commit message (
Collapse
)
Author
20 hours
Reject the packaged prelude as ordinary source
adelon
22 hours
Render final-prelude diagnostics
adelon
46 hours
Rewrite protected set and naturals closure
adelon
2 days
Parse packaged final prelude source
adelon
3 days
Simplify cached occurrence validation
adelon
3 days
Count cached source chunks
adelon
3 days
Generalize identified parsed module naming
adelon
3 days
Reuse exact parsed module artifacts
adelon
3 days
Parse source graphs module by module
adelon
3 days
Retain source markers in parsed occurrences
adelon
4 days
Restore precise verification diagnostics
adelon
4 days
Validate fresh module inputs before parsing
adelon
4 days
Make bootstrap readiness explicit
adelon
4 days
Route complete graphs through one checker
adelon
4 days
Construct the empty prelude session
adelon
4 days
Separate fresh parsed values from source bindings
adelon
4 days
Identify complete fresh parsed modules
adelon
5 days
Clarify ambiguous syntax declaration guidance
adelon
5 days
Reuse one parser per source module
adelon
5 days
Define syntax occurrence association
adelon
5 days
Remove obsolete lexicon pattern index
adelon
5 days
Clarify source fixity pragma errors
adelon
5 days
Defer fixed-base conflicts to semantic ownership
adelon
5 days
Build module-local syntax interfaces
adelon
7 days
Measure source and parser work
adelon
7 days
Parse source graph into immutable modules
adelon
8 days
Expose resolved workspace parsing
adelon
8 days
Return malformed lexical scans as typed errors
adelon
8 days
Report lexical collisions with source locations
adelon
Built-in patterns remain authoritative syntax seeds: their first source declaration records provenance without replacing the seeded marker.
8 days
Parse the resolved physical source graph
adelon