Skip to content

ghci should try to read erroneous modules partially

If ghci (re-)reads a module that contains some error, then it considers the module loading as a complete failure, and at the prompt I get the Prelude environment.

It is understandable that ghci rejects modules with syntax errors, but for syntactically correct modules with type errors I wish that at least the effect of import statements would be visible.

Perhaps even some partial type checking could be done, and declarations that pass this can be executed.

Trac metadata
Trac field Value
Version 6.8.2
Type FeatureRequest
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system Unknown
Architecture Unknown
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information