ghc-hetmet.git
16 years agoFix putting hsicon.ico into the Windows installer; fixes #1515
Ian Lynagh [Sat, 14 Jul 2007 16:13:12 +0000 (16:13 +0000)]
Fix putting hsicon.ico into the Windows installer; fixes #1515
It was done in a bit of the Makefile that was if'ed out for Windows.

16 years agoUpdate the ghci "loading" section of the user guide
Ian Lynagh [Sat, 14 Jul 2007 00:13:46 +0000 (00:13 +0000)]
Update the ghci "loading" section of the user guide

16 years agoDon't show the ghci :? output in the user guide
Ian Lynagh [Fri, 13 Jul 2007 22:30:17 +0000 (22:30 +0000)]
Don't show the ghci :? output in the user guide
The ghci command list is now much larger than it used to be, and it
tends to go out of sync with the docs anyway.

16 years agoUser guide tweaks
Ian Lynagh [Fri, 13 Jul 2007 22:26:56 +0000 (22:26 +0000)]
User guide tweaks

16 years agoUser guide tweaks
Ian Lynagh [Fri, 13 Jul 2007 22:12:58 +0000 (22:12 +0000)]
User guide tweaks

16 years agoTweak Windows installation instructions in the user guide
Ian Lynagh [Fri, 13 Jul 2007 22:06:28 +0000 (22:06 +0000)]
Tweak Windows installation instructions in the user guide

16 years agoUpdate the contents of the library directy in the user guide
Ian Lynagh [Fri, 13 Jul 2007 21:40:04 +0000 (21:40 +0000)]
Update the contents of the library directy in the user guide

16 years agoUser guide tweaks
Ian Lynagh [Fri, 13 Jul 2007 21:00:49 +0000 (21:00 +0000)]
User guide tweaks

16 years agoDon't talk about nfib from the user guide now that we no longer ship it
Ian Lynagh [Fri, 13 Jul 2007 20:04:42 +0000 (20:04 +0000)]
Don't talk about nfib from the user guide now that we no longer ship it

16 years agoRemove "What bundles there are" now we only have the standard one
Ian Lynagh [Fri, 13 Jul 2007 19:53:41 +0000 (19:53 +0000)]
Remove "What bundles there are" now we only have the standard one

16 years agoUpdate bundle installation instructions
Ian Lynagh [Fri, 13 Jul 2007 19:44:24 +0000 (19:44 +0000)]
Update bundle installation instructions

16 years agoIn the users guide, talk about configure flags
Ian Lynagh [Thu, 12 Jul 2007 02:17:59 +0000 (02:17 +0000)]
In the users guide, talk about configure flags
(rather than talking about tweaking the Makefile(-vars) by hand)

16 years agoRemove "install in-place" blurb from the docs as it no longer works
Ian Lynagh [Thu, 12 Jul 2007 01:54:40 +0000 (01:54 +0000)]
Remove "install in-place" blurb from the docs as it no longer works

16 years agodoc tweak
Ian Lynagh [Thu, 12 Jul 2007 01:53:40 +0000 (01:53 +0000)]
doc tweak

16 years agoRemove outdated bundle-contents description
Ian Lynagh [Thu, 12 Jul 2007 01:52:16 +0000 (01:52 +0000)]
Remove outdated bundle-contents description

16 years agoMerge *UnboxedTuples flags
Ian Lynagh [Thu, 12 Jul 2007 01:12:54 +0000 (01:12 +0000)]
Merge *UnboxedTuples flags
Merge
    ExpressionSignaturesUnboxedTuples
    TypeSynonymUnboxedTuples
into
    UnboxedTuples

16 years agoAutomatic RTTI for ghci bindings
Pepe Iborra [Sat, 14 Jul 2007 11:49:46 +0000 (11:49 +0000)]
Automatic RTTI for ghci bindings

With this patch, ghci runs rtti (bounded in the term treewith a max. depth of 10)
automatically after evaluating any expression in the interactive env.
In addition, a rtti step is performed on the local bindings in a breakpoint,
before returning control to the user

Let's see how well this works in practice

16 years agoTeach :print to not panic when the DataCon for a closure is not exposed by the .hi...
Pepe Iborra [Thu, 12 Jul 2007 17:43:23 +0000 (17:43 +0000)]
Teach :print to not panic when the DataCon for a closure is not exposed by the .hi file

