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

11 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

12 years agoThread prefix-context argument through pprName
Stefan O'Rear [Sun, 1 Apr 2007 16:48:14 +0000 (16:48 +0000)] 
Thread prefix-context argument through pprName

12 years agoCreate showName, which takes an additional prefix-context argument
Stefan O'Rear [Sun, 1 Apr 2007 16:46:35 +0000 (16:46 +0000)] 
Create showName, which takes an additional prefix-context argument

12 years agomake Setup suitable for building the libraries with GHC
Ian Lynagh [Sun, 12 Nov 2006 21:47:35 +0000 (21:47 +0000)] 
make Setup suitable for building the libraries with GHC

12 years agoAdd instance Functor Q and make Quasi require Functor
Ian Lynagh [Thu, 22 Mar 2007 17:01:42 +0000 (17:01 +0000)] 
Add instance Functor Q and make Quasi require Functor

12 years agoAdd Lift instances for Maybe and Either
Ian Lynagh [Fri, 8 Sep 2006 01:52:13 +0000 (01:52 +0000)] 
Add Lift instances for Maybe and Either

12 years agoAdd comments, re-order code (no functional effect)
simonpj@microsoft.com [Fri, 1 Sep 2006 12:56:00 +0000 (12:56 +0000)] 
Add comments, re-order code (no functional effect)

12 years agoOmit package names when pretty-printing Names.
Einar Karttunen [Thu, 31 Aug 2006 00:55:00 +0000 (00:55 +0000)] 
Omit package names when pretty-printing Names.

12 years agobump version to 2.0
Simon Marlow [Fri, 11 Aug 2006 15:29:24 +0000 (15:29 +0000)] 
bump version to 2.0

12 years agoImprove pretty-printing for Template Haskell
simonpj@microsoft.com [Mon, 7 Aug 2006 09:31:27 +0000 (09:31 +0000)] 
Improve pretty-printing for Template Haskell

Fixes Trac #842

12 years agoModifications required by the changes to package support in GHC
Simon Marlow [Tue, 25 Jul 2006 14:19:18 +0000 (14:19 +0000)] 
Modifications required by the changes to package support in GHC
A NameG now needs to store the package name, too.

13 years agoAdd Show instances
simonpj@microsoft.com [Thu, 22 Jun 2006 10:21:14 +0000 (10:21 +0000)] 
Add Show instances

13 years agoFix a bug in mkName; merge to STABLE
simonpj@microsoft.com [Thu, 22 Jun 2006 10:19:10 +0000 (10:19 +0000)] 
Fix a bug in mkName; merge to STABLE

The little qualified-name parser inside mkName was mis-parsing
names like ".&." (which is exported by Data.Bits).

This commit fixes the problem.  It should merge into 6.3

13 years agoDrop dependency to haskell98 package
Einar Karttunen [Thu, 9 Feb 2006 22:46:26 +0000 (22:46 +0000)] 
Drop dependency to haskell98 package

13 years ago[project @ 2005-08-12 10:49:45 by dons]
dons [Fri, 12 Aug 2005 10:49:45 +0000 (10:49 +0000)] 
[project @ 2005-08-12 10:49:45 by dons]
Typo in comment only

14 years ago[project @ 2005-04-04 12:08:27 by simonpj]
simonpj [Mon, 4 Apr 2005 12:08:27 +0000 (12:08 +0000)] 
[project @ 2005-04-04 12:08:27 by simonpj]
Match changes in DsMeta

14 years ago[project @ 2005-04-04 10:23:03 by simonpj]
simonpj [Mon, 4 Apr 2005 10:23:03 +0000 (10:23 +0000)] 
[project @ 2005-04-04 10:23:03 by simonpj]
Indent where clauses

14 years ago[project @ 2005-03-05 14:13:56 by panne]
panne [Sat, 5 Mar 2005 14:13:56 +0000 (14:13 +0000)] 
[project @ 2005-03-05 14:13:56 by panne]
Use Data.Map instead of the deprecated Data.FiniteMap

14 years ago[project @ 2005-02-24 09:58:26 by simonmar]
simonmar [Thu, 24 Feb 2005 09:58:26 +0000 (09:58 +0000)] 
[project @ 2005-02-24 09:58:26 by simonmar]
nDoc fixes from Sven Panne.  Generally fixing of Haddock links, adding
some signatures, and in some cases exporting type constructors that
are mentioned in the types of exported identifiers.

14 years ago[project @ 2005-02-18 15:06:47 by simonmar]
simonmar [Fri, 18 Feb 2005 15:06:47 +0000 (15:06 +0000)] 
[project @ 2005-02-18 15:06:47 by simonmar]
Rename fields in InstalledPackageInfo for consistency with
PackageDescription & buildInfo:

 extra-libs (extraLibraries) --> extra-libraries (extraLibraries)
 extra-cc-opts (extraCcOpts) --> cc-options (ccOptions)
 extra-ld-opts (extraLdOpts) --> ld-options (ldOptions)
 extra-hugs-opts (extraHugsOpts) --> hugs-options (hugsOptions)
 extra-frameworks (extraFrameworks) --> frameworks (frameworks)

14 years ago[project @ 2005-02-15 21:06:31 by panne]
panne [Tue, 15 Feb 2005 21:06:31 +0000 (21:06 +0000)] 
[project @ 2005-02-15 21:06:31 by panne]
For the 100th time: Fixed Haddock comment syntax. >:-( Perhaps we should really
introduce a commit hook which verifies that "make html" works...

14 years ago[project @ 2005-02-07 10:26:55 by simonpj]
simonpj [Mon, 7 Feb 2005 10:26:55 +0000 (10:26 +0000)] 
[project @ 2005-02-07 10:26:55 by simonpj]
Documentation of flush behaviour of runIO

14 years ago[project @ 2005-01-31 15:48:21 by simonpj]
simonpj [Mon, 31 Jan 2005 15:48:22 +0000 (15:48 +0000)] 
[project @ 2005-01-31 15:48:21 by simonpj]
---------------------------
Some Template Haskell fixes
---------------------------

* Tidy up conversion from TH.Name to RdrName.RdrName. It was partly
  duplicated between Convert.thRdrName and TcSplice.lookupThName.
  Now it's all in one place: Convert.thRdrName

* Fix a bug in TH.tupleTypeName/TH.tupleDataName (GHC.Tuple -> Data.Tuple)

* Export appEs from Language.Haskell.TH

14 years ago[project @ 2005-01-21 12:37:05 by simonmar]
simonmar [Fri, 21 Jan 2005 12:37:05 +0000 (12:37 +0000)] 
[project @ 2005-01-21 12:37:05 by simonmar]
Update the haddock fields

14 years ago[project @ 2005-01-11 16:04:32 by simonmar]
simonmar [Tue, 11 Jan 2005 16:04:32 +0000 (16:04 +0000)] 
[project @ 2005-01-11 16:04:32 by simonmar]
Use OPTIONS_GHC instead of OPTIONS

14 years ago[project @ 2004-12-23 09:07:38 by simonpj]
simonpj [Thu, 23 Dec 2004 09:07:38 +0000 (09:07 +0000)] 
[project @ 2004-12-23 09:07:38 by simonpj]
---------------------------------
          Template Haskell: names again
   ---------------------------------

On 2 Dec 04 I made this commit (1.58 in Convert.lhs)

    Fix a Template Haskell bug that meant that top-level names created
    with newName were not made properly unique.

But that just introduced a new bug!  THe trouble is that names created by
newName are NameUs; but I was *also* using NameU for names of free varaibles,
such as the 'x' in the quoted code here
f x = $( g [| \y -> (x,y) |])

But when converting to HsSyn, the x and y must be treated diffferently.
The 'x' must convert to an Exact RdrName, so that it binds to the 'x' that's
in the type environment; but the 'y' must generate a nice unique RdrName.

So this commit adds NameL for the lexically-scoped bindings like 'x'.

14 years ago[project @ 2004-12-21 17:09:02 by simonpj]
simonpj [Tue, 21 Dec 2004 17:09:02 +0000 (17:09 +0000)] 
[project @ 2004-12-21 17:09:02 by simonpj]
---------------------------------
     Template Haskell: dynamically scoped qualified names
---------------------------------

This commit adds a constructor to TH.Name, so that

nameBase (mkName "Foo.baz")    == "baz"
nameModule (MkName "Foo.baz") == "Foo"

We always did parse the module name off the front, but it used to
be done in hsSyn/Convert, but now it's done in TH.Syntax, which is
a better place.

14 years ago[project @ 2004-12-21 09:58:13 by simonpj]
simonpj [Tue, 21 Dec 2004 09:58:13 +0000 (09:58 +0000)] 
[project @ 2004-12-21 09:58:13 by simonpj]
Comments only

14 years ago[project @ 2004-12-15 12:29:08 by simonpj]
simonpj [Wed, 15 Dec 2004 12:29:08 +0000 (12:29 +0000)] 
[project @ 2004-12-15 12:29:08 by simonpj]
Pretty print PrimTyConI

14 years ago[project @ 2004-12-03 12:19:51 by simonpj]
simonpj [Fri, 3 Dec 2004 12:19:51 +0000 (12:19 +0000)] 
[project @ 2004-12-03 12:19:51 by simonpj]
Add nameModule; and PrimTyConI

14 years ago[project @ 2004-11-26 16:22:12 by simonmar]
simonmar [Fri, 26 Nov 2004 16:22:12 +0000 (16:22 +0000)] 
[project @ 2004-11-26 16:22:12 by simonmar]
Further integration with the new package story.  GHC now supports
pretty much everything in the package proposal.

  - GHC now works in terms of PackageIds (<pkg>-<version>) rather than
    just package names.  You can still specify package names without
    versions on the command line, as long as the name is unambiguous.

  - GHC understands hidden/exposed modules in a package, and will refuse
    to import a hidden module.  Also, the hidden/eposed status of packages
    is taken into account.

  - I had to remove the old package syntax from ghc-pkg, backwards
    compatibility isn't really practical.

  - All the package.conf.in files have been rewritten in the new syntax,
    and contain a complete list of modules in the package.  I've set all
    the versions to 1.0 for now - please check your package(s) and fix the
    version number & other info appropriately.

  - New options:

-hide-package P    sets the expose flag on package P to False
-ignore-package P  unregisters P for this compilation

For comparison, -package P sets the expose flag on package P
        to True, and also causes P to be linked in eagerly.

        -package-name is no longer officially supported.  Unofficially, it's
a synonym for -ignore-package, which has more or less the same effect
as -package-name used to.

Note that a package may be hidden and yet still be linked into
the program, by virtue of being a dependency of some other package.
To completely remove a package from the compiler's internal database,
        use -ignore-package.

The compiler will complain if any two packages in the
        transitive closure of exposed packages contain the same
        module.

You *must* use -ignore-package P when compiling modules for
        package P, if package P (or an older version of P) is already
        registered.  The compiler will helpfully complain if you don't.
The fptools build system does this.

   - Note: the Cabal library won't work yet.  It still thinks GHC uses
     the old package config syntax.

Internal changes/cleanups:

   - The ModuleName type has gone away.  Modules are now just (a
     newtype of) FastStrings, and don't contain any package information.
     All the package-related knowledge is in DynFlags, which is passed
     down to where it is needed.

   - DynFlags manipulation has been cleaned up somewhat: there are no
     global variables holding DynFlags any more, instead the DynFlags
     are passed around properly.

   - There are a few less global variables in GHC.  Lots more are
     scheduled for removal.

   - -i is now a dynamic flag, as are all the package-related flags (but
     using them in {-# OPTIONS #-} is Officially Not Recommended).

   - make -j now appears to work under fptools/libraries/.  Probably
     wouldn't take much to get it working for a whole build.

14 years ago[project @ 2004-11-18 00:56:24 by igloo]
igloo [Thu, 18 Nov 2004 00:56:24 +0000 (00:56 +0000)] 
[project @ 2004-11-18 00:56:24 by igloo]
Implement FunDeps for TH.

14 years ago[project @ 2004-11-03 01:10:59 by igloo]
igloo [Wed, 3 Nov 2004 01:10:59 +0000 (01:10 +0000)] 
[project @ 2004-11-03 01:10:59 by igloo]
Implement TH ForallC constructor.

14 years ago[project @ 2004-09-08 15:13:20 by ross]
ross [Wed, 8 Sep 2004 15:13:20 +0000 (15:13 +0000)] 
[project @ 2004-09-08 15:13:20 by ross]
remove unneeded #includes of ghcconfig.h

14 years ago[project @ 2004-08-13 13:29:11 by simonmar]
simonmar [Fri, 13 Aug 2004 13:29:11 +0000 (13:29 +0000)] 
[project @ 2004-08-13 13:29:11 by simonmar]
Changes required be merge of backend-hacking-branch.  Mostly config.h
==> ghcconfig.h.

15 years ago[project @ 2004-07-19 11:29:39 by simonpj]
simonpj [Mon, 19 Jul 2004 11:29:39 +0000 (11:29 +0000)] 
[project @ 2004-07-19 11:29:39 by simonpj]
Template Haskell improvements

a) Make '() and '[] work.
b) Add tupleTypeName, tupleDataName
b) Try to improve error message for (lack of) existential data constructors in TH

