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