ghc-hetmet.git
15 years agoMake GhciMonad warning-free
Ian Lynagh [Sat, 3 May 2008 23:51:35 +0000 (23:51 +0000)]
Make GhciMonad warning-free

15 years agoTiny code recatoring in GhciTags
Ian Lynagh [Sat, 3 May 2008 23:45:39 +0000 (23:45 +0000)]
Tiny code recatoring in GhciTags

15 years agoMake GhciTags warning-free
Ian Lynagh [Sat, 3 May 2008 23:44:41 +0000 (23:44 +0000)]
Make GhciTags warning-free

15 years agoMake ObjLink warning-free
Ian Lynagh [Sat, 3 May 2008 23:34:18 +0000 (23:34 +0000)]
Make ObjLink warning-free

15 years agoRemove a hack from a time when ghc couldn't do seq
Ian Lynagh [Sat, 3 May 2008 23:28:32 +0000 (23:28 +0000)]
Remove a hack from a time when ghc couldn't do seq

15 years agoMake RnExpr warning-free
Ian Lynagh [Sat, 3 May 2008 23:27:04 +0000 (23:27 +0000)]
Make RnExpr warning-free

15 years agoMake RnEnv warning-free
Ian Lynagh [Sat, 3 May 2008 22:34:30 +0000 (22:34 +0000)]
Make RnEnv warning-free

15 years agoFix warnings in RnNames
Ian Lynagh [Sat, 3 May 2008 22:15:12 +0000 (22:15 +0000)]
Fix warnings in RnNames

15 years agoMake RnBinds warning-free
Ian Lynagh [Sat, 3 May 2008 21:31:49 +0000 (21:31 +0000)]
Make RnBinds warning-free

15 years agoChange a mappM to mapM_
Ian Lynagh [Sat, 3 May 2008 20:33:54 +0000 (20:33 +0000)]
Change a mappM to mapM_

15 years agoMake RnPat warning-free
Ian Lynagh [Sat, 3 May 2008 20:33:00 +0000 (20:33 +0000)]
Make RnPat warning-free

15 years agoMake RnHsDoc warning-free
Ian Lynagh [Sat, 3 May 2008 20:13:43 +0000 (20:13 +0000)]
Make RnHsDoc warning-free

15 years agoMake RnSource warning-free
Ian Lynagh [Sat, 3 May 2008 20:09:32 +0000 (20:09 +0000)]
Make RnSource warning-free

15 years agoMake RnHsSyn warning-free
Ian Lynagh [Sat, 3 May 2008 17:06:49 +0000 (17:06 +0000)]
Make RnHsSyn warning-free

15 years agoWhitespace only
Ian Lynagh [Sat, 3 May 2008 17:00:53 +0000 (17:00 +0000)]
Whitespace only

15 years agoVectorise polymorphic let bindings
Roman Leshchinskiy [Sun, 4 May 2008 05:40:06 +0000 (05:40 +0000)]
Vectorise polymorphic let bindings

15 years agoImprove syntax for primitive coercions in External Core
Tim Chevalier [Sun, 4 May 2008 02:43:04 +0000 (02:43 +0000)]
Improve syntax for primitive coercions in External Core

Add new syntax in External Core for primitive coercions (trans,
sym, etc.) rather than wiring their names into the ext-core
parser.

15 years agoFix External Core interpreter
Tim Chevalier [Sat, 3 May 2008 23:10:44 +0000 (23:10 +0000)]
Fix External Core interpreter

The External Core interpreter works (in a limited sense).
For details, see the README.

This means we now have a marginally functioning set of
External Core tools.

The other exciting change is that the test driver (Driver.hs)
now computes module dependencies automatically instead of
having a wired-in list of library modules.

15 years agoreplace hints with kinds in parser as well
Norman Ramsey [Sat, 3 May 2008 22:47:20 +0000 (22:47 +0000)]
replace hints with kinds in parser as well

