Changes between Version 45 and Version 46 of Status/Oct11
 Timestamp:
 Nov 4, 2011 1:38:38 AM (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Status/Oct11
v45 v46 47 47  otherwise = y : insert x ys 48 48 }}} 49 Here `X` is an associated constraint synonym of the class `Coll`. The key point is that differ net instances can give different definitions to `X`. The GHC wiki page describes the design [[http://hackage.haskell.org/trac/ghc/wiki/KindFact WikiConstraint]], and Max's blog posts give more examples [[http://blog.omegaprime.co.uk/?p=61 ConstraintFamlies], [http://blog.omegaprime.co.uk/?p=127 ConstraintKind]].49 Here `X` is an associated constraint synonym of the class `Coll`. The key point is that different instances can give different definitions to `X`. The GHC wiki page describes the design [[http://hackage.haskell.org/trac/ghc/wiki/KindFact WikiConstraint]], and Max's blog posts give more examples [[http://blog.omegaprime.co.uk/?p=61 ConstraintFamlies], [http://blog.omegaprime.co.uk/?p=127 ConstraintKind]]. 50 50 51 51 * '''Associated type synonym defaults.''' Haskell lets you give a ''default method'' for the operations of a class.