András Kovács
András Kovács
Motivation and previous discussion: https://github.com/dhall-lang/dhall-haskell/issues/1129. In short, Dhall implementations may want to use internal syntax which contains more information than the standardized surface language, for reasons of efficiency or perhaps...
Doctest fails with `cabal new-build`; it seems it cannot find the right things (object files, cabal macros) with the `new-dist` folder.
On Agda 2.6.2, `Parsing.OperatorsExp` as reported by `-vprofile:7` takes 14 seconds on this [10k line file](https://github.com/AndrasKovacs/smalltt/blob/f9c27e825993d7e16282701d83941cf394f63725/bench/stlc10k.agda). The file just repeats the same ~130 lines containing a Church-encoded simply-typed LC, but...
Currently we can only return `LiftedRep` types from parsers. Sometimes this performs poorly, when we want to parse `Int`, `Double`, or other directly unboxable types. While sometimes it's possible to...
Currently the two module flavors, `FlatParse.Basic` and `FlatParse.Stateful` are mostly just plain copies of each other with some differences. The duplication of TH code is especially bad. Suggestion: Put implementations...
What the title says. - The error handling in the example is decent, it should be probably exported in some form. - The keyword/identifier disambiguation is also a common pattern.
[Here](https://github.com/agda/agda/blob/561fdc2f87e732cc8ea8c3a2223041efef3a63d3/src/full/Agda/TypeChecking/DeadCode.hs#L78) we have the following code: ```haskell rootMetas = if not save then Set.empty else metasIn ( bs , sig ^. sigSections , sig ^. sigRewriteRules , HMap.filterWithKey (\x _...
So far, resumable parsers were really only feasible with CPS-based internals, like in Attoparsec. Unfortunately, that has painful overhead because it effectively moves the control stack of the parsers to...
The idea is to have a TH-configurable interface that covers a lot of needed features in PL parsing. The inputs could be the following: - Identifier parsing: first character, rest...
It seems like [`gauge`](https://hackage.haskell.org/package/gauge) is not being maintained. [`tasty-bench`](https://hackage.haskell.org/package/tasty-bench) seems to have the same features or more and it's maintained.