15 years agoreplace Cmm 'hint' with 'kind'
Norman Ramsey [Sat, 3 May 2008 22:45:14 +0000 (22:45 +0000)]
replace Cmm 'hint' with 'kind'
C-- no longer has 'hints'; to guide parameter passing, it
has 'kinds'.  Renamed type constructor, data constructor, and record
fields accordingly

15 years agonew version of ZipDataflow
Norman Ramsey [Sat, 3 May 2008 22:42:08 +0000 (22:42 +0000)]
new version of ZipDataflow
This version combines forward/backard into a type class
(actually two classes) of analysis and transformation.
These type classes will always be expanded away at the client,
so SLPJ may wonder why they exist: it is because the interface
to this module is already very broad, and by overloading the functions
for forward and backward problems, we cut the cognitive load on the
clients in half.

15 years agominor changes to Cmm left over from September 2007
Norman Ramsey [Sat, 3 May 2008 22:34:52 +0000 (22:34 +0000)]
minor changes to Cmm left over from September 2007
Nothing too deep here; primarily tinking with prettyprinting
and names.  Also eliminated some warnings.  This patch covers
most (but not all) of the code NR changed at the very end
of September 2007, just before ICFP hit...

15 years agoMake darcs-all act on all repos in libraries/, not just boot/extra libs
Ian Lynagh [Fri, 2 May 2008 17:47:53 +0000 (17:47 +0000)]
Make darcs-all act on all repos in libraries/, not just boot/extra libs

15 years agoWhen validating, configure with "--prefix=`pwd`/inst"
Ian Lynagh [Fri, 2 May 2008 15:56:49 +0000 (15:56 +0000)]
When validating, configure with "--prefix=`pwd`/inst"
This means a validate build can be installed locally.
`pwd`/inst probably won't give a useful value on all platforms (in
particular there are probably some Windows configurations it doesn't
work for), but I don't think it will ever make the build fail.

15 years agoImprove the unboxed types documentation
Ian Lynagh [Wed, 30 Apr 2008 15:25:08 +0000 (15:25 +0000)]
Improve the unboxed types documentation
Mainly adding descriptions of unboxed literals,

15 years agosumP on doubles and int
keller@cse.unsw.edu.au [Fri, 2 May 2008 03:19:05 +0000 (03:19 +0000)]
sumP on doubles and int

15 years agoFixed vect decl for sumP, enumfromToP
keller@cse.unsw.edu.au [Thu, 1 May 2008 01:18:24 +0000 (01:18 +0000)]
Fixed vect decl for sumP, enumfromToP

15 years agoMissing .0 on float constant.
Don Stewart [Thu, 1 May 2008 00:05:17 +0000 (00:05 +0000)]
Missing .0 on float constant.

15 years agoReplace C99 exp2f(32) call in __2Int_encodeDouble
Don Stewart [Wed, 30 Apr 2008 21:48:27 +0000 (21:48 +0000)]
Replace C99 exp2f(32) call in __2Int_encodeDouble
with constant 4294967296.

exp2f is a C99-ism not availabl everywhere. Replace it
with its result. Helps building on OpenBSD>

15 years agoUse panic rather than error in RegLiveness
Ian Lynagh [Wed, 30 Apr 2008 13:13:49 +0000 (13:13 +0000)]
Use panic rather than error in RegLiveness

15 years agoUpdate an error message
Ian Lynagh [Wed, 30 Apr 2008 13:13:17 +0000 (13:13 +0000)]
Update an error message
error "RegisterAlloc.livenessSCCs" -> error "RegLiveness.livenessSCCs"

15 years agoUpdate a panic message
Ian Lynagh [Wed, 30 Apr 2008 13:10:21 +0000 (13:10 +0000)]
Update a panic message
It was (panic "RegisterAlloc.joinToTargets"), but had since moved to
RegAllocLinear.makeRegMovementGraph.

15 years agoRemove BitSet, FieldLabel, RegisterAlloc from compiler/package.conf.in
Ian Lynagh [Wed, 30 Apr 2008 13:02:51 +0000 (13:02 +0000)]
Remove BitSet, FieldLabel, RegisterAlloc from compiler/package.conf.in
The modules no longer exist. Spotted by Marc Weber.

