Opened 8 years ago

Closed 8 years ago

Last modified 6 years ago

#772 closed bug (fixed)

checkPrecMatch

Reported by: guest Owned by:
Priority: normal Milestone: 6.4.2
Component: Compiler Version: 6.4.2
Keywords: Cc:
Operating System: Windows Architecture: Unknown/Multiple
Type of failure: Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description (last modified by simonpj)

*Research> :r
Compiling Statistics.DescriptiveAnalysis.KeyHistoryListImpl ( ./Statistics/DescriptiveAnalysis/KeyHistoryListImpl.hs, interpreted )
: panic! (the `impossible' happened, GHC version 6.4.2):
        checkPrecMatch

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

This happened when i compile in GHCI:

module Test where

class TestInfo a where

type Bla = String

-- GADT Descriptors
data Descriptor where
   BA :: String -> Descriptor
   GA :: (Show a, TestInfo a) => Either a (String, String) -> Descriptor
   SA :: String -> Descriptor
   AA :: String -> [Bla]-> Descriptor
   TA :: Bla -> Bla -> Bla -> Descriptor

instance Eq Descriptor where
  (BA descr1) == (BA descr2) = descr1 == descr2
  (GA grpsubj) == (GA grpsubj2)  = show grpsubj == show grpsubj2  -- might not be correct
  (SA descr) == (SA descr2) = descr == descr2
  (AA descr keys) == (AA descr2 keys2) = (descr == descr2) && (keys == keys2)
  (TA orikey key1 key2) == (TA orikeyB key1B key2B) = (orikey == orikeyB) && (key1 == key1B) && (key2 == key2B)
  (==) = error "Error pattern not found in (==)"

The last line give the compilation error

Peter, peteanom@…

Change History (3)

comment:1 Changed 8 years ago by simonpj

  • Description modified (diff)

comment:2 Changed 8 years ago by simonpj

  • Resolution set to fixed
  • Status changed from new to closed

Fixed thank you.

Simon

comment:3 Changed 6 years ago by simonmar

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