ghc.git
5 years agoFollow changes in comparison primops (see #6135)
Jan Stolarek [Mon, 16 Sep 2013 14:17:09 +0000 (15:17 +0100)] 
Follow changes in comparison primops (see #6135)

5 years agoTrailing whitespaces
Jan Stolarek [Mon, 16 Sep 2013 15:06:07 +0000 (16:06 +0100)] 
Trailing whitespaces

5 years agoSupport new role annotation syntax.
Richard Eisenberg [Wed, 11 Sep 2013 04:56:03 +0000 (00:56 -0400)] 
Support new role annotation syntax.

This reverts the change to TyVarBndr (which now has only two
constructors, PlainTV and KindedTV) and adds a new Dec, RoleAnnotD.
There is also an updated definition for the type Role, to allow
for wildcard annotations.

5 years agoUpdate Git repo URL in `.cabal` file
Herbert Valerio Riedel [Wed, 11 Sep 2013 13:15:01 +0000 (15:15 +0200)] 
Update Git repo URL in `.cabal` file

5 years agoFix AMP warnings
David Luposchainsky [Fri, 6 Sep 2013 17:51:11 +0000 (19:51 +0200)] 
Fix AMP warnings

Signed-off-by: Austin Seipp <aseipp@pobox.com>
5 years agoImprove pretty printing for Template Haskell operators
Simon Peyton Jones [Wed, 28 Aug 2013 15:43:00 +0000 (16:43 +0100)] 
Improve pretty printing for Template Haskell operators

Fixes Trac #8187, #8188.

Thanks to Yoshikuni Jujo for pointing this out and doing the first draft.

5 years agoFix GHC Trac #8186.
Richard Eisenberg [Tue, 27 Aug 2013 21:39:42 +0000 (17:39 -0400)] 
Fix GHC Trac #8186.

Make parS in TH.Lib work.

5 years agoImplement roles into Template Haskell.
Richard Eisenberg [Fri, 2 Aug 2013 14:52:48 +0000 (15:52 +0100)] 
Implement roles into Template Haskell.

The biggest change is to the TyVarBndr type, which now can deal
with role annotations.

5 years agoRemove some redundant warning suppression
Ian Lynagh [Sun, 28 Jul 2013 14:41:37 +0000 (15:41 +0100)] 
Remove some redundant warning suppression

6 years agoUpdate export list for closed type families
Richard Eisenberg [Tue, 2 Jul 2013 22:15:25 +0000 (23:15 +0100)] 
Update export list for closed type families

6 years agoUpdate to support closed type families.
Richard Eisenberg [Fri, 21 Jun 2013 13:01:36 +0000 (14:01 +0100)] 
Update to support closed type families.

6 years agoFix typo
Gabor Greif [Wed, 20 Mar 2013 21:17:30 +0000 (22:17 +0100)] 
Fix typo

6 years agoAdd "deprecated in" comments to deprecated pragmas
Ian Lynagh [Tue, 19 Feb 2013 15:21:35 +0000 (15:21 +0000)] 
Add "deprecated in" comments to deprecated pragmas

6 years agosome more typos
Gabor Greif [Sat, 2 Feb 2013 02:45:50 +0000 (03:45 +0100)] 
some more typos

6 years agoImplement overlapping type family instances.
Richard Eisenberg [Sat, 22 Dec 2012 01:57:04 +0000 (20:57 -0500)] 
Implement overlapping type family instances.

An ordered, overlapping type family instance is introduced by 'type
instance
where', followed by equations. See the new section in the user manual
(7.7.2.2) for details. The canonical example is Boolean equality at the
type
level:

type family Equals (a :: k) (b :: k) :: Bool
type instance where
  Equals a a = True
  Equals a b = False

A branched family instance, such as this one, checks its equations in
order
and applies only the first the matches. As explained in the note
[Instance
checking within groups] in FamInstEnv.lhs, we must be careful not to
simplify,
say, (Equals Int b) to False, because b might later unify with Int.

This commit includes all of the commits on the overlapping-tyfams
branch. SPJ
requested that I combine all my commits over the past several months
into one
monolithic commit. The following GHC repos are affected: ghc, testsuite,
utils/haddock, libraries/template-haskell, and libraries/dph.

Here are some details for the interested:

- The definition of CoAxiom has been moved from TyCon.lhs to a
  new file CoAxiom.lhs. I made this decision because of the
  number of definitions necessary to support BranchList.

- BranchList is a GADT whose type tracks whether it is a
  singleton list or not-necessarily-a-singleton-list. The reason
  I introduced this type is to increase static checking of places
  where GHC code assumes that a FamInst or CoAxiom is indeed a
  singleton. This assumption takes place roughly 10 times
  throughout the code. I was worried that a future change to GHC
  would invalidate the assumption, and GHC might subtly fail to
  do the right thing. By explicitly labeling CoAxioms and
  FamInsts as being Unbranched (singleton) or
  Branched (not-necessarily-singleton), we make this assumption
  explicit and checkable. Furthermore, to enforce the accuracy of
  this label, the list of branches of a CoAxiom or FamInst is
  stored using a BranchList, whose constructors constrain its
  type index appropriately.

I think that the decision to use BranchList is probably the most
controversial decision I made from a code design point of view.
Although I provide conversions to/from ordinary lists, it is more
efficient to use the brList... functions provided in CoAxiom than
always to convert. The use of these functions does not wander far
from the core CoAxiom/FamInst logic.

BranchLists are motivated and explained in the note [Branched axioms] in
CoAxiom.lhs.

- The CoAxiom type has changed significantly. You can see the new
  type in CoAxiom.lhs. It uses a CoAxBranch type to track
  branches of the CoAxiom. Correspondingly various functions
  producing and consuming CoAxioms had to change, including the
  binary layout of interface files.

- To get branched axioms to work correctly, it is important to have a
  notion
  of type "apartness": two types are apart if they cannot unify, and no
  substitution of variables can ever get them to unify, even after type
family
  simplification. (This is different than the normal failure to unify
because
  of the type family bit.) This notion in encoded in tcApartTys, in
Unify.lhs.
  Because apartness is finer-grained than unification, the tcUnifyTys
now
  calls tcApartTys.

- CoreLinting axioms has been updated, both to reflect the new
  form of CoAxiom and to enforce the apartness rules of branch
  application. The formalization of the new rules is in
  docs/core-spec/core-spec.pdf.

- The FamInst type (in types/FamInstEnv.lhs) has changed
  significantly, paralleling the changes to CoAxiom. Of course,
  this forced minor changes in many files.

- There are several new Notes in FamInstEnv.lhs, including one
  discussing confluent overlap and why we're not doing it.

- lookupFamInstEnv, lookupFamInstEnvConflicts, and
  lookup_fam_inst_env' (the function that actually does the work)
  have all been more-or-less completely rewritten. There is a
  Note [lookup_fam_inst_env' implementation] describing the
  implementation. One of the changes that affects other files is
  to change the type of matches from a pair of (FamInst, [Type])
  to a new datatype (which now includes the index of the matching
  branch). This seemed a better design.

- The TySynInstD constructor in Template Haskell was updated to
  use the new datatype TySynEqn. I also bumped the TH version
  number, requiring changes to DPH cabal files. (That's why the
  DPH repo has an overlapping-tyfams branch.)

- As SPJ requested, I refactored some of the code in HsDecls:

 * splitting up TyDecl into SynDecl and DataDecl, correspondingly
   changing HsTyDefn to HsDataDefn (with only one constructor)

 * splitting FamInstD into TyFamInstD and DataFamInstD and
   splitting FamInstDecl into DataFamInstDecl and TyFamInstDecl

 * making the ClsInstD take a ClsInstDecl, for parallelism with
   InstDecl's other constructors

 * changing constructor TyFamily into FamDecl

 * creating a FamilyDecl type that stores the details for a family
   declaration; this is useful because FamilyDecls can appear in classes
but
   other decls cannot

 * restricting the associated types and associated type defaults for a
 * class
   to be the new, more restrictive types

 * splitting cid_fam_insts into cid_tyfam_insts and cid_datafam_insts,
   according to the new types

 * perhaps one or two more that I'm overlooking

None of these changes has far-reaching implications.

- The user manual, section 7.7.2.2, is updated to describe the new type
  family
  instances.

6 years agoBump base lower version to 4.5 (the version GHC 7.4.1 came with)
Ian Lynagh [Fri, 30 Nov 2012 22:30:05 +0000 (22:30 +0000)] 
Bump base lower version to 4.5 (the version GHC 7.4.1 came with)

6 years agoBump version number following new policy
Ian Lynagh [Fri, 30 Nov 2012 16:40:56 +0000 (16:40 +0000)] 
Bump version number following new policy

We now keep the HEAD version numbers as values which would be suitable
for immediate release.

6 years agoAdd comment to .cabal file saying what GHC 7.6.1 shipped with
Ian Lynagh [Fri, 30 Nov 2012 16:00:18 +0000 (16:00 +0000)] 
Add comment to .cabal file saying what GHC 7.6.1 shipped with

6 years agoIn the Template Haskell pretty printer, don't call error
Simon Peyton Jones [Tue, 18 Sep 2012 10:48:05 +0000 (11:48 +0100)] 
In the Template Haskell pretty printer, don't call error

There were two cases in which we called error
  * An InfixE with an operator epxression other than VarE or ConE
  * A comprehension with empty Stmts, ie CompE []

Crashing doesn't help much.  Now the library puts in the pretty
printed output a textual signal about what went wrong.

This addresses the crash in Trac #7235, although doesn't fix
the underlying cause, which remains shrouded in obscurity.

6 years agoPragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support.
Mikhail Vorozhtsov [Tue, 10 Jul 2012 14:01:05 +0000 (21:01 +0700)] 
Pragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support.

7 years agoBump version to 2.8.0.0
Paolo Capriotti [Tue, 10 Jul 2012 14:29:29 +0000 (15:29 +0100)] 
Bump version to 2.8.0.0

7 years agoReorganise the Language.Haskell.TH export list, so that it Haddocks better
Simon Peyton Jones [Mon, 16 Jul 2012 16:46:02 +0000 (17:46 +0100)] 
Reorganise the Language.Haskell.TH export list, so that it Haddocks better

Thanks to Reiner Pope

7 years agoAdd reportError and reportWarning to TH
Simon Peyton Jones [Mon, 16 Jul 2012 16:44:49 +0000 (17:44 +0100)] 
Add reportError and reportWarning to TH

...and deprecate plain 'report', which takes a Boolean flag whose
sense is hard to remember.

Thanks to Reiner Pope.

7 years agoRemove Language.Haskell.TH.Syntax.Internals
Simon Peyton Jones [Mon, 16 Jul 2012 16:43:44 +0000 (17:43 +0100)] 
Remove Language.Haskell.TH.Syntax.Internals

It didn't contain much, and the approved import route is Language.Haskell.TH,
so in effect the Syntax module is already an internal one.

Thanks to Reiner Pope.

7 years agoAdd documentation for Template Haskell functions
Simon Peyton Jones [Mon, 16 Jul 2012 16:42:49 +0000 (17:42 +0100)] 
Add documentation for Template Haskell functions

Thanks to Reiner Pope for doing this

7 years agoAdded multi-way if-expressions support.
Mikhail Vorozhtsov [Sat, 14 Jul 2012 17:56:17 +0000 (00:56 +0700)] 
Added multi-way if-expressions support.

7 years agoAdded lambda-case support.
Mikhail Vorozhtsov [Fri, 13 Jul 2012 17:09:31 +0000 (00:09 +0700)] 
Added lambda-case support.

7 years agoRe-export forallC in Language.Haskell.TH (#7009)
Paolo Capriotti [Tue, 19 Jun 2012 16:17:05 +0000 (17:17 +0100)] 
Re-export forallC in Language.Haskell.TH (#7009)

7 years agoStringPrimL now takes [Word8]
Reiner Pope [Wed, 15 Feb 2012 23:58:28 +0000 (10:58 +1100)] 
StringPrimL now takes [Word8]

7 years agoomit the profasm way
Simon Marlow [Tue, 12 Jun 2012 08:53:11 +0000 (09:53 +0100)] 
omit the profasm way

7 years agoAbstract out a Ppr Inline instance
Ian Lynagh [Tue, 22 May 2012 14:41:40 +0000 (15:41 +0100)] 
Abstract out a Ppr Inline instance

7 years agoChange TH syntax to allow promoted kinds and kind polymorphism
Simon Peyton Jones [Fri, 18 May 2012 09:06:17 +0000 (10:06 +0100)] 
Change TH syntax to allow promoted kinds and kind polymorphism

The big change here is that Kind is no longer a distinct type,
it's just a type synonym for Type.  This reflects exactly what
happens in the HsSyn world, and avoids a great deal of duplication
between types and kinds.   But it is a breaking for (the few)
TH users who were using the constructors for Kind.

Thanks to lunaris and Richard Eisenberg for doing the work.

7 years agoAdd INLINABLE pragmas in Template Haskell
Simon Peyton Jones [Fri, 18 May 2012 09:03:50 +0000 (10:03 +0100)] 
Add INLINABLE pragmas in Template Haskell

Thanks to mikhail.vorozhtsov for doing the work

7 years agoMerge remote-tracking branch 'origin/master' into type-nats
Iavor S. Diatchki [Sun, 18 Mar 2012 22:26:11 +0000 (15:26 -0700)] 
Merge remote-tracking branch 'origin/master' into type-nats

7 years agoUpdates to type-literal support.
Iavor S. Diatchki [Thu, 15 Mar 2012 07:08:06 +0000 (00:08 -0700)] 
Updates to type-literal support.

7 years agoMerge branch 'master' into type-nats
Iavor S. Diatchki [Thu, 15 Mar 2012 06:40:56 +0000 (23:40 -0700)] 
Merge branch 'master' into type-nats

7 years agoAdd fixity declarations to Template Haskell (Trac #1541)
Simon Peyton Jones [Wed, 14 Mar 2012 17:36:33 +0000 (17:36 +0000)] 
Add fixity declarations to Template Haskell (Trac #1541)

7 years agoUpdate .gitignore.
Paolo Capriotti [Tue, 6 Mar 2012 10:57:35 +0000 (10:57 +0000)] 
Update .gitignore.

7 years agoFix the data constructors for tuples etc that dataToExpQ builds
Ian Lynagh [Wed, 8 Feb 2012 16:11:16 +0000 (16:11 +0000)] 
Fix the data constructors for tuples etc that dataToExpQ builds

Conal Elliott reported that dataToExpQ built a different constructor
for () than [| () |]. This patch fixes that, and adds a regression test.

7 years agoExport addDependentFile from Language.Haskell.TH.Syntax; part of #4900
Ian Lynagh [Tue, 31 Jan 2012 15:44:06 +0000 (15:44 +0000)] 
Export addDependentFile from Language.Haskell.TH.Syntax; part of #4900

7 years agoMake dataToQa work regardless of the set of in-scope names (fixes #4491).
Geoffrey Mainland [Tue, 4 Oct 2011 16:57:29 +0000 (17:57 +0100)] 
Make dataToQa work regardless of the set of in-scope names (fixes #4491).

Use tyConPackage and tyConModule to determine the package and module to which a
data type belongs. With this information we can use mkNameG_d to build
constructor names which ensures that dataToQa creates TH terms that are
independent of the set of in-scope names.

7 years agoaddDependentFile #4900
Greg Weber [Sun, 9 Oct 2011 23:55:11 +0000 (16:55 -0700)] 
addDependentFile #4900

Let GHC know about an external dependency that Template Haskell uses
so that GHC can recompile when the dependency changes.
No support for ghc -M

7 years agoFollow ghc-prim changes
Ian Lynagh [Fri, 26 Aug 2011 20:38:56 +0000 (21:38 +0100)] 
Follow ghc-prim changes

7 years agoImplement lookupTypeName/lookupValueName, and reification of type family instances
Simon Peyton Jones [Tue, 23 Aug 2011 12:47:19 +0000 (13:47 +0100)] 
Implement lookupTypeName/lookupValueName, and reification of type family instances

This patch (and its GHC counterpart) implements
   Trac #4429 (lookupTypeName, lookupValueName)
   Trac #5406 (reification of type/data family instances)

See detailed discussion in those tickets.

TH.ClassInstance is no more; instead reifyInstances returns a [Dec],
which requires fewer data types and natuarally accommodates family
instances.

'reify' on a type/data family now returns 'FamilyI', a new data
constructor in 'Info'

7 years agoUpdate import of Text.PrettyPrint
David Terei [Sat, 20 Aug 2011 00:59:49 +0000 (17:59 -0700)] 
Update import of Text.PrettyPrint

7 years agoThe unit tuple is defined in a different module to other tuples (oddly)
Simon Peyton Jones [Wed, 17 Aug 2011 06:58:36 +0000 (07:58 +0100)] 
The unit tuple is defined in a different module to other tuples (oddly)

Fixes Trac #5409

7 years agoRemove old darcs boring file
David Terei [Wed, 10 Aug 2011 19:34:38 +0000 (12:34 -0700)] 
Remove old darcs boring file

7 years agoMake Q an instance of Applicative
Simon Peyton Jones [Fri, 29 Jul 2011 12:04:04 +0000 (13:04 +0100)] 
Make Q an instance of Applicative

Thanks to Bas van Dijk for proposing this.

In the end I replaced Functor by Applicative in the
superclasses of Quasi, thus:
  class (Monad m, Applicative m) => Quasi m where
because Functor is a superclass of Applicative.

7 years agoAdd support for unresolved infix expressions and patterns.
Reiner Pope [Sat, 23 Jul 2011 06:13:17 +0000 (16:13 +1000)] 
Add support for unresolved infix expressions and patterns.

8 years agoMerge branch 'master' of http://darcs.haskell.org/packages/template-haskell
Simon Peyton Jones [Mon, 18 Jul 2011 22:26:42 +0000 (23:26 +0100)] 
Merge branch 'master' of darcs.haskell.org/packages/template-haskell

8 years agoAdd TH support for UNPACK pragmas (Trac #5290)
Simon Peyton Jones [Mon, 18 Jul 2011 22:25:51 +0000 (23:25 +0100)] 
Add TH support for UNPACK pragmas (Trac #5290)

The extension is nice, because it just adds an extra
constructor to the existing data type 'Strict'.

Thanks to Mikhail Vorozhtsov.

8 years agoFollow removal of 'threadsafe' FFI imports
Ian Lynagh [Tue, 12 Jul 2011 23:56:48 +0000 (00:56 +0100)] 
Follow removal of 'threadsafe' FFI imports

8 years agoBump version number
Ian Lynagh [Wed, 6 Jul 2011 16:19:24 +0000 (17:19 +0100)] 
Bump version number

8 years agoFix Haddock.
Iavor S. Diatchki [Tue, 21 Jun 2011 16:11:38 +0000 (09:11 -0700)] 
Fix Haddock.

8 years agoChanges for TypeNats.
Iavor S. Diatchki [Sun, 19 Jun 2011 05:46:09 +0000 (22:46 -0700)] 
Changes for TypeNats.

8 years agoUpdate source-repository in the .cabal file to point to the git repo
Ian Lynagh [Tue, 5 Apr 2011 18:04:17 +0000 (19:04 +0100)] 
Update source-repository in the .cabal file to point to the git repo

8 years agoAdd unboxed tuple support to Template Haskell
Ian Lynagh [Thu, 10 Feb 2011 13:47:25 +0000 (13:47 +0000)] 
Add unboxed tuple support to Template Haskell

8 years agoChange type of TH.classInstances (and qClassInstances)
simonpj@microsoft.com [Thu, 13 Jan 2011 11:54:37 +0000 (11:54 +0000)] 
Change type of TH.classInstances (and qClassInstances)

This patch accompanies the HEAD commit

  Thu Jan 13 11:14:21 GMT 2011  simonpj@microsoft.com
  * Make Template Haskell classInstances function return [ClassInstance]

It accomplishes the data type change

8 years agoPut FlexibleInstances in PprLib alone
simonpj@microsoft.com [Tue, 14 Dec 2010 18:06:35 +0000 (18:06 +0000)] 
Put FlexibleInstances in PprLib alone

8 years agoRemove the "alpha" helper function; trac #4423
Ian Lynagh [Sun, 21 Nov 2010 14:26:46 +0000 (14:26 +0000)] 
Remove the "alpha" helper function; trac #4423

8 years agoRemove unnecessary toRational
simonpj@microsoft.com [Tue, 16 Nov 2010 17:29:40 +0000 (17:29 +0000)] 
Remove unnecessary toRational

8 years agoRemove unused functions combine, rename, genpat, simpleMatch
simonpj@microsoft.com [Fri, 12 Nov 2010 17:08:08 +0000 (17:08 +0000)] 
Remove unused functions combine, rename, genpat, simpleMatch

See Trac #4423

8 years agoUse showMultiLineString from GHC.Show
simonpj@microsoft.com [Mon, 25 Oct 2010 15:18:07 +0000 (15:18 +0000)] 
Use showMultiLineString from GHC.Show

Part of patch for #4436

8 years agoFollow GHC.Bool/GHC.Types merge
Ian Lynagh [Sat, 23 Oct 2010 16:49:01 +0000 (16:49 +0000)] 
Follow GHC.Bool/GHC.Types merge

8 years agoAdded view patterns (Trac #2399)
Reiner Pope [Sun, 10 Oct 2010 12:39:05 +0000 (12:39 +0000)] 
Added view patterns (Trac #2399)

8 years agoExtend Template Haskell support for interruptible calls.
Edward Z. Yang [Wed, 8 Sep 2010 17:47:58 +0000 (17:47 +0000)] 
Extend Template Haskell support for interruptible calls.

8 years agoExport recent additions from Language.Haskell.TH
Ian Lynagh [Fri, 17 Sep 2010 14:46:38 +0000 (14:46 +0000)] 
Export recent additions from Language.Haskell.TH

8 years agoBump version to 2.5.0.0
Ian Lynagh [Fri, 17 Sep 2010 14:33:21 +0000 (14:33 +0000)] 
Bump version to 2.5.0.0

8 years agoAdd TH reification of instances (Trac #1835)
simonpj@microsoft.com [Wed, 15 Sep 2010 15:13:29 +0000 (15:13 +0000)] 
Add TH reification of instances (Trac #1835)

8 years agoAdd quoteFile function (see Trac #4293)
simonpj@microsoft.com [Fri, 10 Sep 2010 08:20:16 +0000 (08:20 +0000)] 
Add quoteFile function (see Trac #4293)

8 years agoAdd a StringPrimL constructor to the Lit type (fix Trac #4168)
simonpj@microsoft.com [Fri, 30 Jul 2010 13:15:50 +0000 (13:15 +0000)] 
Add a StringPrimL constructor to the Lit type (fix Trac #4168)

There's a corresponding patch in the main compiler

8 years agoImprove TH pretty printing
simonpj@microsoft.com [Wed, 21 Jul 2010 09:05:38 +0000 (09:05 +0000)] 
Improve TH pretty printing

9 years agoFix typo
Ian Lynagh [Sun, 2 May 2010 11:35:37 +0000 (11:35 +0000)] 
Fix typo

9 years agoFormat most comments for haddock.
Adam Vogt [Tue, 27 Apr 2010 04:05:31 +0000 (04:05 +0000)] 
Format most comments for haddock.

9 years agoAdd parens in patterns; fix Trac #3899
simonpj@microsoft.com [Thu, 4 Mar 2010 13:28:26 +0000 (13:28 +0000)] 
Add parens in patterns; fix Trac #3899

9 years agoAdd quasiquote definitions for declarations and types
simonpj@microsoft.com [Wed, 10 Feb 2010 09:42:23 +0000 (09:42 +0000)] 
Add quasiquote definitions for declarations and types

9 years agoTighten the base dep; fixes trac #3809
Ian Lynagh [Sat, 16 Jan 2010 22:18:32 +0000 (22:18 +0000)] 
Tighten the base dep; fixes trac #3809

9 years agobump base dep; apparently base4 is now required
Ian Lynagh [Tue, 15 Dec 2009 22:35:55 +0000 (22:35 +0000)] 
bump base dep; apparently base4 is now required

9 years agoFix pretty-printing of INLINE pragmas
Roman Leshchinskiy [Mon, 9 Nov 2009 11:32:00 +0000 (11:32 +0000)] 
Fix pretty-printing of INLINE pragmas

9 years agoFix Trac #3572 (pls merge)
simonpj@microsoft.com [Thu, 15 Oct 2009 11:41:04 +0000 (11:41 +0000)] 
Fix Trac #3572 (pls merge)

9 years agoDocument 'CompE' better (see Trac #3395)
simonpj@microsoft.com [Thu, 13 Aug 2009 15:29:41 +0000 (15:29 +0000)] 
Document 'CompE' better (see Trac #3395)

9 years agoFix "Cabal check" warnings
Ian Lynagh [Tue, 11 Aug 2009 21:59:23 +0000 (21:59 +0000)] 
Fix "Cabal check" warnings

10 years agoabstractify ModName, PkgName and OccName; drop dependency on packedstring
Simon Marlow [Fri, 12 Jun 2009 10:17:36 +0000 (10:17 +0000)] 
abstractify ModName, PkgName and OccName; drop dependency on packedstring

10 years agoAdd liftString, to match the "improve lifting for strings" patch in the compiler
simonpj@microsoft.com [Wed, 27 May 2009 18:06:13 +0000 (18:06 +0000)] 
Add liftString, to match the "improve lifting for strings" patch in the compiler

10 years agoAdded bang patterns
Manuel M T Chakravarty [Thu, 26 Mar 2009 10:07:06 +0000 (10:07 +0000)] 
Added bang patterns

10 years agoTemplate Haskell: kind annotations
Manuel M T Chakravarty [Thu, 26 Mar 2009 09:32:36 +0000 (09:32 +0000)] 
Template Haskell: kind annotations
- Kind annotations at variables in type declarations
- Kind signatures in types

  *** This patch changes the API!  Existing client code will break! ***

10 years agoAdded INLINE and SPECIALISE pragmas as declaration forms
Manuel M T Chakravarty [Tue, 24 Mar 2009 23:35:21 +0000 (23:35 +0000)] 
Added INLINE and SPECIALISE pragmas as declaration forms

10 years agoAdding equality constraints
Manuel M T Chakravarty [Thu, 19 Mar 2009 13:10:54 +0000 (13:10 +0000)] 
Adding equality constraints
- This patch adds equality constraints
- This requires an incompatible change of the type TH.Cxt - hence:

  *** This patch changes the API!  Existing client code will break! ***

- I took the opportunity to sanitise the definition of contexts a bit.

10 years agoAdded type family declarations forms
Manuel M T Chakravarty [Thu, 19 Mar 2009 05:40:03 +0000 (05:40 +0000)] 
Added type family declarations forms
- Adds type family and instance declarations, both on the top level and
  as associated types
- No equality constraints yet

10 years agoget unsafePerformIO from a documented location
Simon Marlow [Wed, 21 Jan 2009 21:27:55 +0000 (21:27 +0000)] 
get unsafePerformIO from a documented location

10 years agoRequire Cabal version >= 1.6
Ian Lynagh [Thu, 22 Jan 2009 01:13:29 +0000 (01:13 +0000)] 
Require Cabal version >= 1.6

10 years agoAdd "bug-reports" and "source-repository" info to the Cabal file
Ian Lynagh [Wed, 21 Jan 2009 18:28:26 +0000 (18:28 +0000)] 
Add "bug-reports" and "source-repository" info to the Cabal file
Also switched to the modern Cabal file format

10 years ago#2875: Correct SYB's representation of Char
jpm@cs.uu.nl [Mon, 19 Jan 2009 11:24:09 +0000 (11:24 +0000)] 
#2875: Correct SYB's representation of Char

10 years agoFix the definitions of trueName and falseName
Ian Lynagh [Wed, 12 Nov 2008 13:56:45 +0000 (13:56 +0000)] 
Fix the definitions of trueName and falseName

10 years agoMake NameFlavour have a full Data instance so annotations can deserialize it
Max Bolingbroke [Thu, 16 Oct 2008 12:25:01 +0000 (12:25 +0000)] 
Make NameFlavour have a full Data instance so annotations can deserialize it

10 years agoFix Trac #2700: pretty-printing of types
simonpj@microsoft.com [Sat, 25 Oct 2008 16:44:28 +0000 (16:44 +0000)] 
Fix Trac #2700: pretty-printing of types

10 years agoeliminate dependency on syb
Ross Paterson [Sun, 5 Oct 2008 09:25:20 +0000 (09:25 +0000)] 
eliminate dependency on syb

10 years agoBump version number to 2.3.0.0
Ian Lynagh [Sat, 20 Sep 2008 16:02:43 +0000 (16:02 +0000)] 
Bump version number to 2.3.0.0

10 years agoAdd a dep on syb
Ian Lynagh [Mon, 25 Aug 2008 21:43:50 +0000 (21:43 +0000)] 
Add a dep on syb

10 years agoFollow tuple datatype movements
Ian Lynagh [Tue, 5 Aug 2008 10:29:48 +0000 (10:29 +0000)] 
Follow tuple datatype movements