Products/Haskellator
2
0
Fork 0
Code Issues Pull requests 1 Actions Packages Projects Releases Wiki Activity

I believe parser is now passing my small corpus

Browse source
This commit is contained in:
Yehowshua Immanuel 2024-12-10 19:22:21 -05:00
parent 4190ce2621
commit 28264dac34
2 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
TODO.md
View file

@ -6,6 +6,8 @@
- [ ] need canonical form making it easy to run all these validation - [ ] need canonical form making it easy to run all these validation
passes passes
- [ ] are recursive slices inclusive? - [ ] are recursive slices inclusive?
- [ ] you can apparently have empty SigConCats - but what does this
even mean?
- [ ] what are the semantics of connection `<conn-stmt>`? - [ ] what are the semantics of connection `<conn-stmt>`?
- [ ] Validate that `123456789[0:9][0:8]` is valid RTLIL - [ ] Validate that `123456789[0:9][0:8]` is valid RTLIL
- [ ] add validation section to README - [ ] add validation section to README

2
src/RTLILParser/Parser.hs
View file

@ -246,7 +246,7 @@ pSigSpecConcat = p <?> name where
name = "SigSpecConcat" name = "SigSpecConcat"
p = p =
do do
char '{' <* pWs char '{' <* pMaybeWs
sigspecs <- many $ pSigSpec <* pWs sigspecs <- many $ pSigSpec <* pWs
char '}' char '}'
return $ SigSpecConcat sigspecs return $ SigSpecConcat sigspecs