Opened 10 years ago

Closed 4 years ago

#1341 closed feature request (duplicate)

allow loading partially correct modules

Reported by: iampure@… Owned by:
Priority: normal Milestone:
Component: Compiler Version: 6.7
Keywords: module loading Cc: anton.nik@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

When a module A is loaded containing functions X, where Y, a subset of X, contains errors, I would like that X-Y is still brought into scope when loaded in ghci.

The current situation is that even a minor error in a module results in the entire module not being loaded.

Change History (9)

comment:1 Changed 10 years ago by duncan

Component: GHCiCompiler
difficulty: Moderate (1 day)Project (> 1 week)
Keywords: ghci removed
Milestone: _|_
Summary: Improvements loading of modulesallow loading partially correct modules

This would be great for IDEs etc however I fear it's really pretty hard and would involve a lot of work.

For starters there's the parser. It'd have to become recoverable.

comment:2 Changed 10 years ago by SamB

Well, what if it only worked for things that parsed? How hard would that be?

comment:3 Changed 8 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:4 Changed 8 years ago by simonmar

Operating System: UnknownUnknown/Multiple

comment:5 Changed 7 years ago by simonmar

difficulty: Project (> 1 week)Project (more than a week)

comment:6 Changed 6 years ago by lelf

Cc: anton.nik@… added
Type of failure: None/Unknown

comment:7 Changed 4 years ago by morabbin

Bump; anything changed here?

comment:8 Changed 4 years ago by parcs

I think the functionality of -fdefer-type-errors has some overlap with this ticket.

comment:9 Changed 4 years ago by simonmar

Resolution: duplicate
Status: newclosed

Subsumed by #5791

Note: See TracTickets for help on using tickets.