15 years ago[project @ 2004-06-02 08:23:46 by simonpj]
simonpj [Wed, 2 Jun 2004 08:23:46 +0000 (08:23 +0000)] 
[project @ 2004-06-02 08:23:46 by simonpj]
-------------------------------
Fix a grevious bug in DsMeta
which caused a seg fault
-------------------------------

The bug was an incorrectly declared type for one of the Template
Haskell construction functions in DsMeta (repRecCon, repRecUpd)
and some associated jiggery pokery.

-dcore-lint showed it up nicely, because the desugarer generated
ill-typed code.

DsMeta PrelNames TH.Lib

15 years ago[project @ 2004-06-01 23:22:32 by igloo]
igloo [Tue, 1 Jun 2004 23:22:32 +0000 (23:22 +0000)] 
[project @ 2004-06-01 23:22:32 by igloo]
Add missing functions to TH export list (mostly spotted by Duncan Coutts).

Update TH test output.

Add TH support for patterns with type signatures, and test for same
(requested by Isaac Jones).

Add TH support for pattern guards, and tests for same
(requested by Isaac Jones).

Add infix patterns to TH datatypes.

Added Lift instances for 2- to 7-tuples (requested by Duncan Coutts).

15 years ago[project @ 2004-05-25 09:12:29 by simonpj]
simonpj [Tue, 25 May 2004 09:12:29 +0000 (09:12 +0000)] 
[project @ 2004-05-25 09:12:29 by simonpj]
Fix comment

