Brandon Allbery gmail.com> writes:
> ... which means that implementers should be free to "fix" data type contexts
> however they like, as they are now complier extensions which won't conflict
> with standard Haskell.
>
> Except that people do build older programs with newer Haskell compilers,
an
Alexander Solla gmail.com> writes:
> I do not support that criterion. We use theory to ENSURE that no
real-world code will break.
By theoretical example, I meant something which you would never expect to
find in use. Perhaps it was a poor choice of wording in an academically
orientated forum :-
