Opened 4 years ago

Closed 4 years ago

#11410 closed bug (invalid)

Quantification over unlifted type variable

Reported by: goldfire Owned by: goldfire
Priority: normal Milestone:
Component: Compiler Version: 8.1
Keywords: TypeInType Cc: RyanGlScott
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


This silliness is accepted:

data X (a :: TYPE 'Unlifted) = X

I will fix.

Change History (3)

comment:1 Changed 4 years ago by RyanGlScott

Cc: RyanGlScott added

comment:2 Changed 4 years ago by RyanGlScott

What is the interaction between this ticket and #11473? Is all quantification over kind # bad, or is it only when it's quantified to the left of an arrow?

comment:3 Changed 4 years ago by goldfire

Resolution: invalid
Status: newclosed

Actually, my problem with the original code is related to the problem fixed by the addition of RuntimeRep. So I'm going to close this ticket as invalid, as there's no real problem here.

Note: See TracTickets for help on using tickets.