Opened 9 years ago

Closed 9 years ago

Last modified 7 years ago

#818 closed bug (fixed)

Uncaught kind error leads to the 'impossible' happening

Reported by: sweirich@… Owned by:
Priority: normal Milestone:
Component: Compiler Version: 6.4
Keywords: Cc:
Operating System: MacOS X Architecture: Unknown/Multiple
Type of failure: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description (last modified by simonpj)

data F c a = F (c a)

data Val c a = Val (F c) a  --- should produce a kind error but doesn't

t = Val (F [True]) False --- here we get the impossible

Here is a run

dhcp38-137:~/writing/exrep sweirich$ ghci test.hs
   ___         ___ _
  / _ \ /\  /\/ __(_)
 / /_\// /_/ / /  | |      GHC Interactive, version 6.4, for Haskell 98.
/ /_\\/ __  / /___| |      http://www.haskell.org/ghc/
\____/\/ /_/\____/|_|      Type :? for help.

Loading package base-1.0 ... linking ... done.
Compiling Main             ( test.hs, interpreted )
ghc-6.4: panic! (the `impossible' happened, GHC version 6.4):
	Unify.unifyTauTyLists: mismatched type lists!

Please report it as a compiler bug to [email protected],
or http://sourceforge.net/projects/ghc/.

Change History (3)

comment:1 Changed 9 years ago by simonpj

  • Description modified (diff)

comment:2 Changed 9 years ago by simonpj

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

I think this is already fixed in 6.4.1. Try upgrading

Foo8.hs:5:19:

Kind error: `F c' is not applied to enough type arguments
In the data type declaration for `Val'

Simon

comment:3 Changed 7 years ago by simonmar

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