[Haskell-cafe] mutually recursive modules

[Fergus Henderson]

On 24-Sep-2004, Lennart Augustsson <lennart at augustsson.net> wrote:
> There is no reliable way to extract the interface from an
> implementation short of compiling the implementation.

There's a difference between type inference and compilation.

-- 
Fergus J. Henderson                 |  "I have always known that the pursuit
Galois Connections, Inc.            |  of excellence is a lethal habit"
Phone: +1 503 626 6616              |     -- the last words of T. S. Garp.