Ticket #7117 (closed bug: fixed)
Data family constructors defined in GHCi are not in scope
| Reported by: | parcs | Owned by: | pcapriotti |
|---|---|---|---|
| Priority: | highest | Milestone: | 7.6.1 |
| Component: | GHCi | Version: | 7.4.2 |
| Keywords: | Cc: | ||
| Operating System: | Unknown/Multiple | Architecture: | Unknown/Multiple |
| Type of failure: | Incorrect result at runtime | Difficulty: | Unknown |
| Test Case: | Blocked By: | ||
| Blocking: | Related Tickets: |
Description
The following example explains the problem:
> data family Foo a > data instance Foo Int = FooInt > :t FooInt <interactive>:1:1: Not in scope: data constructor `FooInt'
FooInt is defined, but GHCi doesn't recognize it.
Attachments
Change History
Note: See
TracTickets for help on using
tickets.

