pkgsrc-WIP-cvs archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: wip/hs-haskell-src-exts

Module name:	wip
Committed by:	szptvlfn
Date:		Tue Jan 27 14:13:32 UTC 2015

Modified Files:
	wip/hs-haskell-src-exts: Makefile distinfo

Log Message:
Update to
pkgsrc changes: pkglint police

1.16.0 -->

Include generated InternalParser.hs in the release tarball
(See for details) --> 1.16.0

New language features:

* DoRec
* Closed type families
* GADT records
* ExplicitNamespaces
* Type equality constraints
* PolyKinds
* DataKinds
* Default associated types
* Instance signatures
* OVERLAP pragma
* Parallel arrays
* MINIMAL pragma
* Default signatures
* Safe Haskell
* Binary literals
* Qualified record puns
* Type splices

AST changes:

* PatBind no longer contains the optional Maybe Type field. The type
  signature is now represented as part of the pattern (PatTypeSig)
* GuardedAlt and GuardedAlts types are replaced with the isomorphic
  GuardedRhs and Rhs types
* Move parentheses from the Context to Asst type
* Change DeclHead and InstHead to make it possible to represent
  various ways to put parentheses around parts of declarations. Introduce a new
  type InstRule for the same purpose.
* Change representation of negated patterns
* Make strictness annotations on data type fields part of those fields' Type

Notable bug fixes:

* Allow statements, and not just expression, in MultiWayIf conditions
* Allow equality constraints when GADTs are enabled
* Fix parsing and printing of pragma modifiers, such as CONLIKE
* Don't treat 'capi' or 'interruptible' as a keyword except after 'foreign'
* Let ImpredicativeTypes imply ExplicitForAll
* Let RecursiveDo enable 'rec' keyword
* Fix pretty-printing of the unary minus sign
* Do not require FlexibleContexts for things like Ord (i Int) => ...
* Fix pretty-printing of deriving clauses
* Parse "Constraint" as a kind with ConstraintKinds enabled
* Support qualified quasi-quoters
* Enable ScopedTypeVariables when parsing rules
* Only permit record wildcards in last position
* Allow n-parameter infix data declaration heads

Other changes:

* Expose showToken from Language.Haskell.Exts.Lexer
* Show instance for SrcLoc and SrcSpan are changed (now they do not contain
* field names)
* Add DeriveGeneric to known extensions

To generate a diff of this commit:
cvs -z3 rdiff -u -r1.11 -r1.12 wip/hs-haskell-src-exts/distinfo
cvs -z3 rdiff -u -r1.12 -r1.13 wip/hs-haskell-src-exts/
cvs -z3 rdiff -u -r1.13 -r1.14 wip/hs-haskell-src-exts/Makefile

To view a diff of this commit:

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Dive into the World of Parallel Programming. The Go Parallel Website,
sponsored by Intel and developed in partnership with Slashdot Media, is your
hub for all things parallel software development, from weekly thought
leadership blogs to news, videos, case studies, tutorials and more. Take a
look and join the conversation now.
pkgsrc-wip-cvs mailing list

Home | Main Index | Thread Index | Old Index