15 years agoImprove documentation of RULES pragmas
simonpj@microsoft.com [Wed, 30 Apr 2008 08:24:31 +0000 (08:24 +0000)]
Improve documentation of RULES pragmas

15 years agochange topHandlerFastExit to topHandler, so the terminal state gets restored (#2228)
Simon Marlow [Tue, 29 Apr 2008 22:24:42 +0000 (22:24 +0000)]
change topHandlerFastExit to topHandler, so the terminal state gets restored (#2228)

15 years agodon't turn off stdin/stdout buffering after loading a module with ghc -e (#2228)
Simon Marlow [Tue, 29 Apr 2008 22:24:09 +0000 (22:24 +0000)]
don't turn off stdin/stdout buffering after loading a module with ghc -e (#2228)

15 years agoFIX #1933: use a better test for timer_create()
Simon Marlow [Tue, 29 Apr 2008 21:29:45 +0000 (21:29 +0000)]
FIX #1933: use a better test for timer_create()

15 years agoFix Trac #1969: perfomance bug in the specialiser
simonpj@microsoft.com [Mon, 28 Apr 2008 15:57:11 +0000 (15:57 +0000)]
Fix Trac #1969: perfomance bug in the specialiser

The specialiser was using a rather brain-dead representation for
UsageDetails, with much converting from lists to finite maps and
back.  This patch does some significant refactoring.  It doesn't
change the representation altogether, but it does eliminate the
to-and-fro nonsense.

It validates OK, but it's always possible that I have inadvertently
lost specialisation somewhere, so keep an eye out for any run-time
performance regressions.

Oh, and Specialise is now warning-free too.

15 years agoFix Trac #2238: do not use newtype for a class with equality predicates
simonpj@microsoft.com [Mon, 28 Apr 2008 13:47:30 +0000 (13:47 +0000)]
Fix Trac #2238: do not use newtype for a class with equality predicates

See Note [Class newtypes and equality predicates] in this module.

15 years agoAdd :list to ghci's :? help; fixes trac #2217
Ian Lynagh [Sun, 27 Apr 2008 19:00:49 +0000 (19:00 +0000)]
Add :list to ghci's :? help; fixes trac #2217

15 years agoFix an error if an SCC name contains a space; fixes trac #2071
Ian Lynagh [Sun, 27 Apr 2008 11:48:08 +0000 (11:48 +0000)]
Fix an error if an SCC name contains a space; fixes trac #2071

15 years agoFix build on PPC: Add some missing parentheses
Ian Lynagh [Sun, 27 Apr 2008 10:35:45 +0000 (10:35 +0000)]
Fix build on PPC: Add some missing parentheses

15 years agoRefactor some code a bit, and improve an error
Ian Lynagh [Sat, 26 Apr 2008 01:16:34 +0000 (01:16 +0000)]
Refactor some code a bit, and improve an error
The "magic number mismatch: old/corrupt interface file?" error now tells
us what we got, and what we expected.

15 years agoWhitespace changes only
Ian Lynagh [Sat, 26 Apr 2008 01:09:08 +0000 (01:09 +0000)]
Whitespace changes only

15 years agoFix the ticky ticky build
Ian Lynagh [Fri, 25 Apr 2008 14:04:34 +0000 (14:04 +0000)]
Fix the ticky ticky build
Include TickyCounters.h in Stg.h if we are doing Ticky Ticky.

15 years agoFix a couple of format strings in Ticky.c
Ian Lynagh [Fri, 25 Apr 2008 13:47:25 +0000 (13:47 +0000)]
Fix a couple of format strings in Ticky.c

15 years agoComment out some unused code in Ticky.c
Ian Lynagh [Fri, 25 Apr 2008 13:43:07 +0000 (13:43 +0000)]
Comment out some unused code in Ticky.c

16 years agoSpelling fixes in glasgow_exts.xml
Samuel Bronson [Tue, 15 Apr 2008 23:26:26 +0000 (23:26 +0000)]
Spelling fixes in glasgow_exts.xml
Also adds a <para></para> element and replaces an occurance of SGML
with XML...

15 years agoVectorisation of: enumFromTo, div, intSqrt
keller@cse.unsw.edu.au [Fri, 25 Apr 2008 07:24:21 +0000 (07:24 +0000)]
Vectorisation of: enumFromTo, div, intSqrt

15 years agoFix int64ToInteger 0xFFFFFFFF00000000 on 32bit machine; trac #2223
Ian Lynagh [Thu, 24 Apr 2008 13:15:26 +0000 (13:15 +0000)]
Fix int64ToInteger 0xFFFFFFFF00000000 on 32bit machine; trac #2223
Patch from Mike Gunter.

15 years agoAdd 123## literals for Word#
Ian Lynagh [Wed, 23 Apr 2008 16:11:15 +0000 (16:11 +0000)]
Add 123## literals for Word#

15 years agoWhitespace changes only
Ian Lynagh [Wed, 23 Apr 2008 14:35:53 +0000 (14:35 +0000)]
Whitespace changes only

15 years agoAdded support for vectorising emptyP, squareRoot, combineP
keller@cse.unsw.edu.au [Thu, 24 Apr 2008 02:00:25 +0000 (02:00 +0000)]
Added support for vectorising emptyP, squareRoot, combineP

15 years agoAdd back an erroneously removed #include "HsVersions.h"
Ian Lynagh [Wed, 23 Apr 2008 11:09:30 +0000 (11:09 +0000)]
Add back an erroneously removed #include "HsVersions.h"

16 years agoInclude HsVersions.h where necessary
Roman Leshchinskiy [Wed, 23 Apr 2008 04:28:20 +0000 (04:28 +0000)]
Include HsVersions.h where necessary

16 years agoMake a panic slightly more helpful
Ian Lynagh [Tue, 22 Apr 2008 16:49:16 +0000 (16:49 +0000)]
Make a panic slightly more helpful

16 years agoFix build
Ian Lynagh [Tue, 22 Apr 2008 13:38:38 +0000 (13:38 +0000)]
Fix build

16 years agoFix build
Ian Lynagh [Tue, 22 Apr 2008 12:49:19 +0000 (12:49 +0000)]
Fix build

16 years ago(F)SLIT -> (f)sLit in SimplUtils
Ian Lynagh [Tue, 22 Apr 2008 12:49:08 +0000 (12:49 +0000)]
(F)SLIT -> (f)sLit in SimplUtils

16 years ago(F)SLIT -> (f)sLit in HsBinds
Ian Lynagh [Tue, 22 Apr 2008 12:23:19 +0000 (12:23 +0000)]
(F)SLIT -> (f)sLit in HsBinds

16 years ago(F)SLIT -> (f)sLit in StaticFlags
Ian Lynagh [Tue, 22 Apr 2008 12:22:26 +0000 (12:22 +0000)]
(F)SLIT -> (f)sLit in StaticFlags

16 years agoBuild fixes
Ian Lynagh [Tue, 22 Apr 2008 11:55:00 +0000 (11:55 +0000)]
Build fixes

16 years agoChange the last few (F)SLIT's into (f)sLit's
Ian Lynagh [Tue, 22 Apr 2008 11:47:13 +0000 (11:47 +0000)]
Change the last few (F)SLIT's into (f)sLit's

16 years agoFSLIT -> fsLit in PrelNames
Ian Lynagh [Tue, 22 Apr 2008 11:39:07 +0000 (11:39 +0000)]
FSLIT -> fsLit in PrelNames

16 years agoFix warnings in PrelNames
Ian Lynagh [Tue, 22 Apr 2008 11:38:17 +0000 (11:38 +0000)]
Fix warnings in PrelNames

16 years ago(F)SLIT -> (f)sLit in CmmParse
Ian Lynagh [Tue, 22 Apr 2008 11:08:57 +0000 (11:08 +0000)]
(F)SLIT -> (f)sLit in CmmParse

16 years agoPrelRules is now warning free
Ian Lynagh [Sun, 13 Apr 2008 12:43:25 +0000 (12:43 +0000)]
PrelRules is now warning free

16 years agoRemove a warning
Ian Lynagh [Sun, 13 Apr 2008 10:31:20 +0000 (10:31 +0000)]
Remove a warning

16 years agoPrelInfo is now warning-free
Ian Lynagh [Sun, 13 Apr 2008 10:29:06 +0000 (10:29 +0000)]
PrelInfo is now warning-free

16 years agoTysPrim is now warning-free
Ian Lynagh [Sun, 13 Apr 2008 10:17:57 +0000 (10:17 +0000)]
TysPrim is now warning-free

16 years agoTysWiredIn is now warning-free
Ian Lynagh [Sun, 13 Apr 2008 09:40:12 +0000 (09:40 +0000)]
TysWiredIn is now warning-free

16 years ago(F)SLIT -> (f)sLit in TcSplice
Ian Lynagh [Sat, 12 Apr 2008 18:01:26 +0000 (18:01 +0000)]
(F)SLIT -> (f)sLit in TcSplice

16 years ago(F)SLIT -> (f)sLit in Convert
Ian Lynagh [Sat, 12 Apr 2008 18:00:37 +0000 (18:00 +0000)]
(F)SLIT -> (f)sLit in Convert

16 years ago(F)SLIT -> (f)sLit in InteractiveUI
Ian Lynagh [Sat, 12 Apr 2008 18:00:18 +0000 (18:00 +0000)]
(F)SLIT -> (f)sLit in InteractiveUI

16 years ago(F)SLIT -> (f)sLit in InteractiveEval
Ian Lynagh [Sat, 12 Apr 2008 17:58:50 +0000 (17:58 +0000)]
(F)SLIT -> (f)sLit in InteractiveEval

16 years ago(F)SLIT -> (f)sLit in RtClosureInspect
Ian Lynagh [Sat, 12 Apr 2008 17:57:34 +0000 (17:57 +0000)]
(F)SLIT -> (f)sLit in RtClosureInspect

16 years ago(F)SLIT -> (f)sLit in Linker
Ian Lynagh [Sat, 12 Apr 2008 17:57:00 +0000 (17:57 +0000)]
(F)SLIT -> (f)sLit in Linker

16 years ago(F)SLIT -> (f)sLit in ByteCodeGen
Ian Lynagh [Sat, 12 Apr 2008 17:54:56 +0000 (17:54 +0000)]
(F)SLIT -> (f)sLit in ByteCodeGen

16 years ago(F)SLIT -> (f)sLit in DsMeta
Ian Lynagh [Sat, 12 Apr 2008 17:54:07 +0000 (17:54 +0000)]
(F)SLIT -> (f)sLit in DsMeta

16 years ago(F)SLIT -> (f)sLit in PprTyThing
Ian Lynagh [Sat, 12 Apr 2008 16:38:11 +0000 (16:38 +0000)]
(F)SLIT -> (f)sLit in PprTyThing

16 years ago(F)SLIT -> (f)sLit in DriverMkDepend
Ian Lynagh [Sat, 12 Apr 2008 16:37:24 +0000 (16:37 +0000)]
(F)SLIT -> (f)sLit in DriverMkDepend

16 years ago(F)SLIT -> (f)sLit in GHC
Ian Lynagh [Sat, 12 Apr 2008 16:36:04 +0000 (16:36 +0000)]
(F)SLIT -> (f)sLit in GHC

16 years ago(F)SLIT -> (f)sLit in DriverPipeline
Ian Lynagh [Sat, 12 Apr 2008 16:34:06 +0000 (16:34 +0000)]
(F)SLIT -> (f)sLit in DriverPipeline

16 years ago(F)SLIT -> (f)sLit in HscMain
Ian Lynagh [Sat, 12 Apr 2008 16:33:20 +0000 (16:33 +0000)]
(F)SLIT -> (f)sLit in HscMain

16 years ago(F)SLIT -> (f)sLit in TcRnDriver
Ian Lynagh [Sat, 12 Apr 2008 16:29:30 +0000 (16:29 +0000)]
(F)SLIT -> (f)sLit in TcRnDriver

16 years ago(F)SLIT -> (f)sLit in TcDefaults
Ian Lynagh [Sat, 12 Apr 2008 16:28:24 +0000 (16:28 +0000)]
(F)SLIT -> (f)sLit in TcDefaults

16 years ago(F)SLIT -> (f)sLit in TcRules
Ian Lynagh [Sat, 12 Apr 2008 16:27:05 +0000 (16:27 +0000)]
(F)SLIT -> (f)sLit in TcRules

16 years ago(F)SLIT -> (f)sLit in TcForeign
Ian Lynagh [Sat, 12 Apr 2008 16:26:32 +0000 (16:26 +0000)]
(F)SLIT -> (f)sLit in TcForeign

16 years ago(F)SLIT -> (f)sLit in TcExpr
Ian Lynagh [Sat, 12 Apr 2008 16:25:33 +0000 (16:25 +0000)]
(F)SLIT -> (f)sLit in TcExpr

16 years ago(F)SLIT -> (f)sLit in TcArrows
Ian Lynagh [Sat, 12 Apr 2008 16:24:03 +0000 (16:24 +0000)]
(F)SLIT -> (f)sLit in TcArrows

16 years ago(F)SLIT -> (f)sLit in TcMatches
Ian Lynagh [Sat, 12 Apr 2008 16:23:14 +0000 (16:23 +0000)]
(F)SLIT -> (f)sLit in TcMatches

16 years ago(F)SLIT -> (f)sLit in TcInstDcls
Ian Lynagh [Sat, 12 Apr 2008 16:21:52 +0000 (16:21 +0000)]
(F)SLIT -> (f)sLit in TcInstDcls

16 years ago(F)SLIT -> (f)sLit in FamInst
Ian Lynagh [Sat, 12 Apr 2008 16:20:33 +0000 (16:20 +0000)]
(F)SLIT -> (f)sLit in FamInst

16 years ago(F)SLIT -> (f)sLit in TcDeriv
Ian Lynagh [Sat, 12 Apr 2008 16:19:58 +0000 (16:19 +0000)]
(F)SLIT -> (f)sLit in TcDeriv

16 years ago(F)SLIT -> (f)sLit in TcGenDeriv
Ian Lynagh [Sat, 12 Apr 2008 16:18:27 +0000 (16:18 +0000)]
(F)SLIT -> (f)sLit in TcGenDeriv

16 years ago(F)SLIT -> (f)sLit in TcTyClsDecls
Ian Lynagh [Sat, 12 Apr 2008 16:17:08 +0000 (16:17 +0000)]
(F)SLIT -> (f)sLit in TcTyClsDecls

16 years ago(F)SLIT -> (f)sLit in TcClassDcl
Ian Lynagh [Sat, 12 Apr 2008 16:15:17 +0000 (16:15 +0000)]
(F)SLIT -> (f)sLit in TcClassDcl

16 years ago(F)SLIT -> (f)sLit in RnExpr
Ian Lynagh [Sat, 12 Apr 2008 16:14:10 +0000 (16:14 +0000)]
(F)SLIT -> (f)sLit in RnExpr

16 years ago(F)SLIT -> (f)sLit in TcBinds
Ian Lynagh [Sat, 12 Apr 2008 16:13:20 +0000 (16:13 +0000)]
(F)SLIT -> (f)sLit in TcBinds

16 years ago(F)SLIT -> (f)sLit in TcHsType
Ian Lynagh [Sat, 12 Apr 2008 16:10:45 +0000 (16:10 +0000)]
(F)SLIT -> (f)sLit in TcHsType