[Haskell-cafe] The 8 Most Important GSoC Projects
Twan van Laarhoven
twanvl at gmail.com
Fri Apr 2 02:22:55 EDT 2010
Ivan Lazar Miljenovic wrote:
> I've been thinking of doing something similar for a year or so now, but
> there's one big problem that I can think of: how to deal with functions
> that don't have an explicit type signature in the source. My
> understanding is that to derive these signatures at "checking time"
> would require using something like the GHC API, which immediately
> reduces the "niceness" and portability of such a tool/library.
As a simple approximation, you could consider functions without type signatures
to have changed if their implementation or any function they depend on has changed.
More information about the Haskell-Cafe