Opened 8 years ago

Closed 2 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 Revisions:

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 8 years ago by duncan

  • Component changed from GHCi to Compiler
  • difficulty changed from Moderate (1 day) to Project (> 1 week)
  • Keywords ghci removed
  • Milestone set to _|_
  • Summary changed from Improvements loading of modules to allow 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 8 years ago by SamB

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

comment:3 Changed 7 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:4 Changed 7 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple

comment:5 Changed 5 years ago by simonmar

  • difficulty changed from Project (> 1 week) to Project (more than a week)

comment:6 Changed 4 years ago by lelf

  • Cc anton.nik@… added
  • Type of failure set to None/Unknown

comment:7 Changed 2 years ago by morabbin

Bump; anything changed here?

comment:8 Changed 2 years ago by parcs

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

comment:9 Changed 2 years ago by simonmar

  • Resolution set to duplicate
  • Status changed from new to closed

Subsumed by #5791

Note: See TracTickets for help on using tickets.