Alexis King authored 5 years ago and Herbert Valerio Riedel committed 5 years ago

This adds INLINABLE pragmas to most exported combinators, which enables
cross-module specialization of the Stream constraint (which can in turn
enable further optimizations). This improves performance of these
combinators in scenarios where GHC chooses not to inline them, since
they may still be specialized instead.

This change is primarily in response to a performance regression
discovered by the GHC performance test suite when running haddock (since
haddock uses parsec). The full discussion is available here:

    ghc/ghc!3041

The gist is that, without these pragmas, performance relies too heavily
on inlining heuristics working out in our favor, and subtle changes in
the optimizer can cause regressions.

The GHC performance tests suggest this patch reliably reduces runtime of
haddock on base by 7–9% and allocation by 3–5%. Pretty good for doing
something so simple!

It's an obsolete warning for GHC 8.8+

Also add `@since` annotations for `parseFromFile`

Baruffaldi Bruno authored 5 years ago and Herbert Valerio Riedel committed 5 years ago

This rewording makes it clear that `alphaNum` and `letter` refer to the Unicode domain
whereas the `digit` parser refers to the digits contained in the ASCII subset.

Addresses #98 

Jake Keuhlen authored 6 years ago and Herbert Valerio Riedel committed 5 years ago

Adding two sentences from the abstract to the header documentation for Perm. This makes it so that you don't have to hunt down the paper to understand exactly what a permutation means

Ryan Scott authored 5 years ago and Herbert Valerio Riedel committed 5 years ago

Fixes #106.

...and update Travis CI

This reverts commit cd7a8e7a.

Motivated by lib:Cabal-2.2

This is the first version whose `SafeHaskell` properties have become
an intentional part of the API contract; previous versions were merely
accidentally safe-inferred (or not depending on various factors; in
other words, this was a fragile property). If you rely on
`SafeHaskell` to consider module imports from `parsec` *safe*, this is
the first version of `parsec` which actually guarantees a well-defined
state.

Support for GHC 7.0, GHC 7.2, and GHC 7.4.1 has been dropped,
consequently the support window starts with GHC 7.4.2.

This addresses #88

re #63

gershomb authored 7 years ago and Herbert Valerio Riedel committed 7 years ago

`parserTrace label` is an impure function, implemented with "Debug.Trace" that
prints to the console the remaining parser state at the time it is invoked.
It is intended to be used for debugging parsers by inspecting their intermediate states.

These are simple yet helpful helpers for debugging Parsec parsers.

Closes #63

This is a provisional measure until `notFollowedBy` gets fixed.

See #3 for more details

Fixes #58

Closes #68

This also makes sure we use the same method implementations for
`Applicative`/`Monad` across all supported GHC versions.

The space leaks started being observable with GHC 7.6; GHC 7.4 didn't
seem to show the space leak.

Fixes #37

code5hot authored 7 years ago and Herbert Valerio Riedel committed 7 years ago

`<>` does monoidal append of parse results instead of discarding
previous parser's results.

In case of `base < 4.9`, `semigroups` becomes a dependency

Closes #82

This makes it more uniform with the test-suite source folder
organisation, and makes sure the lib source doesn't accidentally leak
into the test-suite component.