new language extensions

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Thu Nov 8 07:29:24 EST 2007


Duncan Coutts <duncan.coutts at worc.ox.ac.uk> wrote:

> Last call for objections or comments.

Is there a definitive (maybe even formal?) description of the change to
the language embodied by each of these extensions?  If not, then it is
going to be difficult for implementations other than ghc to implement
them.

> > UnicodeSyntax
> > PatternSignatures
> > UnliftedFFITypes
> > LiberalTypeSynonyms
> > TypeOperators
> > PArr
> > RecordWildCards
> > RecordPuns
> > DisambiguateRecordFields
> > OverloadedStrings
> > GADTs
> > MonoPatBinds
> > RelaxedPolyRec
> > ExtendedDefaultRules
> > UnboxedTuples
> > DeriveDataTypeable
> > ConstrainedClassMethods

Regards,
    Malcolm


More information about the Libraries mailing list