Previously the behaviour was to panic.
Now it will print an approximated representation,
using the names (enclosed in keys, i.e. "<...>")
and the pointed subterms. Non pointed subterms cannot
be included in this representation:

Prelude> let se = Data.Sequence.fromList (map Just "abc")
Prelude> :eval se
()
Prelude> :p se
se = <Data.Sequence.Deep> (<Data.Sequence.One> (_t1::t)) () (<Data.Sequence.Two> (_t2::t) (_t3::t))
Prelude> :eval _t2
()
Prelude> :p se
se = <Data.Sequence.Deep> (<Data.Sequence.One> (_t4::t1)) () (<Data.Sequence.Two> (Just 'b') (_t5::t1))
Prelude>

This patch also includes some fixes in the pretty printer
for the Term datatype

16 years agoFix an array indexing bug in getClosureData (used by :print)
Pepe Iborra [Thu, 12 Jul 2007 16:30:12 +0000 (16:30 +0000)]
Fix an array indexing bug in getClosureData (used by :print)

16 years agoremove some leftovers of the first ghci debugger prototype
Pepe Iborra [Wed, 11 Jul 2007 23:45:14 +0000 (23:45 +0000)]
remove some leftovers of the first ghci debugger prototype

16 years agoFix imports & add missing type signatures
Pepe Iborra [Wed, 11 Jul 2007 10:17:49 +0000 (10:17 +0000)]
Fix imports & add missing type signatures

16 years agoAsk for a HscEnv instead of a Session in InteractiveEval.obtainTerm
Pepe Iborra [Wed, 11 Jul 2007 09:54:21 +0000 (09:54 +0000)]
Ask for a HscEnv instead of a Session in InteractiveEval.obtainTerm

This does a better job of showing that obtainTerm does not alter the Session

16 years agoAdd a max depth bound to the bfs implementation in cvReconstructType,
Pepe Iborra [Wed, 11 Jul 2007 09:20:06 +0000 (09:20 +0000)]
Add a max depth bound to the bfs implementation in cvReconstructType,

to avoid looping when reconstructing insufficiently evaluated, circular structures

16 years agoFIX panic from the GHC API
David Waern [Sat, 14 Jul 2007 12:47:43 +0000 (12:47 +0000)]
FIX panic from the GHC API
In hscFileCheck, initialize md_vect_info with noVectInfo instead of
a panic value, since this is a strict field.

16 years agoinit mg_inst_env when reading ext core
Manuel M T Chakravarty [Fri, 13 Jul 2007 07:37:29 +0000 (07:37 +0000)]
init mg_inst_env when reading ext core

16 years agoWarning Police: No newline at end of file
Michael D. Adams [Fri, 13 Jul 2007 20:40:28 +0000 (20:40 +0000)]
Warning Police: No newline at end of file

16 years agoWarning Police: Unused imports
Michael D. Adams [Fri, 13 Jul 2007 20:19:13 +0000 (20:19 +0000)]
Warning Police: Unused imports

16 years agoAdded libraries/parallel to .darcs-boring
Michael D. Adams [Fri, 13 Jul 2007 18:21:17 +0000 (18:21 +0000)]
Added libraries/parallel to .darcs-boring

16 years agoAdding draft and show to hpc
andy@galois.com [Thu, 12 Jul 2007 19:42:00 +0000 (19:42 +0000)]
Adding draft and show to hpc

we now have

  hpc draft <TIX_FILE>

This drafts up a candidate overlay for 100% coverage.

and

  hpc show  <TIX_FILE>

This show verbose details about a tix file; mainly for debugging.

16 years agoFixing Hpc SrcSpan usage; rejecting SrcSpans that are not in the source file
andy@galois.com [Thu, 12 Jul 2007 17:16:46 +0000 (17:16 +0000)]
Fixing Hpc SrcSpan usage; rejecting SrcSpans that are not in the source file

Now, if you #include a file, you do not get any hpc-info from the included file.
Previously, you got wrong information.

Thanks to Neil Mitchell for pointing out the problem.

16 years agoRevert the $* patch for earlier Perls as it breaks the build. Sorry. :/
audreyt@audreyt.org [Thu, 12 Jul 2007 05:43:51 +0000 (05:43 +0000)]
Revert the $* patch for earlier Perls as it breaks the build. Sorry. :/

