On 8/17/07, Kim-Ee Yeoh < a.biurvOir4@asuhan.com> wrote:
> Incidentally, GHC's type checker is Turing complete. You
> already have as much static evaluation as is practically possible.
> You already knew that.
>
I don't see how the first statement implies the second.
Cheers,
Tim
--
Tim Chevalier * catamorphism.org * Often in error, never in doubt
"It's never too early to start drilling holes in your car." -- Tom Magliozzi
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe