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 |