16 years agoIn mangler, lift the multiline-match pragma to toplevel and document it better.
audreyt@audreyt.org [Wed, 11 Jul 2007 21:04:49 +0000 (21:04 +0000)]
In mangler, lift the multiline-match pragma to toplevel and document it better.

16 years ago* Evil Mangler broke under Perl 5.9+ because $* is gone; this fixes it.
audreyt@audreyt.org [Wed, 11 Jul 2007 18:24:30 +0000 (18:24 +0000)]
* Evil Mangler broke under Perl 5.9+ because $* is gone; this fixes it.

  Perl 4's special variable $* controls multi-line matching; it's been
  deprecated from Perl 5's inception, and is finally removed in Perl
  versions 5.9 (soon to be 5.10).

  Since GHC depends on Perl 5.6+ anyway, this patch introduces an
  equivalent effect to $* without using that special variable, by
  hooking into Perl's regex parsing process to add the /m flag.

16 years agoRemove import
David Waern [Wed, 11 Jul 2007 19:40:05 +0000 (19:40 +0000)]
Remove import

16 years agoRemove comment
David Waern [Wed, 11 Jul 2007 19:35:04 +0000 (19:35 +0000)]
Remove comment

16 years ago* Future-proof autoconf's Perl version test.
audreyt@audreyt.org [Wed, 11 Jul 2007 16:58:51 +0000 (16:58 +0000)]
* Future-proof autoconf's Perl version test.

  GHC only works with Perl versions 5.6 and later; however
  the current test greps in a rather non-future-proof way
  (explicitly against 5.6 and 5.8).

  We instead exploit the "v-string" change in 5.6, which
  displays the version string as "v5.x.y", rather than
  the earlier format "version 5.xxx_yyy".  Hence grepping
  against "v5" will make it future proof for a while.
  (At least until Perl 6 is installed as the system perl.)

16 years agoTweak the start of the bin-dist docs in teh users guide
Ian Lynagh [Wed, 11 Jul 2007 12:37:55 +0000 (12:37 +0000)]
Tweak the start of the bin-dist docs in teh users guide

16 years agoRemove reference to the now-dead fptools
Ian Lynagh [Wed, 11 Jul 2007 00:00:02 +0000 (00:00 +0000)]
Remove reference to the now-dead fptools

16 years agoRemove references to non-existent mailing lists
Ian Lynagh [Tue, 10 Jul 2007 23:58:38 +0000 (23:58 +0000)]
Remove references to non-existent mailing lists

16 years agoRemove the -bugs mailing list from the UG
Ian Lynagh [Tue, 10 Jul 2007 23:51:56 +0000 (23:51 +0000)]
Remove the -bugs mailing list from the UG
We now have a separate bit on reporting bugs, via a different method, so
this section didn't really make sense any more.

16 years agoUsers guide: Update FAQ URL
Ian Lynagh [Tue, 10 Jul 2007 23:45:09 +0000 (23:45 +0000)]
Users guide: Update FAQ URL

16 years agoUsers guide: GHC no longer comes with so many libraries
Ian Lynagh [Tue, 10 Jul 2007 23:42:36 +0000 (23:42 +0000)]
Users guide: GHC no longer comes with so many libraries

16 years agoUpdate copyright date in teh users guide
Ian Lynagh [Tue, 10 Jul 2007 23:39:12 +0000 (23:39 +0000)]
Update copyright date in teh users guide

16 years agoAlpha-rename a variable
Ian Lynagh [Tue, 10 Jul 2007 23:33:08 +0000 (23:33 +0000)]
Alpha-rename a variable

16 years agoOpt_GlasgowExts is no longer used, so remove it
Ian Lynagh [Tue, 10 Jul 2007 23:26:35 +0000 (23:26 +0000)]
Opt_GlasgowExts is no longer used, so remove it

16 years agoImplement -XStandaloneDeriving, the lexer is now glaexts-free
Ian Lynagh [Tue, 10 Jul 2007 21:01:29 +0000 (21:01 +0000)]
Implement -XStandaloneDeriving, the lexer is now glaexts-free

