Thu Dec 3 18:42:59 PST 2009 Roman Leshchinskiy <[email protected]>
* Fix loading of annotations
Ignore-this: 5750856feecbf9c6aeebfec012b1a1fd
The problem was that we collected all annotations we knew about once when the
simplifier started and threaded them through the CoreM monad. If new interface
files were loaded during simplification, their annotations would not be
visible to the simplifier.
Now, we rebuild the annotation list at the start of every simplifier pass that
needs it (which is only SpecConstr at the moment). This ensures that we see
all annotations that have been loaded so far. This is somewhat similar to how
RULES are handled.
M ./compiler/simplCore/CoreMonad.lhs -40 +40
M ./compiler/simplCore/SimplCore.lhs -4 +1
M ./compiler/specialise/SpecConstr.lhs -4 +4
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20091204024259-b2b0a-0c04d4793833f46e52355955256cc9bc4332525e.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
