Support all top-level declarations in GHCi

I thought we had a ticket for this, but I can't find it so I'm creating one.

In GHCi there's no reason in principle that we can't allow any declaration that you can write at the top-level of a source file, at the interactive prompt. Many people have asked for this over the years.

• data/type/newtype declarations
• class declarations
• instance declarations
• foreign declarations (exception foreign export)
• deriving
• default???

Trac metadata

Trac field	Value
Version	7.0.1
Type	Task
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	GHCi
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

mentioned in issue #1388 (closed)

changed weight to 5

added GHCi Ttask Trac import labels

Shouln’t this be closed now, as of https://github.com/ghc/ghc/commit/3db757241ce7fb99c096c30481aefa86bb9855a1 (I’m not sure about the correct bug workflow, so I’m not doing it myself.)

changed milestone to %7.4.1

changed weight to 7

assigned to @simonmar

I have a pending patch to add support for foreign declarations. Also we still have to add documentation (somehow I let Daniel leave without writing docs, how careless!). I'll close the ticket when those tasks are done.

Trac metadata

Trac field	Value
Priority	normal → high

mentioned in commit 25de0abf

closed

With 90d70e44, this is now done.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

mentioned in issue #7061 (closed)

mentioned in issue #10018 (closed)

mentioned in commit e809ef57

added Phigh label