Error related to OverloadedLists not reported as such about doctest

[ysangkok]

@andreasabel If I remove the import, I get:

          <interactive>:33:1: error:
              Variable not in scope: inferParamSchemaTypes

But I suppose you are right, it would be a more minimal test case without it, since this error is probably only shown because it fails to compile, even though it shouldn't. I just added the import because it wasn't totally clear to me whether the module was automatically imported into the doctest session.

[andreasabel]

I fetched the module from your reproduction repository:

module Data.UsesList () where

-- $setup
-- >>> import Data.UsesList

-- |
--
-- >>> inferParamSchemaTypes
-- []

inferParamSchemaTypes :: [Int]
inferParamSchemaTypes = (concat :: Foldable f => f [Int] -> [Int]) []

The $setup step should not be needed here, but I suppose it is needed in your application, right?

[sol]

My first thought was that this is somehow related to https://gitlab.haskell.org/ghc/ghc/-/issues/20670. However, I can't reproduce this with a regular cabal repl GHCi session. So not sure.

@andreasabel it doesn't really matter whether the $setup is needed, or not. If doctest behaves different from ghci then that's a bug by definition. We would at least want to understand why that is.

I'll not have time to work on this. If somebody feels inclined to investigate this, then I think you would want to understand what exactly doctest is doing differently from ghci and try to reproduce with a plain ghci session.

Ideally we would want to look at the --verbose output from doctest, but I think this is currently not possible, as we can't pass arguments to doctest via cabal repl. Maybe a wrapper script would work, not sure. Alternatively, for the purpose of testing, modify the source to always be verbose.