Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

doctest wip #30

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

doctest wip #30

wants to merge 1 commit into from

Conversation

sordina
Copy link

@sordina sordina commented May 15, 2023

Some examples do work:

> cabal exec -- doctest -isrc -XLambdaCase -XUndecidableInstances -XFunctionalDependencies src/Control/Category/Cartesian.hs
Warning: ignoring unrecognised input `.'
Examples: 25  Tried: 25  Errors: 0  Failures: 0

However, currently running into this bug:

> cabal exec -- cabal test
Build profile: -w ghc-9.2.5 -O1
In order, the following will be built (use -v for more details):
 - monoidal-functors-0.2.1.0 (test:monoidal-functors-test) (first run)
Preprocessing test suite 'monoidal-functors-test' for monoidal-functors-0.2.1.0..
Building test suite 'monoidal-functors-test' for monoidal-functors-0.2.1.0..
Loaded package environment from /Users/lyndon/code/monoidal-functors/dist-newstyle/tmp/environment.-18821/.ghc.environment.x86_64-darwin-9.2.5
Loaded package environment from /Users/lyndon/code/monoidal-functors/dist-newstyle/tmp/environment.-18821/.ghc.environment.x86_64-darwin-9.2.5
Running 1 test suites...
Test suite monoidal-functors-test: RUNNING...
Warning: ignoring unrecognised input `.'

src/Data/Bifunctor/BiInvariant.hs:110:65: error:ghc-9.2.5: panic! (the 'impossible' happened)
  (GHC version 9.2.5:
	No skolem info:
  [k1_a9lA]
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/GHC/Utils/Panic.hs:181:37 in ghc:GHC.Utils.Panic
        pprPanic, called at compiler/GHC/Tc/Errors.hs:2912:17 in ghc:GHC.Tc.Errors

Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant