[Haskell] Eternal Compatibility In Theory

Marcin 'Qrczak' Kowalczyk qrczak at knm.org.pl
Mon May 2 15:24:10 EDT 2005


robert dockins <robdockins at fastmail.fm> writes:

> Is there a way to reliably and automatically check if two versions of
> a haskell module are interface compatible?

No, because it would have to check whether the semantics of functions
is the same, even if they are written differently.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/


More information about the Haskell mailing list