Ticket #302 (closed bug: None)
overlapping pattern matching weirdness
|Reported by:||nobody||Owned by:||nobody|
|Type of failure:||Difficulty:|
|Test Case:||Blocked By:|
the following code gives me the error message below in GHCi: > context :: Lattice -> Context State Constraint > context lat = case lat of > fromBigLattice -> bigC > fromSmallLattice -> smallC > _ -> error "non-existing lattice..." GHCi: Logic.lhs:92: Warning: Pattern match(es) are overlapped In a case alternative: fromSmallLattice -> ... _ -> ... ghc.exe: panic! (the `impossible' happened, GHC version 6.2.1): Bytecode generator can't handle unboxed tuples. Possibly due to foreign import/export decls in source. Workaround: compile this module to a .o file, then restart session. Please report it as a compiler bug to email@example.com, or http://sourceforge.net/projects/ghc/. the Lattice type is a tuple... for more details, contact firstname.lastname@example.org
Note: See TracTickets for help on using tickets.