15 years ago[project @ 2004-05-19 07:46:20 by simonpj]
simonpj [Wed, 19 May 2004 07:46:20 +0000 (07:46 +0000)] 
[project @ 2004-05-19 07:46:20 by simonpj]
Print constructor arg types in parens

15 years ago[project @ 2004-04-06 12:03:05 by simonpj]
simonpj [Tue, 6 Apr 2004 12:03:05 +0000 (12:03 +0000)] 
[project @ 2004-04-06 12:03:05 by simonpj]
* Add 'dyn' as an export of TH

* Give TH a full export list. This means it no longer exports random helper
  functions from inside TH.Lib etc, so yell if I've omitted anything that's
  really useful.

15 years ago[project @ 2004-04-02 02:39:29 by igloo]
igloo [Fri, 2 Apr 2004 02:39:29 +0000 (02:39 +0000)] 
[project @ 2004-04-02 02:39:29 by igloo]
Add support for foreign imports inside quasi-quotes.
Gave TH a few more uniques to play with and fixed a typo.

15 years ago[project @ 2004-03-04 17:48:27 by igloo]
igloo [Thu, 4 Mar 2004 17:48:27 +0000 (17:48 +0000)] 
[project @ 2004-03-04 17:48:27 by igloo]
Add missing punctuate definition from Duncan Coutts.

15 years ago[project @ 2004-02-05 16:46:32 by igloo]
igloo [Thu, 5 Feb 2004 16:46:32 +0000 (16:46 +0000)] 
[project @ 2004-02-05 16:46:32 by igloo]
Typo (Frue instead of False for falseName) found during discussion with
Duncan.

15 years ago[project @ 2004-01-15 14:43:24 by igloo]
igloo [Thu, 15 Jan 2004 14:43:24 +0000 (14:43 +0000)] 
[project @ 2004-01-15 14:43:24 by igloo]
Split Template Haskell out to its own package and update docs and tests.