AndrasKovacs / setoidtt

Prototype implementations of systems based on setoid type theory
64 stars 1 forks source link

Release 'flatparse' to Hackage? #3

Open chshersh opened 3 years ago

chshersh commented 3 years ago

Hi! I've noticed this blazingly fast Haskell parsing library in this repository, and I'm eager to use it in my other Haskell projects! Are there any plans in releasing this library to Hackage?

AndrasKovacs commented 3 years ago

Hi! I plan to release to Hackage. I can't tell when it's going to happen. From september I'll work on this repo most of my time. I intend to use this lib for proper parsing so I'll have to flesh it out then. I also haven't yet figured out the nicest basic implementation, there are unpushed versions of FlatParse which are a bit faster but have error handling more similar to nom than to *parsec.

chshersh commented 3 years ago

@AndrasKovacs thanks for working on this library! Looking forward to using it 👍 I'm not familiar with nom error-handling, but if the parser is fast, I'm ready to spend some time on implementing custom error-handling in my project (if it will be possible to do so).