Bugs with GADTs in GHC6.4.1

[Jeremy Gibbons]

The attached script induces panic in GHC6.4.1: "ghc-6.4.1: panic! (the 
`impossible' happened, GHC version 6.4.1): applyTypeToArgs f{v a1Eg} 
x{v a1Ei}".

In case it helps to understand what I was trying to do: this was an 
attempt to define an unfold for vectors, a number-parametrized type. 
(Ross, Bruno: I think the unfold still has to be inductive rather than 
coinductive, hence the additional parameter of type Nat n.)

Jeremy

Jeremy.Gibbons at comlab.ox.ac.uk
   Oxford University Computing Laboratory,    TEL: +44 1865 283508
   Wolfson Building, Parks Road,              FAX: +44 1865 273839
   Oxford OX1 3QD, UK.
   URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html

-------------- next part --------------
A non-text attachment was scrubbed...
Name: transpose4+.lhs
Type: application/octet-stream
Size: 756 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/glasgow-haskell-bugs/attachments/20051211/0acb973d/transpose4.obj