robert dockins wrote:
>>> 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.
>
>
> Of course, we cannot expect the computer to examine the semantics. We
> must rely on people to know when semantics change.
>
> Suppose I want to ask the easier question "do these two text files
> implement haskell modules which are _type_ compatable?", how would I
> do it? Ie, I want the test to fail if I change the type of some
> function foo, or if I add a method to a class declaration etc.
>
>
> _______________________________________________
> Haskell mailing list
> Haskell@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
Is this true? Can't you use an IDL to specify the interface more
exactly. I would have thought a definition of the protocol was enough.
If you define a protocol definition language then it should be possible
to check both ends of the connection to see if the conform to the protocol.
Keean.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
