Changes between Version 13 and Version 14 of FunctionalDependencies


Ignore:
Timestamp:
Mar 20, 2006 11:45:46 AM (12 years ago)
Author:
ross@…
Comment:

fix ref

Legend:

Unmodified
Added
Removed
Modified

  • FunctionalDependencies

    v13 v14  
    5151
    5252Haskell 98 requires that the context of an instance declaration use only type variables that appear in the head.
    53 It was originally thought that this could be relaxed (original paper, sect. 6.3), to variables determined by those in the head, but this can lead to non-termination (CHR paper, ex. 15).
     53It was originally thought that this could be relaxed (original paper, sect. 6.3), to variables determined by those in the head, but this can lead to non-termination (CHR paper, ex. 16).
    5454
    5555With FlexibleInstances and no OverlappingInstances, these restrictions yield a coherent and decidable system (CHR paper, corr. 1).