Ticket #1154 (closed merge: fixed)

Opened 6 years ago

Last modified 5 years ago

GADT syntax for newtype causes tcConDecl exception

Reported by: ccshan Owned by: igloo
Priority: normal Milestone: 6.6.1
Component: Compiler Version: 6.6
Keywords: Cc:
Operating System: Linux Architecture: Unknown/Multiple
Type of failure: Difficulty: Unknown
Test Case: tc225, tcfail176 Blocked By:
Blocking: Related Tickets:

Description 

$ cat Bug.hs
{-# OPTIONS -fglasgow-exts #-}
module Bug where
newtype Bug a where Bug :: a -> Bug a

$ ghc -c Bug.hs
ghc-6.6: panic! (the 'impossible' happened)
  (GHC version 6.6 for i386-unknown-linux):
        typecheck/TcTyClsDecls.lhs:(468,0)-(524,4): Non-exhaustive patterns in function tcConDecl


Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

Change History

Changed 6 years ago by simonpj

  • testcase set to tc225, tcfail176
  • type changed from bug to merge

Fixed, thank you. Please merge, Ian.

Simon

Wed Feb 21 17:04:01 GMT 2007 simonpj@…

  • Allow GADT syntax for newtypes

Fixes Trac #1154. Please merge. Tests are tc225, and tcfail176.

Changed 6 years ago by igloo

  • milestone set to 6.6.1

Changed 6 years ago by simonmar

  • owner set to igloo

Changed 6 years ago by igloo

  • status changed from new to closed
  • resolution set to fixed

SimonPJ's merged this.

Changed 5 years ago by simonmar

  • architecture changed from Unknown to Unknown/Multiple
Note: See TracTickets for help on using tickets.