ghc.git
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.

7 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

7 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

10 years agoFollow flag name change
Ian Lynagh [Sat, 19 Jul 2008 21:53:37 +0000 (21:53 +0000)] 
Follow flag name change

11 years agoMake the package -Wall clean
Ian Lynagh [Thu, 19 Jun 2008 00:11:00 +0000 (00:11 +0000)] 
Make the package -Wall clean

11 years agoMake the StringConstr [] case of dataToQa fail rather than be an unhandled case
Ian Lynagh [Thu, 19 Jun 2008 00:10:04 +0000 (00:10 +0000)] 
Make the StringConstr [] case of dataToQa fail rather than be an unhandled case

11 years agoMake rename of a SigP fail properly, rather than just being an unhandled case
Ian Lynagh [Thu, 19 Jun 2008 00:08:06 +0000 (00:08 +0000)] 
Make rename of a SigP fail properly, rather than just being an unhandled case

11 years agoWe only need -fno-warn-deprecations, not -w
Ian Lynagh [Mon, 16 Jun 2008 23:31:39 +0000 (23:31 +0000)] 
We only need -fno-warn-deprecations, not -w

11 years agoList exact extensions used rather than using -fglasgow-exts
Ian Lynagh [Mon, 16 Jun 2008 23:30:16 +0000 (23:30 +0000)] 
List exact extensions used rather than using -fglasgow-exts

11 years agoAdd support for Word primitives 32##
Ian Lynagh [Wed, 23 Apr 2008 16:04:28 +0000 (16:04 +0000)] 
Add support for Word primitives 32##

11 years agoReplace TH.Quasi by TH.Quote
simonpj@microsoft.com [Fri, 18 Jan 2008 17:03:24 +0000 (17:03 +0000)] 
Replace TH.Quasi by TH.Quote

This is a wibble to the preceding quasiquotation patch:
I failed to add a file.

11 years agoSupport code for quasi-quotation feature
simonpj@microsoft.com [Fri, 18 Jan 2008 15:10:16 +0000 (15:10 +0000)] 
Support code for quasi-quotation feature

This patch supports the quasi-quotation feature.  Here's the relevant
parts from the message in the big compiler patch:

  Fri Jan 18 14:55:03 GMT 2008  simonpj@microsoft.com
    * Add quasi-quotation, courtesy of Geoffrey Mainland

  This patch adds quasi-quotation, as described in
    "Nice to be Quoted: Quasiquoting for Haskell"
   (Geoffrey Mainland, Haskell Workshop 2007)
  Implemented by Geoffrey and polished by Simon.

...snip...

  * There is an accompanying patch to the template-haskell library. This
    involves one interface change:
   currentModule :: Q String
    is replaced by
   location :: Q Loc
    where Loc is a data type defined in TH.Syntax thus:
        data Loc
          = Loc { loc_filename :: String
         , loc_package  :: String
         , loc_module   :: String
         , loc_start    :: CharPos
         , loc_end      :: CharPos }

        type CharPos = (Int, Int) -- Line and character position

    So you get a lot more info from 'location' than from 'currentModule'.
    The location you get is the location of the splice.

    This works in Template Haskell too of course, and lets a TH program
    generate much better error messages.

  * There's also a new module in the template-haskell package called
    Language.Haskell.TH.Quote, which contains support code for the
    quasi-quoting feature.

11 years agoSpecify build-type: Simple
Duncan Coutts [Thu, 18 Oct 2007 12:51:16 +0000 (12:51 +0000)] 
Specify build-type: Simple

11 years agoCopy description for the Cabal file from prologue.txt
Ian Lynagh [Sun, 14 Oct 2007 10:01:16 +0000 (10:01 +0000)] 
Copy description for the Cabal file from prologue.txt

11 years agoBump version number
Ian Lynagh [Sun, 14 Oct 2007 10:00:57 +0000 (10:00 +0000)] 
Bump version number

11 years agoAdd a boring file
Ian Lynagh [Thu, 13 Sep 2007 20:46:57 +0000 (20:46 +0000)] 
Add a boring file

11 years agoSuppress some warnings
Ian Lynagh [Sun, 2 Sep 2007 19:40:10 +0000 (19:40 +0000)] 
Suppress some warnings

