[project @ 2001-05-01 11:37:18 by sewardj]

Ignore tyvars on variables bound by case alts when generating unpack code.

diff --git a/ghc/compiler/ghci/ByteCodeGen.lhs b/ghc/compiler/ghci/ByteCodeGen.lhs
index d8f3032..4b1bed5 100644 (file)
--- a/ghc/compiler/ghci/ByteCodeGen.lhs
+++ b/ghc/compiler/ghci/ByteCodeGen.lhs
@@ -346,7 +346,7 @@ schemeE d s p (fvs, AnnCase scrut bndr alts)
         codeAlt alt@(discr, binds_f, rhs)
            | isAlgCase 
            = let (unpack_code, d_after_unpack, p_after_unpack)
-                    = mkUnpackCode binds_f d' p'
+                    = mkUnpackCode (filter (not.isTyVar) binds_f) d' p'
              in  schemeE d_after_unpack s p_after_unpack rhs
                                        `thenBc` \ rhs_code -> 
                  returnBc (my_discr alt, unpack_code `appOL` rhs_code)