Excerpts from Manuel M T Chakravarty's message of Fri Apr 15 07:39:12 -0400
2011:
> Did you validate? Please validate in a repo separate from your work tree.
Yes. In fact, I did validate in a repo from my separate work tree... the trouble
was that repo had the extra patch as well. :-(
> One dis
Did you validate? Please validate in a repo separate from your work tree.
One disadvantage of Git in this context is that it encourages to have only one
repo with different branches for multiple purposes. The only reliable method
of validation is to have a completely separate validation tree.
Entirely my fault. It should be fixed now.
Edward
Excerpts from Manuel M T Chakravarty's message of Fri Apr 15 01:38:19 -0400
2011:
> "/usr/bin/ghc" -H32m -O -Wall -Werror -H64m -O0 -package-conf
> libraries/bootstrapping.conf -package-name ghc-7.1 -hide-all-packages -i
> -icompiler/basicT
"/usr/bin/ghc" -H32m -O -Wall -Werror -H64m -O0 -package-conf
libraries/bootstrapping.conf -package-name ghc-7.1 -hide-all-packages -i
-icompiler/basicTypes -icompiler/cmm -icompiler/codeGen -icompiler/coreSyn
-icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface
-icompiler/l
