Strictness Information (Was: ghc --make feature request)

[Jim Farrand]

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.

Regards,
Jim