Opened 4 years ago

Closed 4 years ago

#11404 closed bug (fixed)

The type variable used in a kind is still used

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


From Phab:D1739.

When you say

undefined :: forall (v :: Levity) (a :: TYPE v). (?callStack :: CallStack) => a

you get a warning that v is unused.

I will fix.

Change History (3)

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

In 072191fe/ghc:

Fix #11404

We now check for unused variables one at a time, instead of
all at the top.

Test: dependent/should_compile/T11405

comment:2 Changed 4 years ago by goldfire

Milestone: 8.0.1
Status: newmerge
Test Case: dependent/should_compile/T11405

comment:3 Changed 4 years ago by bgamari

Resolution: fixed
Status: mergeclosed

Cherry-picked to ghc-8.0 as a5bb4809614b6f898384c02c6e00d92fd0f5d7c4.

Note: See TracTickets for help on using tickets.