Opened 7 years ago

Closed 15 months 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 Difficulty: Project (more than a week)
Test Case: Blocked By:
Blocking: Related Tickets:

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 7 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 7 years ago by SamB

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

comment:3 Changed 6 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:4 Changed 6 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple

comment:5 Changed 4 years ago by simonmar

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

comment:6 Changed 3 years ago by lelf

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

comment:7 Changed 15 months ago by morabbin

Bump; anything changed here?

comment:8 Changed 15 months ago by parcs

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

comment:9 Changed 15 months ago by simonmar

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

Subsumed by #5791

Note: See TracTickets for help on using tickets.