On Thu, 8 Dec 2005, Duncan Coutts wrote: > For example it's not currently convenient to find out the strictness > that ghc infers for functions (though it is possible). Ideally an IDE or > something would be able to present this sort of information along with > the inferred type etc. >
It'd be nice if we had better strictness annotations available more generally, too. > So if it were easy to find out the uniqueness that the compiler was > inferring then it might actually be useful to people that it did such an > inference. 'twould be nice for type checking in general, although it's more the typing than just the types that's useful. -- [EMAIL PROTECTED] "My religion says so" explains your beliefs. But it doesn't explain why I should hold them as well, let alone be restricted by them. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
