Sergey Mechveliani wrote:
>For example, the static error report for
> if {-# static x #-} then error ...
> else y
>takes pace only when the compiler proves that `else' never performs,
>when everything is computed "lazily".
>
>If only I understand the direction of comments ...
It was Simon Peyton-Jones's description of
static :: a -> a
which caught my attention. I understand what it would mean to evaluate its
argument at compile time. But "rather eagerly" seems to indicate an
additional subtlety, which is quite beyond me. If the effect is dependent
on the implementation, that would be a bad thing.
--
Scott Turner
[EMAIL PROTECTED] http://www.ma.ultranet.com/~pkturner
