[Haskell] Eternal Compatibility In Theory

[Marcin 'Qrczak' Kowalczyk]

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/