Opened 4 years ago

Closed 4 years ago

Last modified 3 years ago

#11724 closed bug (fixed)

Must check for representation polymorphism in datatype declarations

Reported by: goldfire Owned by: goldfire
Priority: normal Milestone: 8.0.1
Component: Compiler Version: 8.1
Keywords: LevityPolymorphism Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Compile-time crash Test Case: typecheck/should_fail/T11724
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


data Foo (r :: RuntimeRep) (a :: TYPE r) = Foo a

panics. It should error instead.

Change History (4)

comment:1 Changed 4 years ago by Richard Eisenberg <eir@…>

In d978c5e/ghc:

Fix #11723 and #11724.

Test cases: typecheck/should_fail/T1172{3,4}

comment:2 Changed 4 years ago by goldfire

Status: newmerge
Test Case: typecheck/should_fail/T11724

comment:3 Changed 4 years ago by bgamari

Resolution: fixed
Status: mergeclosed
Type of failure: None/UnknownCompile-time crash
Last edited 4 years ago by bgamari (previous) (diff)

comment:4 Changed 3 years ago by bgamari

Keywords: LevityPolymorphism added
Note: See TracTickets for help on using tickets.