16 years ago'a'# syntax is enabled by the MagicHash extension
Ian Lynagh [Tue, 10 Jul 2007 20:39:24 +0000 (20:39 +0000)]
'a'# syntax is enabled by the MagicHash extension

16 years ago"Foo"# syntax is enabled by the MagicHash extension
Ian Lynagh [Tue, 10 Jul 2007 20:36:06 +0000 (20:36 +0000)]
"Foo"# syntax is enabled by the MagicHash extension

16 years ago5# syntax is enabled by the MagicHash extension
Ian Lynagh [Tue, 10 Jul 2007 20:33:19 +0000 (20:33 +0000)]
5# syntax is enabled by the MagicHash extension

16 years ago{| and |} are -fgenerics syntax
Ian Lynagh [Tue, 10 Jul 2007 20:21:29 +0000 (20:21 +0000)]
{| and |} are -fgenerics syntax

16 years agoRank 2 and rank n types enable explicit forall syntax
Ian Lynagh [Tue, 10 Jul 2007 20:21:09 +0000 (20:21 +0000)]
Rank 2 and rank n types enable explicit forall syntax

16 years agoRULES pragmas only need explicitForallEnabled, no -fglasgow-exts
Ian Lynagh [Tue, 10 Jul 2007 18:06:29 +0000 (18:06 +0000)]
RULES pragmas only need explicitForallEnabled, no -fglasgow-exts

16 years agoImplement -XDeriveDataTypeable flag
Ian Lynagh [Tue, 10 Jul 2007 18:01:30 +0000 (18:01 +0000)]
Implement -XDeriveDataTypeable flag

16 years agoAdding hpcError, that improves error messages with usage
andy@galois.com [Wed, 11 Jul 2007 07:24:54 +0000 (07:24 +0000)]
Adding hpcError, that improves error messages with usage

16 years agoAdding support for packages into hpc tools
andy@galois.com [Wed, 11 Jul 2007 07:23:49 +0000 (07:23 +0000)]
Adding support for packages into hpc tools

16 years agoAdding tick boxes to the interface syntax; fixes #1510
andy@galois.com [Wed, 11 Jul 2007 07:20:02 +0000 (07:20 +0000)]
Adding tick boxes to the interface syntax; fixes #1510

16 years agocalling pprPanic rather than error when something goes wrong
andy@galois.com [Wed, 11 Jul 2007 07:19:35 +0000 (07:19 +0000)]
calling pprPanic rather than error when something goes wrong

16 years agoAdding better support for HsSyn
andy@galois.com [Wed, 11 Jul 2007 07:18:42 +0000 (07:18 +0000)]
Adding better support for HsSyn

16 years agoAdding support for package names into hpc outputed code
andy@galois.com [Wed, 11 Jul 2007 07:05:55 +0000 (07:05 +0000)]
Adding support for package names into hpc outputed code
We store .mix files in

 .hpc/<package>/<the.module.name>.mix

The package main the empty package (aka other naming passes),
so Main just is stored in

 .hpc/Main.tix

This change in backwards compatable.

16 years agoStoping constant folding of calls to chr# that are invalid
andy@galois.com [Wed, 11 Jul 2007 06:35:20 +0000 (06:35 +0000)]
Stoping constant folding of calls to chr# that are invalid

