ghc.git
11 years agoFix bug in generation of environments for vectorisation
Roman Leshchinskiy [Sun, 18 Nov 2007 04:52:03 +0000 (04:52 +0000)] 
Fix bug in generation of environments for vectorisation

11 years agoAdd builtin var->var mapping to vectorisation
Roman Leshchinskiy [Sun, 18 Nov 2007 04:26:05 +0000 (04:26 +0000)] 
Add builtin var->var mapping to vectorisation

11 years agoExtend vectorisation built-in mappings with datacons
Roman Leshchinskiy [Sun, 18 Nov 2007 03:43:51 +0000 (03:43 +0000)] 
Extend vectorisation built-in mappings with datacons

11 years agoChange representation of parallel arrays of enumerations
Roman Leshchinskiy [Sun, 18 Nov 2007 03:33:55 +0000 (03:33 +0000)] 
Change representation of parallel arrays of enumerations

11 years agoAdd vectorisation-related builtin
Roman Leshchinskiy [Sun, 18 Nov 2007 03:15:13 +0000 (03:15 +0000)] 
Add vectorisation-related builtin

11 years agoTeach vectorisation about Bool
Roman Leshchinskiy [Sat, 17 Nov 2007 04:27:14 +0000 (04:27 +0000)] 
Teach vectorisation about Bool

11 years agoIncomplete support for boxing during vectorisation
Roman Leshchinskiy [Sat, 17 Nov 2007 04:07:39 +0000 (04:07 +0000)] 
Incomplete support for boxing during vectorisation

11 years agoMake sure some TyCons always vectorise to themselves
Roman Leshchinskiy [Sat, 17 Nov 2007 04:05:37 +0000 (04:05 +0000)] 
Make sure some TyCons always vectorise to themselves

11 years agoSimple conversion vectorised -> unvectorised
Roman Leshchinskiy [Sat, 17 Nov 2007 02:30:29 +0000 (02:30 +0000)] 
Simple conversion vectorised -> unvectorised

11 years agoFix bug in case vectorisation
Roman Leshchinskiy [Sat, 17 Nov 2007 01:50:14 +0000 (01:50 +0000)] 
Fix bug in case vectorisation

11 years agoVectorisation of algebraic case expressions
Roman Leshchinskiy [Fri, 16 Nov 2007 07:48:14 +0000 (07:48 +0000)] 
Vectorisation of algebraic case expressions

11 years agoMore vectorisation-related built-ins
Roman Leshchinskiy [Fri, 16 Nov 2007 06:18:31 +0000 (06:18 +0000)] 
More vectorisation-related built-ins

11 years agoVectorisation utilities
Roman Leshchinskiy [Fri, 16 Nov 2007 05:10:37 +0000 (05:10 +0000)] 
Vectorisation utilities

11 years agoAdd vectorisation built-ins
Roman Leshchinskiy [Fri, 16 Nov 2007 05:09:59 +0000 (05:09 +0000)] 
Add vectorisation built-ins

11 years agoFix vectorisation of binders in case expressions
Roman Leshchinskiy [Fri, 16 Nov 2007 02:18:33 +0000 (02:18 +0000)] 
Fix vectorisation of binders in case expressions

11 years agoTwo small typos in the flags summary (merge to 6.8 branch)
simonpj@microsoft.com [Mon, 19 Nov 2007 13:46:39 +0000 (13:46 +0000)] 
Two small typos in the flags summary (merge to 6.8 branch)

11 years agoImprove the situation for Trac #959: civilised warning instead of a trace msg
simonpj@microsoft.com [Mon, 19 Nov 2007 12:29:38 +0000 (12:29 +0000)] 
Improve the situation for Trac #959: civilised warning instead of a trace msg

This doesn't fix the root cause of the bug, but it makes the report
more civilised, and points to further info.

11 years agoFIX Trac #1806: test for correct arity for datacon in infix pattern patch
simonpj@microsoft.com [Mon, 19 Nov 2007 11:43:01 +0000 (11:43 +0000)] 
FIX Trac #1806: test for correct arity for datacon in infix pattern patch

Happily the fix is easy; pls merge

11 years agoAccept x86_64-*-freebsd* as well as amd64-*-freebsd* in configure.ac
Ian Lynagh [Sat, 17 Nov 2007 15:45:02 +0000 (15:45 +0000)] 
Accept x86_64-*-freebsd* as well as amd64-*-freebsd* in configure.ac
Patch from Brian P. O'Hanlon

