Internal error showing typed hole in GHCi
Run ghc --interactive
, and at the prompt type
default ()
fish :: Eq a => a; fish = undefined
foo :: String; foo = show _
The following error appears:
<interactive>:1:1: error:
GHC internal error: ‘Ghci1.$trModule’ is not in scope during type checking, but it passed the renamer
tcl_env of environment: [r2CZ :-> Identifier[foo::String, TopLevelLet]]
I have not yet been able to reproduce this loading a module; it seems to need to be on the command line.
Trac metadata
Trac field | Value |
---|---|
Version | 8.5 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |