ghc-hetmet.git
17 years agoRemove import
David Waern [Wed, 11 Jul 2007 19:40:05 +0000 (19:40 +0000)]
Remove import

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

17 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.)

17 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

17 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

17 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

17 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.

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

17 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

17 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

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

17 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

17 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

17 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

17 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

17 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

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

17 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

17 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

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

17 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

17 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

17 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

17 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

17 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

17 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.

17 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.

17 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

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

17 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.

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

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

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

17 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

17 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.

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

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

17 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

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

17 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

17 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

17 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.

17 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

17 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

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

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

17 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

17 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.

17 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

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

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

17 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

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

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

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

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

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

17 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)

17 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

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

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

17 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

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

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

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

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

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

17 years agoSplit vectorisation environment into a global and a local part
Roman Leshchinskiy [Mon, 9 Jul 2007 06:25:05 +0000 (06:25 +0000)]
Split vectorisation environment into a global and a local part

17 years agoFirst cut at vectorisation of expressions
Roman Leshchinskiy [Mon, 9 Jul 2007 05:39:34 +0000 (05:39 +0000)]
First cut at vectorisation of expressions

17 years agoConstruction of PA dictionaries for vectorisation
Roman Leshchinskiy [Mon, 9 Jul 2007 05:39:18 +0000 (05:39 +0000)]
Construction of PA dictionaries for vectorisation

17 years agoVectorisation-specific imports
Roman Leshchinskiy [Mon, 9 Jul 2007 05:39:06 +0000 (05:39 +0000)]
Vectorisation-specific imports

17 years agoUtilities for handling closure types during vectorisation
Roman Leshchinskiy [Mon, 9 Jul 2007 05:38:19 +0000 (05:38 +0000)]
Utilities for handling closure types during vectorisation

17 years agoAdd orElse combinator for vectorisation monad
Roman Leshchinskiy [Mon, 9 Jul 2007 05:37:40 +0000 (05:37 +0000)]
Add orElse combinator for vectorisation monad

17 years agoExtend vectorisation environment
Roman Leshchinskiy [Mon, 9 Jul 2007 05:37:09 +0000 (05:37 +0000)]
Extend vectorisation environment

17 years agoAllow variables to be mapped to arbitrary CoreExprs in vectorisation monad
Roman Leshchinskiy [Mon, 9 Jul 2007 04:22:51 +0000 (04:22 +0000)]
Allow variables to be mapped to arbitrary CoreExprs in vectorisation monad

17 years agoAdd failure to vectorisation monad
Roman Leshchinskiy [Mon, 9 Jul 2007 04:04:06 +0000 (04:04 +0000)]
Add failure to vectorisation monad

17 years agoFixing native code generator for PowerPC
andy@galois.com [Sun, 8 Jul 2007 07:43:29 +0000 (07:43 +0000)]
Fixing native code generator for PowerPC

17 years agoAdd -XMultiParamTypeClasses flag
Ian Lynagh [Sun, 8 Jul 2007 12:27:53 +0000 (12:27 +0000)]
Add -XMultiParamTypeClasses flag

17 years agoImplement -XKindSignatures
Ian Lynagh [Sun, 8 Jul 2007 12:05:53 +0000 (12:05 +0000)]
Implement -XKindSignatures

17 years agoAdd -XEmptyDataDecls flag
Ian Lynagh [Sun, 8 Jul 2007 11:29:07 +0000 (11:29 +0000)]
Add -XEmptyDataDecls flag

17 years agoSupport the MagicHash extension as a flag and LANGUAGE pragma
Ian Lynagh [Sun, 8 Jul 2007 11:10:41 +0000 (11:10 +0000)]
Support the MagicHash extension as a flag and LANGUAGE pragma

17 years agoTidy up comments in DynFlags
Ian Lynagh [Sun, 8 Jul 2007 10:23:22 +0000 (10:23 +0000)]
Tidy up comments in DynFlags

17 years agoFIX #1472 (also #249, which was not completely fixed previously): -caf-all bugs
Simon Marlow [Sat, 7 Jul 2007 19:21:02 +0000 (19:21 +0000)]
FIX #1472 (also #249, which was not completely fixed previously): -caf-all bugs

17 years agoallow build settings to be overriden by adding mk/validate.mk
Simon Marlow [Sat, 7 Jul 2007 19:18:53 +0000 (19:18 +0000)]
allow build settings to be overriden by adding mk/validate.mk

17 years agoRemove foldl' from Util; use the Data.List one instead
Ian Lynagh [Fri, 6 Jul 2007 20:54:10 +0000 (20:54 +0000)]
Remove foldl' from Util; use the Data.List one instead

17 years agoundo: Get the path right for :list
Simon Marlow [Fri, 6 Jul 2007 15:21:32 +0000 (15:21 +0000)]
undo: Get the path right for :list
This is breaking :list for someone.  If there's a problem here, we
should fix it another way.

17 years ago-ddump-hi-diffs shouldn't imply -fforce-recomp, that defeats the purpose
Simon Marlow [Thu, 5 Jul 2007 13:53:20 +0000 (13:53 +0000)]
-ddump-hi-diffs shouldn't imply -fforce-recomp, that defeats the purpose

17 years agoAdded comment to the Cmm parser showing code for use one CPS is enabled
Michael D. Adams [Thu, 5 Jul 2007 17:07:03 +0000 (17:07 +0000)]
Added comment to the Cmm parser showing code for use one CPS is enabled

17 years agoEliminated use of 'fromJust' from the CPS pass
Michael D. Adams [Thu, 5 Jul 2007 17:06:37 +0000 (17:06 +0000)]
Eliminated use of 'fromJust' from the CPS pass

17 years agoFixed a bug in the CPS pass
Michael D. Adams [Thu, 5 Jul 2007 17:05:15 +0000 (17:05 +0000)]
Fixed a bug in the CPS pass

17 years agoUpdated the call to the CPS pass for the factoring out of cmmToRawCmm
Michael D. Adams [Thu, 5 Jul 2007 14:50:31 +0000 (14:50 +0000)]
Updated the call to the CPS pass for the factoring out of cmmToRawCmm
That call was and is commented out, but it serves as documentation
for when the CPS pass will be turned on.

17 years agoAdded support for GC block declaration to the Cmm syntax
Michael D. Adams [Thu, 5 Jul 2007 14:48:20 +0000 (14:48 +0000)]
Added support for GC block declaration to the Cmm syntax

17 years agoEnsure no statements after CmmReturn are emitted
Michael D. Adams [Thu, 5 Jul 2007 09:47:02 +0000 (09:47 +0000)]
Ensure no statements after CmmReturn are emitted

17 years agoFIX BUILD (Windows)
Simon Marlow [Fri, 6 Jul 2007 07:59:31 +0000 (07:59 +0000)]
FIX BUILD (Windows)

17 years agoVectorise unlifted and tuple tycons
Roman Leshchinskiy [Wed, 4 Jul 2007 05:56:52 +0000 (05:56 +0000)]
Vectorise unlifted and tuple tycons

17 years agoVectorisation of types
Roman Leshchinskiy [Wed, 4 Jul 2007 05:52:39 +0000 (05:52 +0000)]
Vectorisation of types

17 years agoAdd TyCons to vectorisation monad
Roman Leshchinskiy [Wed, 4 Jul 2007 05:15:12 +0000 (05:15 +0000)]
Add TyCons to vectorisation  monad

17 years agoVectorisation monad
Roman Leshchinskiy [Wed, 4 Jul 2007 04:54:45 +0000 (04:54 +0000)]
Vectorisation monad

17 years agoAdd ndp docs
Roman Leshchinskiy [Tue, 3 Jul 2007 06:37:38 +0000 (06:37 +0000)]
Add ndp docs

17 years agoInclude vectorisation into the simplifier pipeline
Roman Leshchinskiy [Fri, 29 Jun 2007 05:19:43 +0000 (05:19 +0000)]
Include vectorisation into the simplifier pipeline