simonpj     2003/10/27 05:28:09 PST

  Modified files:        (Branch: ghc-6-2-branch)
    ghc/compiler/rename  RnHsSyn.lhs 
  Log:
  ruleDeclFVs wasn't treating the head variable as a free variable
  That in turn led to an obsure crash in --make when type-checking
  an interface.  This didn't happen in 6.0.1, for some reason, only
  in the 6.2 branch.
  
  No test, because irrelevant for the HEAD, and awkard to provoke.
  The message is below.  Note you have to compile twice.
  
  ----------
    module Local.Test where
       import Local.Rules
  
    module Local.Rules (genericLength) where
       import Data.List (genericLength)
       {-# RULES "generic/length" genericLength = length #-}
  
  -----------
    D:\lib\Local> ghc -O -fglasgow-exts --make -i.. Test.hs
    Chasing modules from: Test.hs
    Compiling Local.Rules      ( ../Local/Rules.hs, ../Local/Rules.o )
    Compiling Local.Test       ( Test.hs, ./Test.o )
  
    D:\lib\Local> ghc -O -fglasgow-exts --make -i.. Test.hs
    Chasing modules from: Test.hs
    Skipping  Local.Rules      ( ../Local/Rules.hs, ../Local/Rules.o )
  
    tcLookupGlobal (id): `Data.List.genericLength' is not in scope
    When checking the transformation rule "generic/length"
  
  Revision  Changes    Path
  1.72.2.2  +4 -3      fptools/ghc/compiler/rename/RnHsSyn.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to