11 years agoAttempt at fixing #1873, #1360
Simon Marlow [Fri, 16 Nov 2007 15:21:48 +0000 (15:21 +0000)] 
Attempt at fixing #1873, #1360

I think I figured out a reasonable way to manage the GHCi context,
comments welcome.

Rule 1: external package modules in the context are persistent.  That
is, when you say 'import Data.Maybe' it survives over :load, :add,
:reload and :cd.

Rule 2: :load and :add remove all home-package modules from the
context and add the rightmost target, as a *-module if possible.  This
is as before, and makes sense for :load because we're starting a new
program; the old home-package modules don't make sense any more.  For
:add, it usually does what you want, because the new target will
become the context.

Rule 3: any modules from the context that fail to load during a
:reload are remembered, and re-added to the context at the next
successful :reload.

Claus' suggestion about adding the "remembered" modules to the prompt
prefixed with a ! is implemented but commented out.  I couldn't
decide whether it was useful or confusing.

One difference that people might notice is that after a :reload where
there were errors, GHCi would previously dump you in the most recent
module that it loaded.  Now it dumps you in whatever subset of the
current context still makes sense, and in the common case that will
probably be {Prelude}.

11 years agoWibble to fix Trac #1901 (shorten messsage slightly)
simonpj@microsoft.com [Fri, 16 Nov 2007 15:03:41 +0000 (15:03 +0000)] 
Wibble to fix Trac #1901 (shorten messsage slightly)

11 years agoImprove links from flag reference to the relevant section; and improve doc of RankN...
simonpj@microsoft.com [Fri, 16 Nov 2007 14:58:16 +0000 (14:58 +0000)] 
Improve links from flag reference to the relevant section; and improve doc of RankN flags

11 years agoFIX Trac #1901: check no existential context in H98 mode
simonpj@microsoft.com [Fri, 16 Nov 2007 14:56:09 +0000 (14:56 +0000)] 
FIX Trac #1901: check no existential context in H98 mode

