Opened 12 months ago

Closed 12 months ago

Last modified 12 months ago

#15861 closed bug (invalid)

Cannot import (*) type operator

Reported by: pgujjula Owned by:
Priority: normal Milestone:
Component: Compiler Version: 8.6.1
Keywords: Cc:
Operating System: Linux Architecture: Unknown/Multiple
Type of failure: GHC rejects valid program Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


The (*) type operator cannot be imported from GHC.TypeLits. The following code compiles in GHC 8.4.4 but fails in GHC 8.6.1 with "error: parse error on input ‘*’"

{-# LANGUAGE TypeOperators #-}
import GHC.TypeLits (type (*))

Change History (2)

comment:1 Changed 12 months ago by goldfire

Resolution: invalid
Status: newclosed

This is expected behavior. You have to enable the new NoStarIsType language extension.

More details here:

I agree that it's unfortunate how this breaks, but it seemed better than other alternatives as we were preparing GHC 8.6.

comment:2 Changed 12 months ago by pgujjula

Ah thank you, my apologies.

Note: See TracTickets for help on using tickets.