#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:

Description

This silliness is accepted:

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

I will fix.

Change History (3)

comment:1 Changed 19 months ago by RyanGlScott

Cc: RyanGlScott added

comment:2 Changed 17 months 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 17 months 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.