> On Friday 26 October 2001 14:41, Jan-Willem Maessen wrote:
>
> > You just need to change (for example) the
> > strictness properties of the function, which can be very easy to do
> > when making changes to your code.
>
> Is there a way to automatically discover the strictness of a
> function? I
> think it would be really usefull to have some kind of
> extended :t command in
> ghci which would do something like:
>
> main> :T foo
> foo :: A (Strict) -> A (Strict) -> Bool
> main> :T bar
> bar :: a (Lazy) -> [a] (Lazy) -> [a]
>
> Perhaps this is possible already, and I just don't know about it.
This may be possible for entities from compiled modules, but GHCi can't
do strictness analysis for interpreted modules (due to quite boring
reasons - the byte-code backend can't quite handle the output from some
of the optimisation passes).
That's an interesting suggestion anyway, we'll bear it in mind.
Cheers,
Simon
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