import GHC.Exts
main = print (C# (chr# 0xffffffff#))

This crashed at compile time (with or without hpc)
Tickled by pending cross-module hpc inlining patch.

16 years agoBe finer-grained when turning on extensions for generated code
Ian Lynagh [Tue, 10 Jul 2007 15:24:06 +0000 (15:24 +0000)]
Be finer-grained when turning on extensions for generated code

16 years agoTweak error message
Ian Lynagh [Tue, 10 Jul 2007 13:02:14 +0000 (13:02 +0000)]
Tweak error message

16 years agoFix tcInstHeadTyNotSynonym
Ian Lynagh [Tue, 10 Jul 2007 12:47:38 +0000 (12:47 +0000)]
Fix tcInstHeadTyNotSynonym
It was returning False for type variables amongst other things, so
"instance C a" was telling us to use -XTypeSynonymInstances.

16 years agoAdd flag -XConstrainedClassMethods
Ian Lynagh [Mon, 9 Jul 2007 20:43:43 +0000 (20:43 +0000)]
Add flag -XConstrainedClassMethods

16 years agoJust alpha-rename a variable
Ian Lynagh [Mon, 9 Jul 2007 20:02:49 +0000 (20:02 +0000)]
Just alpha-rename a variable

16 years agoAdd -XUnliftedFFITypes flag
Ian Lynagh [Mon, 9 Jul 2007 19:54:08 +0000 (19:54 +0000)]
Add -XUnliftedFFITypes flag

16 years agoImplement unboxed tuples flags
Ian Lynagh [Mon, 9 Jul 2007 19:30:56 +0000 (19:30 +0000)]
Implement unboxed tuples flags
-XUnboxedTuples
-XExpressionSignaturesUnboxedTuples
-XTypeSynonymUnboxedTuples

16 years agoTweak the undecidable-instance-checking logic
Ian Lynagh [Mon, 9 Jul 2007 18:22:09 +0000 (18:22 +0000)]
Tweak the undecidable-instance-checking logic
Just looking at Opt_GlasgowExts is not sufficient to see if we need
to do an instance undecidability check. Rather than try to enumerate
all the extensions that may require us to do the check we now always
do it.

16 years agoDefine -XPartiallyAppliedClosedTypeSynonyms flag
Ian Lynagh [Mon, 9 Jul 2007 18:14:55 +0000 (18:14 +0000)]
Define -XPartiallyAppliedClosedTypeSynonyms flag

16 years agoAdd -XPatternSigs flag
Ian Lynagh [Mon, 9 Jul 2007 17:54:11 +0000 (17:54 +0000)]
Add -XPatternSigs flag

16 years agoPA is now a class instead of a record
Roman Leshchinskiy [Tue, 10 Jul 2007 11:38:22 +0000 (11:38 +0000)]
PA is now a class instead of a record

16 years agoAdd dsLookupClass
Roman Leshchinskiy [Tue, 10 Jul 2007 11:35:43 +0000 (11:35 +0000)]
Add dsLookupClass

16 years agoLookup of class and family instances in vectorisation monad
Manuel M T Chakravarty [Tue, 10 Jul 2007 08:49:49 +0000 (08:49 +0000)]
Lookup of class and family instances in vectorisation monad

16 years agooops, revert part of the +RTS -V0 patch which was accidentally included
Simon Marlow [Tue, 10 Jul 2007 07:54:28 +0000 (07:54 +0000)]
oops, revert part of the +RTS -V0 patch which was accidentally included

16 years agoFIX rts build failure for powerPC build
andy@galois.com [Tue, 10 Jul 2007 07:17:13 +0000 (07:17 +0000)]
FIX rts build failure for powerPC build

The rts was failing with

../compiler/ghc-inplace -H64m -Onot -fasm -optc-O2 -static -I../gmp/gmpbuild -I. -#include HCIncludes.h -dcmm-lint  -hisuf thr_p_hi -hcsuf thr_p_hc -osuf thr_p_o -optc-DTHREADED_RTS -prof -#include posix/Itimer.h  -c PrimOps.cmm -o PrimOps.thr_p_o
ghc-6.7.20070709: panic! (the 'impossible' happened)
  (GHC version 6.7.20070709 for powerpc-apple-darwin):
        iselExpr64(powerpc) %MO_U_Conv_I32_I64(16 / 4 - 2)

There was a special case for x86; so it has been transliterated to the PPC, and the output code looks plausable.

16 years agoAdd vectorisation modules to package ghc
Roman Leshchinskiy [Tue, 10 Jul 2007 06:06:23 +0000 (06:06 +0000)]
Add vectorisation modules to package ghc

16 years agoPut vectorisation monad into a separate file
Roman Leshchinskiy [Tue, 10 Jul 2007 06:05:28 +0000 (06:05 +0000)]
Put vectorisation monad into a separate file

16 years agoVectorisation of type abstractions
Roman Leshchinskiy [Tue, 10 Jul 2007 04:25:02 +0000 (04:25 +0000)]
Vectorisation of type abstractions

16 years agoUtility functions for vectorisation
Roman Leshchinskiy [Tue, 10 Jul 2007 04:23:19 +0000 (04:23 +0000)]
Utility functions for vectorisation

16 years agoFix #1505; failure to catch syntax error in :break command
Simon Marlow [Mon, 9 Jul 2007 21:07:06 +0000 (21:07 +0000)]
Fix #1505; failure to catch syntax error in :break command

16 years agoFix the +RTS -V0 option introduced recently; it didn't work at all, now it does.
Simon Marlow [Sun, 8 Jul 2007 19:44:23 +0000 (19:44 +0000)]
Fix the +RTS -V0 option introduced recently; it didn't work at all, now it does.
Also, I documented it.  +RTS -V0 disables the internal RTS timer
completely, which is useful for repeatable debugginng.

16 years agoFIX -fexcess-precision
Simon Marlow [Sun, 8 Jul 2007 19:21:20 +0000 (19:21 +0000)]
FIX -fexcess-precision
Ugly hack; see comments for details

16 years agoRemove unused binding
Ian Lynagh [Mon, 9 Jul 2007 15:33:50 +0000 (15:33 +0000)]
Remove unused binding

16 years agoAdd -XTypeOperators flag
Ian Lynagh [Mon, 9 Jul 2007 15:31:37 +0000 (15:31 +0000)]
Add -XTypeOperators flag

16 years agoAdd -fprint-explicit-foralls flag; fixes trac #1474
Ian Lynagh [Mon, 9 Jul 2007 14:35:51 +0000 (14:35 +0000)]
Add -fprint-explicit-foralls flag; fixes trac #1474

16 years agoAdd -XFlexibleContexts flag
Ian Lynagh [Mon, 9 Jul 2007 13:13:53 +0000 (13:13 +0000)]
Add -XFlexibleContexts flag

16 years agoAdd -XExistentialQuantification flag
Ian Lynagh [Mon, 9 Jul 2007 12:44:36 +0000 (12:44 +0000)]
Add -XExistentialQuantification flag

16 years agoImplement -XPolymorphicComponents
Ian Lynagh [Mon, 9 Jul 2007 12:04:15 +0000 (12:04 +0000)]
Implement -XPolymorphicComponents

16 years agorename tv -> explicitForall
Ian Lynagh [Mon, 9 Jul 2007 11:25:05 +0000 (11:25 +0000)]
rename tv -> explicitForall

16 years agoImplement -XUnicodeSyntax
Ian Lynagh [Mon, 9 Jul 2007 09:34:15 +0000 (09:34 +0000)]
Implement -XUnicodeSyntax

16 years agolibraries/hpc is boring (in the GHC repo)
Ian Lynagh [Sun, 8 Jul 2007 17:32:46 +0000 (17:32 +0000)]
libraries/hpc is boring (in the GHC repo)

16 years agoAdd flags for Rank2Types and RankNTypes
Ian Lynagh [Sun, 8 Jul 2007 17:31:50 +0000 (17:31 +0000)]
Add flags for Rank2Types and RankNTypes

16 years agoMake CPP a -X flag
Ian Lynagh [Sun, 8 Jul 2007 16:50:45 +0000 (16:50 +0000)]
Make CPP a -X flag

16 years agoAdd PatternGuards flag
Ian Lynagh [Sun, 8 Jul 2007 16:42:36 +0000 (16:42 +0000)]
Add PatternGuards flag

16 years agoAdd flags for TypeSynonymInstances and FlexibleInstances
Ian Lynagh [Sun, 8 Jul 2007 16:25:07 +0000 (16:25 +0000)]
Add flags for TypeSynonymInstances and FlexibleInstances

16 years agoImplement -XFunctionalDependencies
Ian Lynagh [Sun, 8 Jul 2007 15:32:36 +0000 (15:32 +0000)]
Implement -XFunctionalDependencies

16 years agoImplement -XRecursiveDo
Ian Lynagh [Sun, 8 Jul 2007 15:06:31 +0000 (15:06 +0000)]
Implement -XRecursiveDo

16 years agoImplement -XGeneralizedNewtypeDeriving
Ian Lynagh [Sun, 8 Jul 2007 14:43:54 +0000 (14:43 +0000)]
Implement -XGeneralizedNewtypeDeriving

16 years agoAdd -XParallelListComp
Ian Lynagh [Sun, 8 Jul 2007 13:42:52 +0000 (13:42 +0000)]
Add -XParallelListComp

16 years agoVectorise lets
Roman Leshchinskiy [Mon, 9 Jul 2007 06:37:53 +0000 (06:37 +0000)]
Vectorise lets