11 years agoImprove documentation of data type declarations (Trac #1901)
simonpj@microsoft.com [Fri, 16 Nov 2007 08:18:41 +0000 (08:18 +0000)] 
Improve documentation of data type declarations (Trac #1901)

11 years agoChange the command-line semantics for query commands
Simon Marlow [Fri, 16 Nov 2007 13:20:46 +0000 (13:20 +0000)] 
Change the command-line semantics for query commands

From the help text:

  Commands that query the package database (list, latest, describe,
  field) operate on the list of databases specified by the flags
  --user, --global, and --package-conf.  If none of these flags are
  given, the default is --global --user.

This makes it possible to query just a single database (e.g. the
global one without the user one), which needed tricks to accomplish
before.

11 years agouse "ghc-pkg latest --global" instead of "ghc-pkg list --simple-output"
Simon Marlow [Fri, 16 Nov 2007 12:20:18 +0000 (12:20 +0000)] 
use "ghc-pkg latest --global" instead of "ghc-pkg list --simple-output"
The former now does the right thing: it uses the global database only,
and picks the most recent package with the given name.

11 years agoDisallow installing packages whose names differ in case only.
Simon Marlow [Fri, 16 Nov 2007 12:11:53 +0000 (12:11 +0000)] 
Disallow installing packages whose names  differ in case only.
--force overrides.  Requested by Duncan Coutts, with a view to
treating package names as case-insensitive in the future.

11 years agoFIX BUILD (with GHC 6.2.x): update .hi-boot file
Simon Marlow [Fri, 16 Nov 2007 10:12:27 +0000 (10:12 +0000)] 
FIX BUILD (with GHC 6.2.x): update .hi-boot file

11 years agoFIX #1828: installing to a patch with spaces in
Simon Marlow [Thu, 15 Nov 2007 15:57:47 +0000 (15:57 +0000)] 
FIX #1828: installing to a patch with spaces in
We have to pass the path to gcc when calling windres, which itself
might have spaces in.  Furthermore, we have to pass the path to gcc's
tools to gcc.  This means getting the quoting right, and after much
experimentation and reading of the windres sources I found something
that works: passing --use-temp-files to windres makes it use its own
implementation of quoting instead of popen(), and this does what we
want.  Sigh.

11 years agoon Windows, install to a directory with spaces (test for #1828)
Simon Marlow [Thu, 15 Nov 2007 15:53:27 +0000 (15:53 +0000)] 
on Windows, install to a directory with spaces (test for #1828)

11 years agoFIX #1679: crash on returning from a foreign call
Simon Marlow [Thu, 15 Nov 2007 13:16:35 +0000 (13:16 +0000)] 
FIX #1679: crash on returning from a foreign call
We forgot to save a pointer to the BCO over the foreign call.  Doing
enough allocation and GC during the call could provoke a crash.

11 years agoAvoid the use of unversioned package dependencies
Simon Marlow [Thu, 15 Nov 2007 10:32:49 +0000 (10:32 +0000)] 
Avoid the use of unversioned package dependencies
Fortunately "ghc-pkg list $pkg --simple-output" is a good way to add
the version number.

11 years agoFIX #1596 (remove deprecated --define-name)
Simon Marlow [Wed, 14 Nov 2007 16:53:23 +0000 (16:53 +0000)] 
FIX #1596 (remove deprecated --define-name)
Also remove the old command-line syntax for ghc-pkg, which was not
documented.  Do not merge.

11 years agoFIX #1837: remove deprecated support for unversioned dependencies (do not merge)
Simon Marlow [Wed, 14 Nov 2007 16:10:44 +0000 (16:10 +0000)] 
FIX #1837: remove deprecated support for unversioned dependencies (do not merge)

11 years agowibble
Pepe Iborra [Wed, 14 Nov 2007 23:33:56 +0000 (23:33 +0000)] 
wibble

11 years agoMake pprNameLoc more robust in absence of loc information
Pepe Iborra [Wed, 14 Nov 2007 23:33:43 +0000 (23:33 +0000)] 
Make pprNameLoc more robust in absence of loc information

11 years agoTry to manage the size of the text rendered for ':show bindings'
Pepe Iborra [Wed, 14 Nov 2007 23:16:01 +0000 (23:16 +0000)] 
Try to manage the size of the text rendered for ':show bindings'

11 years agoMake the Term ppr depth aware
Pepe Iborra [Wed, 14 Nov 2007 18:34:17 +0000 (18:34 +0000)] 
Make the Term ppr depth aware

11 years agoUse paragraph fill sep where possible
Pepe Iborra [Wed, 14 Nov 2007 18:12:33 +0000 (18:12 +0000)] 
Use paragraph fill sep where possible

11 years agoMake SpecConstr work again
simonpj@microsoft.com [Thu, 15 Nov 2007 08:42:42 +0000 (08:42 +0000)] 
Make SpecConstr work again

In a typo I'd written env instead of env', and as a result RULES are
practically guaranteed not to work in a recursive group.  This pretty
much kills SpecConstr in its tracks!

Well done Kenny Lu for spotting this.  The fix is easy.

Merge into 6.8 please.

11 years agoDocumentation only - fix typo in flags reference
Tim Chevalier [Thu, 15 Nov 2007 05:57:48 +0000 (05:57 +0000)] 
Documentation only - fix typo in flags reference

11 years agoAvoid making Either String an instance of Monad in the Haddock parser
David Waern [Wed, 14 Nov 2007 20:40:50 +0000 (20:40 +0000)] 
Avoid making Either String an instance of Monad in the Haddock parser

11 years agoFIX 1463 (implement 'ghc-pkg find-module')
claus.reinke@talk21.com [Fri, 9 Nov 2007 16:26:52 +0000 (16:26 +0000)] 
FIX 1463 (implement 'ghc-pkg find-module')

- the ticket asks for a module2package lookup in ghc-pkg
  (this would be useful to have in cabal, as well)

- we can now ask which packages expose a module we need,
  eg, when preparing a cabal file or when getting errors
  after package reorganisations:

  $ ./ghc-pkg-inplace find-module Var
  c:/fptools/ghc/driver/package.conf.inplace:
      (ghc-6.9.20071106)

  $ ./ghc-pkg-inplace find-module Data.Sequence
  c:/fptools/ghc/driver/package.conf.inplace:
      containers-0.1

- implemented as a minor variation on listPackages

(as usual, it would be useful if one could combine
multiple queries into one)

11 years agoremove --define-name from the --help usage message (#1596)
Simon Marlow [Wed, 14 Nov 2007 15:34:17 +0000 (15:34 +0000)] 
remove --define-name from the --help usage message (#1596)

11 years agoFIX #1837: emit deprecated message for unversioned dependencies
Simon Marlow [Wed, 14 Nov 2007 15:30:10 +0000 (15:30 +0000)] 
FIX #1837: emit deprecated message for unversioned dependencies

11 years agoFix #782, #1483, #1649: Unicode GHCi input
Simon Marlow [Wed, 14 Nov 2007 15:14:11 +0000 (15:14 +0000)] 
Fix #782, #1483, #1649: Unicode GHCi input
GHCi input is now treated universally as UTF-8, except for the Windows
console where we do the correct conversion from the current code
page (see System.Win32.stringToUnicode).

That leaves non-UTF-8 locales on Unix as unsupported, but (a) we only
accept source files in UTF-8 anyway, and (b) UTF-8 is quite ubiquitous
as the default locale.

11 years agoFix build
David Waern [Wed, 14 Nov 2007 12:58:42 +0000 (12:58 +0000)] 
Fix build
I had forgot to update HaddockLex.hi-boot-6, so the build with 6.2.2
failed. This fixes that.

11 years agoFIX Trac 1662: actually check for existentials in proc patterns
simonpj@microsoft.com [Wed, 14 Nov 2007 11:29:30 +0000 (11:29 +0000)] 
FIX Trac 1662: actually check for existentials in proc patterns

I'd fixed the bug for code that should be OK, but had forgotten to
make the test for code that should be rejected!

Test is arrowfail004

11 years agoFIX Trac 1888; duplicate INLINE pragmas
simonpj@microsoft.com [Wed, 14 Nov 2007 10:47:01 +0000 (10:47 +0000)] 
FIX Trac 1888; duplicate INLINE pragmas

There are actually three things here
- INLINE pragmas weren't being pretty-printed properly
- They were being classified into too-narrow boxes by eqHsSig
- They were being printed in to much detail by hsSigDoc

All easy.  Test is rnfail048.

11 years agoRun the -frule-check pass more often (when asked)
simonpj@microsoft.com [Wed, 14 Nov 2007 10:46:32 +0000 (10:46 +0000)] 
Run the -frule-check pass more often (when asked)

11 years agoGHCi debugger: added a new flag, -fno-print-binding-contents
Pepe Iborra [Tue, 13 Nov 2007 17:45:39 +0000 (17:45 +0000)] 
GHCi debugger: added a new flag, -fno-print-binding-contents

The contents of bindings show at breakpoints and by :show bindings
is rendered using the same printer that :print uses.
But sometimes the output it gives spans over too many lines and the
user may want to be able to disable it.

11 years agoFix Trac 1865: GHCi debugger crashes with :print
Pepe Iborra [Tue, 13 Nov 2007 17:01:13 +0000 (17:01 +0000)] 
Fix Trac 1865: GHCi debugger crashes with :print

12 years agoReplaced two uses of head b explicit pattern matching
Pepe Iborra [Sat, 13 Oct 2007 11:31:36 +0000 (11:31 +0000)] 
Replaced two uses of head b explicit pattern matching

12 years agoPrint binding contents in :show bindings
Pepe Iborra [Sat, 6 Oct 2007 12:39:52 +0000 (12:39 +0000)] 
Print binding contents in :show bindings

12 years ago Leftovers from the 1st GHCi debugger prototype
Pepe Iborra [Thu, 4 Oct 2007 20:47:18 +0000 (20:47 +0000)] 
 Leftovers from the 1st GHCi debugger prototype

12 years agoFollowing an indirection doesn't count as a RTTI step
Pepe Iborra [Fri, 28 Sep 2007 09:19:41 +0000 (09:19 +0000)] 
Following an indirection doesn't count as a RTTI step

11 years agoFIX #1653 (partially): add -X flags to completion for :set
Simon Marlow [Tue, 13 Nov 2007 15:32:57 +0000 (15:32 +0000)] 
FIX #1653 (partially): add -X flags to completion for :set

11 years agoMerge from Haddock: Add <<url>> for images
David Waern [Mon, 12 Nov 2007 22:05:37 +0000 (22:05 +0000)] 
Merge from Haddock: Add <<url>> for images
A merge of this patch:

  Mon Aug  7 16:22:14 CEST 2006  Simon Marlow <simonmar@microsoft.com>
    * Add <<url>> for images
    Submitted by: Lennart Augustsson

Please merge to the 6.8.2 branch.

11 years agoImprove documentation of INLINE, esp its interactions with other transformations
simonpj@microsoft.com [Mon, 12 Nov 2007 16:02:40 +0000 (16:02 +0000)] 
Improve documentation of INLINE, esp its interactions with other transformations

11 years agoComment re Trac #1220
simonpj@microsoft.com [Mon, 12 Nov 2007 15:41:09 +0000 (15:41 +0000)] 
Comment re Trac #1220

11 years agoMerge from Haddock: Modify lexing of /../
David Waern [Mon, 12 Nov 2007 02:38:56 +0000 (02:38 +0000)] 
Merge from Haddock: Modify lexing of /../

  Tue Aug 28 11:19:54 CEST 2007  Simon Marlow <simonmar@microsoft.com>
    * Modify lexing of /../
    This makes /../ more like '..', so that a single / on a line doesn't
    trigger a parse error.  This should reduce the causes of accidental
    parse errors in Haddock comments; apparently stray / characters are
    a common source of failures.

Please merge this to the 6.8.2 branch.

11 years agoMerge from Haddock: allow blank lines inside code blocks
David Waern [Mon, 12 Nov 2007 01:34:39 +0000 (01:34 +0000)] 
Merge from Haddock: allow blank lines inside code blocks

  Tue Jan  9 14:14:34 CET 2007  Simon Marlow <simonmar@microsoft.com>
    * allow blank lines inside a @...@ code block

Please merge this to the 6.8.2 branch

11 years agoMerge of a patch from the old Haddock branch:
David Waern [Mon, 12 Nov 2007 01:31:43 +0000 (01:31 +0000)] 
Merge of a patch from the old Haddock branch:

  Fri Jan  5 12:13:41 CET 2007  Simon Marlow <simonmar@microsoft.com>
    * Fix up a case of extra vertical space after a code block

Please merge this to the 6.8.2 branch

11 years agoRemove ex-extralibs from libraries/Makefile
Ian Lynagh [Sun, 11 Nov 2007 21:36:18 +0000 (21:36 +0000)] 
Remove ex-extralibs from libraries/Makefile

11 years agoRemove the X11 and HGL libraries from extralibs
Ian Lynagh [Sun, 11 Nov 2007 21:34:47 +0000 (21:34 +0000)] 
Remove the X11 and HGL libraries from extralibs
Don Stewart, X11 maintainer, requested we remove X11, and HGL depends on it
on Linux (and we don't try to build HGL on Windows).

11 years agoarrows is no longer an extralib
Ian Lynagh [Sat, 27 Oct 2007 12:36:56 +0000 (12:36 +0000)] 
arrows is no longer an extralib

11 years agoTurn -fprint-bind-result off by default
Ian Lynagh [Sun, 11 Nov 2007 00:11:26 +0000 (00:11 +0000)] 
Turn -fprint-bind-result off by default

11 years agoDefine CPP in distrib/Makefile-bin-vars.in; fixes #1855 2007-11-11
Ian Lynagh [Sat, 10 Nov 2007 18:03:02 +0000 (18:03 +0000)] 
Define CPP in distrib/Makefile-bin-vars.in; fixes #1855
Patch from Christian Maeder

11 years agoTweak gen_contents_index to work with Solaris's sh
Ian Lynagh [Sat, 10 Nov 2007 18:00:14 +0000 (18:00 +0000)] 
Tweak gen_contents_index to work with Solaris's sh

11 years agoUpdate install-sh
Ian Lynagh [Sat, 10 Nov 2007 17:39:50 +0000 (17:39 +0000)] 
Update install-sh
This comes from the Debian automake 1:1.10+nogfdl-1 package.

11 years agoSupport more doc targets (html, pdf, etc) in the libraries Makefile
Ian Lynagh [Sat, 10 Nov 2007 17:13:28 +0000 (17:13 +0000)] 
Support more doc targets (html, pdf, etc) in the libraries Makefile

11 years agoBuild Cabal user guide during "make", not only "make install-docs"
Ian Lynagh [Sat, 10 Nov 2007 17:12:47 +0000 (17:12 +0000)] 
Build Cabal user guide during "make", not only "make install-docs"

11 years agoUse INSTALL_SCRIPT, not INSTALL_PROGRAM, when installing scripts; fixes #1858
Ian Lynagh [Sat, 10 Nov 2007 15:23:09 +0000 (15:23 +0000)] 
Use INSTALL_SCRIPT, not INSTALL_PROGRAM, when installing scripts; fixes #1858

11 years agoRename Parser.ly in the extralibs tarball; fixes #1859
Ian Lynagh [Sat, 10 Nov 2007 15:15:29 +0000 (15:15 +0000)] 
Rename Parser.ly in the extralibs tarball; fixes #1859
If Cabal doesn't see the .ly file then it won't try to run happy, and
thus won't fail if happy isn't installed.

11 years agoAdd a path to the DocBook XSL Stylesheets search path
Ian Lynagh [Sat, 10 Nov 2007 15:06:49 +0000 (15:06 +0000)] 
Add a path to the DocBook XSL Stylesheets search path
Slackware puts the stylesheets in /usr/share/xml/docbook/xsl-stylesheets*
Patch from Andrea Rossato.

11 years agoReplace "tail -n +2" with "sed 1d", as Solaris doesn't understand the former
Ian Lynagh [Wed, 31 Oct 2007 00:12:18 +0000 (00:12 +0000)] 
Replace "tail -n +2" with "sed 1d", as Solaris doesn't understand the former

11 years agoFix typo: -XNoRank2Types -> -XRank2Types
Ian Lynagh [Fri, 9 Nov 2007 13:56:56 +0000 (13:56 +0000)] 
Fix typo: -XNoRank2Types -> -XRank2Types

11 years agoFix Trac #1654: propagate name changes into CoreRules
simonpj@microsoft.com [Thu, 8 Nov 2007 17:51:08 +0000 (17:51 +0000)] 
Fix Trac #1654: propagate name changes into CoreRules

This patch is on the HEAD.  It fixes a nasty and long-standing bug
whereby we weren't substituting the ru_fn field of a CoreRule in
CoreSubst.substSpec, which ultimately led to a puzzling "nameModule"
error trying to put the rules in the interface file.

11 years agoeliminate a bit of duplication
Simon Marlow [Mon, 5 Nov 2007 14:37:14 +0000 (14:37 +0000)] 
eliminate a bit of duplication

11 years agoPad static literals to word size in the code generator
Simon Marlow [Thu, 8 Nov 2007 13:28:42 +0000 (13:28 +0000)] 
Pad static literals to word size in the code generator

11 years agoFIX #1617: reloading didn't change the :browse output as it should
Simon Marlow [Wed, 7 Nov 2007 16:14:54 +0000 (16:14 +0000)] 
FIX #1617: reloading didn't change the :browse output as it should
The problem was that because the interface hadn't changed, we were
re-using the old ModIface.  Unfortunately the ModIface contains the
GlobalRdrEnv for the module, and that *had* changed.  The fix is to
put the new GlobalRdrEnv in the ModIface even if the interface has not
otherwise changed.

ModIface is not really the right place for the GlobalRdrEnv, but
neither is ModDetails, so we should think about a better way to do
this.

11 years agoFIX BUILD
Simon Marlow [Wed, 7 Nov 2007 16:16:12 +0000 (16:16 +0000)] 
FIX BUILD
Sorry, should have pushed with previous batch of changes.

11 years agoFIX #1556: GHC's :reload keeps the context, if possible
Simon Marlow [Wed, 7 Nov 2007 12:41:18 +0000 (12:41 +0000)] 
FIX #1556: GHC's :reload keeps the context, if possible

11 years agoFIX #1561: don't use tabs in pretty-printed output at all.
Simon Marlow [Wed, 7 Nov 2007 11:32:01 +0000 (11:32 +0000)] 
FIX #1561: don't use tabs in pretty-printed output at all.
Tabs aren't guaranteed to be 8 spaces on every output device, so we
shouldn't be using them.  Instead I added a little optimisation to
use chunks of 8 spaces for long indentations.

11 years agoFIX #1765, #1766
Simon Marlow [Wed, 7 Nov 2007 11:17:57 +0000 (11:17 +0000)] 
FIX #1765, #1766
- :def! now overwrites a previous command with the same name
- :def on its own lists the defined macros
- ":undef f g" undefines both f and g

11 years ago#1617: Add :browse! and various other additions to GHCi
Simon Marlow [Wed, 7 Nov 2007 10:26:48 +0000 (10:26 +0000)] 
#1617: Add :browse! and various other additions to GHCi

  - :browse!
    a variant of :browse that lists children separately,
    not in context, and gives import qualifiers in comments

SimonM: I also added sorting by source location for interpreted
modules in :browse, and alphabetic sorting by name otherwise.  For
:browse *M, the locally-defined names come before the external ones.

  - :{ ..lines.. :} (multiline commands)
    allow existing commands to be spread over multiple lines
    to improve readability, both interactively and in .ghci
    (includes a refactoring that unifies the previous three
    command loops into one, runCommands, fed from cmdqueue,
    file, or readline)

  - :set
      now shows GHCi-specific flag settings (printing/
      debugger), as well as non-language dynamic flag
      settings
    :show languages
      show active language flags
    :show packages
      show active package flags as well as implicitly
      loaded packages

11 years agoFIX #1838: use System.Directory.getHomeDirectory instead of getEnv "HOME"
Simon Marlow [Wed, 7 Nov 2007 10:06:53 +0000 (10:06 +0000)] 
FIX #1838: use System.Directory.getHomeDirectory instead of getEnv "HOME"

11 years agocatch up with removal of config.mk in the readline package
Simon Marlow [Wed, 7 Nov 2007 09:59:52 +0000 (09:59 +0000)] 
catch up with removal of config.mk in the readline package

11 years agoFix Trac #1813: generalise over *all* type variables at top level, even phantom ones
simonpj@microsoft.com [Tue, 6 Nov 2007 15:31:51 +0000 (15:31 +0000)] 
Fix Trac #1813: generalise over *all* type variables at top level, even phantom ones

See Note [Silly type synonym] in TcType for further details.  This bug
(or at least infelicity) has been in GHC for quite a long time.

11 years agoFix Trac #1814 (staging interaction in Template Haskell and GHCi), and add comments
simonpj@microsoft.com [Tue, 6 Nov 2007 13:55:48 +0000 (13:55 +0000)] 
Fix Trac #1814 (staging interaction in Template Haskell and GHCi), and add comments

An Id bound by GHCi from a previous Stmt is Global but Internal, and
I'd forgotten that, leading to unnecessary restrictions when using TH
and GHCi together.

This patch fixes the problem and adds lots of explanatory comments (which
is where most of the extra lines come from).

11 years agoImprove error messages
simonpj@microsoft.com [Tue, 6 Nov 2007 10:52:58 +0000 (10:52 +0000)] 
Improve error messages

11 years agoImprove manual entry for binding lexically scoped type variables in pattern signatures
simonpj@microsoft.com [Tue, 6 Nov 2007 10:51:51 +0000 (10:51 +0000)] 
Improve manual entry for binding lexically scoped type variables in pattern signatures

11 years agoRemove trailing spaces from programlisting lines
simonpj@microsoft.com [Tue, 6 Nov 2007 10:49:21 +0000 (10:49 +0000)] 
Remove trailing spaces from programlisting lines

11 years agoRemove unhelpful sentence (see Trac #1832)
simonpj@microsoft.com [Tue, 6 Nov 2007 10:43:15 +0000 (10:43 +0000)] 
Remove unhelpful sentence (see Trac #1832)

Merge to 6.8 branch

11 years agofix stage 1 compilation
Simon Marlow [Tue, 6 Nov 2007 14:20:57 +0000 (14:20 +0000)] 
fix stage 1 compilation

11 years agowarning police
Simon Marlow [Tue, 6 Nov 2007 14:05:38 +0000 (14:05 +0000)] 
warning police

11 years agoGHC API: add checkAndLoadModule
Simon Marlow [Tue, 6 Nov 2007 14:01:21 +0000 (14:01 +0000)] 
GHC API: add checkAndLoadModule
Does what the name suggests: it performs the function of both
checkModule and load on that module, avoiding the need to process each
module twice when checking a batch of modules.  This will make Haddock
and ghctags much faster.

Along with this is the beginnings of a refactoring of the HscMain
interface.  HscMain now exports functions for separately running the
parser, typechecher, and generating ModIface and ModDetails.
Eventually the plan is to complete this interface and use it to
replace the existing one.

11 years agoupdate to use latest changes to the GHC API (works much quicker now)
Simon Marlow [Tue, 6 Nov 2007 13:54:30 +0000 (13:54 +0000)] 
update to use latest changes to the GHC API (works much quicker now)

11 years agowarning police
Simon Marlow [Tue, 6 Nov 2007 10:40:19 +0000 (10:40 +0000)] 
warning police

11 years agoVarious improvements
Simon Marlow [Mon, 5 Nov 2007 16:40:54 +0000 (16:40 +0000)] 
Various improvements
 - take the GHC topdir as a runtime argument
 - deal with files one at a time (fix space leak)