Changes between Version 13 and Version 14 of FunctionalDependencies
- Timestamp:
- Mar 20, 2006 11:45:46 AM (12 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
FunctionalDependencies
v13 v14 51 51 52 52 Haskell 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. 1 5).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. 16). 54 54 55 55 With FlexibleInstances and no OverlappingInstances, these restrictions yield a coherent and decidable system (CHR paper, corr. 1).