Bugs with GADTs in GHC6.4.1

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@xxxxxxxxxxxxxxx
  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

transpose4+.lhs
Description: Binary data

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs