gallais / idris-tparsec

TParsec - Total Parser Combinators in Idris
https://gallais.github.io/idris-tparsec/
GNU General Public License v3.0
93 stars 10 forks source link

Fix uses of runStateT #40

Closed timsueberkrueb closed 3 years ago

timsueberkrueb commented 3 years ago

runStateT's signature was recently changed in Idris 2 (5c76053c and 19bad798). With this commit, TParsec builds again on my machine with Idris 2 master (2e627ad16).

However, two of the examples don't work:

Parentheses.idr

--
  | between: Singleton () and maybe Delay Void Delay Singleton (parseMaybe "hel[{(lo({((wor))ld})wan)t}som{e()[n]o}i(s)e]?" (\{j:4116} =>
  | PAR')).
  |  
  | Examples/Parentheses.idr:45:8--45:22
  | \|
  | 45 \| test = MkSingleton ()
  | \|        ^^^^^^^^^^^^^^

On my machine, trying to compile Examples/RegExp.idr consumes all available memory and crashes. The other examples compile for me.

I'm new to TParsec so please let me know if something can be simplified or if I screwed something up :)

clayrat commented 3 years ago

Thanks!