11 years agoPut the correct license text in
Ian Lynagh [Tue, 28 Aug 2007 13:06:20 +0000 (13:06 +0000)] 
Put the correct license text in

11 years agoAdded dummy license file
sven.panne@aedion.de [Sat, 25 Aug 2007 14:31:23 +0000 (14:31 +0000)] 
Added dummy license file
Please fill in the correct license, no clue what it should be. Furthermore,
a few licenses resulting from the "Big Base Split" (tm) should be reviewed,
I guess.

11 years agoWe now depend on the packedstring and containers packages
Ian Lynagh [Wed, 1 Aug 2007 23:58:28 +0000 (23:58 +0000)] 
We now depend on the packedstring and containers packages

12 years ago--configure-option and --ghc-option are now provided by Cabal
Ross Paterson [Mon, 4 Jun 2007 11:59:37 +0000 (11:59 +0000)] 
--configure-option and --ghc-option are now provided by Cabal

12 years agoAdd Data and Typeable instances; patch from greenrd in trac #1263'
Ian Lynagh [Tue, 29 May 2007 20:57:08 +0000 (20:57 +0000)] 
Add Data and Typeable instances; patch from greenrd in trac #1263'

12 years agoRemove Makefile and package.conf.in (used in the old build system)
Ian Lynagh [Thu, 24 May 2007 14:26:33 +0000 (14:26 +0000)] 
Remove Makefile and package.conf.in (used in the old build system)

12 years agoWe now depend on pretty
Ian Lynagh [Fri, 18 May 2007 16:25:41 +0000 (16:25 +0000)] 
We now depend on pretty

12 years agoFollow Cabal changes in Setup.hs
Ian Lynagh [Wed, 18 Apr 2007 11:44:48 +0000 (11:44 +0000)] 
Follow Cabal changes in Setup.hs

12 years agoReport fail string before passing control through to underlying fail in Q monad ...
Tyson Whitehead [Tue, 10 Apr 2007 14:18:57 +0000 (14:18 +0000)] 
Report fail string before passing control through to underlying fail in Q monad (otherwise it gets lost in GHC's IOEnv) for trac #1265

12 years agoFix -Wall warnings
Ian Lynagh [Wed, 11 Apr 2007 00:50:26 +0000 (00:50 +0000)] 
Fix -Wall warnings

12 years agoAdd missing case in removePrefix
Ian Lynagh [Wed, 11 Apr 2007 00:26:01 +0000 (00:26 +0000)] 
Add missing case in removePrefix

12 years agoAnother name printing tweak
Ian Lynagh [Sat, 7 Apr 2007 12:20:55 +0000 (12:20 +0000)] 
Another name printing tweak

12 years agoRejig name printing a bit
Ian Lynagh [Sat, 7 Apr 2007 12:14:50 +0000 (12:14 +0000)] 
Rejig name printing a bit

12 years agoparse (but don't pass on) options for ./configure
Ian Lynagh [Fri, 6 Apr 2007 15:37:53 +0000 (15:37 +0000)] 
parse (but don't pass on) options for ./configure

12 years agoPretty-print an empty list of fundeps without '|' (should fix #1260)
Stefan O'Rear [Mon, 2 Apr 2007 15:28:54 +0000 (15:28 +0000)] 
Pretty-print an empty list of fundeps without '|' (should fix #1260)

12 years agoFix precedence passing for patterns in LamE (fixes \((:) x xs) -> x misprinting)
Stefan O'Rear [Mon, 2 Apr 2007 15:26:34 +0000 (15:26 +0000)] 
Fix precedence passing for patterns in LamE (fixes \((:) x xs) -> x misprinting)

12 years agoProperly handle tilde-patterns
Stefan O'Rear [Sun, 1 Apr 2007 19:02:15 +0000 (19:02 +0000)] 
Properly handle tilde-patterns

12 years agoTypo fixes, missing {in,ex}ports
Stefan O'Rear [Sun, 1 Apr 2007 16:59:45 +0000 (16:59 +0000)] 
Typo fixes, missing {in,ex}ports

12 years agoUse pprName False in pretty printer
Stefan O'Rear [Sun, 1 Apr 2007 16:56:55 +0000 (16:56 +0000)] 
Use pprName False in pretty printer