Ian Lynagh [Sat, 3 May 2008 17:00:53 +0000 (17:00 +0000)]
Whitespace only
Roman Leshchinskiy [Sun, 4 May 2008 05:40:06 +0000 (05:40 +0000)]
Vectorise polymorphic let bindings
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.
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.
Norman Ramsey [Sat, 3 May 2008 22:47:20 +0000 (22:47 +0000)]
replace hints with kinds in parser as well
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
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.
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...
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
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.
Ian Lynagh [Wed, 30 Apr 2008 15:25:08 +0000 (15:25 +0000)]
Improve the unboxed types documentation
Mainly adding descriptions of unboxed literals,
keller@cse.unsw.edu.au [Fri, 2 May 2008 03:19:05 +0000 (03:19 +0000)]
sumP on doubles and int
keller@cse.unsw.edu.au [Thu, 1 May 2008 01:18:24 +0000 (01:18 +0000)]
Fixed vect decl for sumP, enumfromToP
Don Stewart [Thu, 1 May 2008 00:05:17 +0000 (00:05 +0000)]
Missing .0 on float constant.
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>
Ian Lynagh [Wed, 30 Apr 2008 13:13:49 +0000 (13:13 +0000)]
Use panic rather than error in RegLiveness
Ian Lynagh [Wed, 30 Apr 2008 13:13:17 +0000 (13:13 +0000)]
Update an error message
error "RegisterAlloc.livenessSCCs" -> error "RegLiveness.livenessSCCs"
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.
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.
simonpj@microsoft.com [Wed, 30 Apr 2008 08:24:31 +0000 (08:24 +0000)]
Improve documentation of RULES pragmas
Simon Marlow [Tue, 29 Apr 2008 22:24:42 +0000 (22:24 +0000)]
change topHandlerFastExit to topHandler, so the terminal state gets restored (#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)
Simon Marlow [Tue, 29 Apr 2008 21:29:45 +0000 (21:29 +0000)]
FIX #1933: use a better test for timer_create()
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.
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.
Ian Lynagh [Sun, 27 Apr 2008 19:00:49 +0000 (19:00 +0000)]
Add :list to ghci's :? help; fixes trac #2217
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
Ian Lynagh [Sun, 27 Apr 2008 10:35:45 +0000 (10:35 +0000)]
Fix build on PPC: Add some missing parentheses
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.
Ian Lynagh [Sat, 26 Apr 2008 01:09:08 +0000 (01:09 +0000)]
Whitespace changes only
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.
Ian Lynagh [Fri, 25 Apr 2008 13:47:25 +0000 (13:47 +0000)]
Fix a couple of format strings in Ticky.c
Ian Lynagh [Fri, 25 Apr 2008 13:43:07 +0000 (13:43 +0000)]
Comment out some unused code in Ticky.c
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...
keller@cse.unsw.edu.au [Fri, 25 Apr 2008 07:24:21 +0000 (07:24 +0000)]
Vectorisation of: enumFromTo, div, intSqrt
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.
Ian Lynagh [Wed, 23 Apr 2008 16:11:15 +0000 (16:11 +0000)]
Add 123## literals for Word#
Ian Lynagh [Wed, 23 Apr 2008 14:35:53 +0000 (14:35 +0000)]
Whitespace changes only
keller@cse.unsw.edu.au [Thu, 24 Apr 2008 02:00:25 +0000 (02:00 +0000)]
Added support for vectorising emptyP, squareRoot, combineP
Ian Lynagh [Wed, 23 Apr 2008 11:09:30 +0000 (11:09 +0000)]
Add back an erroneously removed #include "HsVersions.h"
Roman Leshchinskiy [Wed, 23 Apr 2008 04:28:20 +0000 (04:28 +0000)]
Include HsVersions.h where necessary
Ian Lynagh [Tue, 22 Apr 2008 16:49:16 +0000 (16:49 +0000)]
Make a panic slightly more helpful
Ian Lynagh [Tue, 22 Apr 2008 13:38:38 +0000 (13:38 +0000)]
Fix build
Ian Lynagh [Tue, 22 Apr 2008 12:49:19 +0000 (12:49 +0000)]
Fix build
Ian Lynagh [Tue, 22 Apr 2008 12:49:08 +0000 (12:49 +0000)]
(F)SLIT -> (f)sLit in SimplUtils
Ian Lynagh [Tue, 22 Apr 2008 12:23:19 +0000 (12:23 +0000)]
(F)SLIT -> (f)sLit in HsBinds
Ian Lynagh [Tue, 22 Apr 2008 12:22:26 +0000 (12:22 +0000)]
(F)SLIT -> (f)sLit in StaticFlags
Ian Lynagh [Tue, 22 Apr 2008 11:55:00 +0000 (11:55 +0000)]
Build fixes
Ian Lynagh [Tue, 22 Apr 2008 11:47:13 +0000 (11:47 +0000)]
Change the last few (F)SLIT's into (f)sLit's
Ian Lynagh [Tue, 22 Apr 2008 11:39:07 +0000 (11:39 +0000)]
FSLIT -> fsLit in PrelNames
Ian Lynagh [Tue, 22 Apr 2008 11:38:17 +0000 (11:38 +0000)]
Fix warnings in PrelNames
Ian Lynagh [Tue, 22 Apr 2008 11:08:57 +0000 (11:08 +0000)]
(F)SLIT -> (f)sLit in CmmParse
Ian Lynagh [Sun, 13 Apr 2008 12:43:25 +0000 (12:43 +0000)]
PrelRules is now warning free
Ian Lynagh [Sun, 13 Apr 2008 10:31:20 +0000 (10:31 +0000)]
Remove a warning
Ian Lynagh [Sun, 13 Apr 2008 10:29:06 +0000 (10:29 +0000)]
PrelInfo is now warning-free
Ian Lynagh [Sun, 13 Apr 2008 10:17:57 +0000 (10:17 +0000)]
TysPrim is now warning-free
Ian Lynagh [Sun, 13 Apr 2008 09:40:12 +0000 (09:40 +0000)]
TysWiredIn is now warning-free
Ian Lynagh [Sat, 12 Apr 2008 18:01:26 +0000 (18:01 +0000)]
(F)SLIT -> (f)sLit in TcSplice
Ian Lynagh [Sat, 12 Apr 2008 18:00:37 +0000 (18:00 +0000)]
(F)SLIT -> (f)sLit in Convert
Ian Lynagh [Sat, 12 Apr 2008 18:00:18 +0000 (18:00 +0000)]
(F)SLIT -> (f)sLit in InteractiveUI
Ian Lynagh [Sat, 12 Apr 2008 17:58:50 +0000 (17:58 +0000)]
(F)SLIT -> (f)sLit in InteractiveEval
Ian Lynagh [Sat, 12 Apr 2008 17:57:34 +0000 (17:57 +0000)]
(F)SLIT -> (f)sLit in RtClosureInspect
Ian Lynagh [Sat, 12 Apr 2008 17:57:00 +0000 (17:57 +0000)]
(F)SLIT -> (f)sLit in Linker
Ian Lynagh [Sat, 12 Apr 2008 17:54:56 +0000 (17:54 +0000)]
(F)SLIT -> (f)sLit in ByteCodeGen
Ian Lynagh [Sat, 12 Apr 2008 17:54:07 +0000 (17:54 +0000)]
(F)SLIT -> (f)sLit in DsMeta
Ian Lynagh [Sat, 12 Apr 2008 16:38:11 +0000 (16:38 +0000)]
(F)SLIT -> (f)sLit in PprTyThing
Ian Lynagh [Sat, 12 Apr 2008 16:37:24 +0000 (16:37 +0000)]
(F)SLIT -> (f)sLit in DriverMkDepend
Ian Lynagh [Sat, 12 Apr 2008 16:36:04 +0000 (16:36 +0000)]
(F)SLIT -> (f)sLit in GHC
Ian Lynagh [Sat, 12 Apr 2008 16:34:06 +0000 (16:34 +0000)]
(F)SLIT -> (f)sLit in DriverPipeline
Ian Lynagh [Sat, 12 Apr 2008 16:33:20 +0000 (16:33 +0000)]
(F)SLIT -> (f)sLit in HscMain
Ian Lynagh [Sat, 12 Apr 2008 16:29:30 +0000 (16:29 +0000)]
(F)SLIT -> (f)sLit in TcRnDriver
Ian Lynagh [Sat, 12 Apr 2008 16:28:24 +0000 (16:28 +0000)]
(F)SLIT -> (f)sLit in TcDefaults
Ian Lynagh [Sat, 12 Apr 2008 16:27:05 +0000 (16:27 +0000)]
(F)SLIT -> (f)sLit in TcRules
Ian Lynagh [Sat, 12 Apr 2008 16:26:32 +0000 (16:26 +0000)]
(F)SLIT -> (f)sLit in TcForeign
Ian Lynagh [Sat, 12 Apr 2008 16:25:33 +0000 (16:25 +0000)]
(F)SLIT -> (f)sLit in TcExpr
Ian Lynagh [Sat, 12 Apr 2008 16:24:03 +0000 (16:24 +0000)]
(F)SLIT -> (f)sLit in TcArrows
Ian Lynagh [Sat, 12 Apr 2008 16:23:14 +0000 (16:23 +0000)]
(F)SLIT -> (f)sLit in TcMatches
Ian Lynagh [Sat, 12 Apr 2008 16:21:52 +0000 (16:21 +0000)]
(F)SLIT -> (f)sLit in TcInstDcls
Ian Lynagh [Sat, 12 Apr 2008 16:20:33 +0000 (16:20 +0000)]
(F)SLIT -> (f)sLit in FamInst
Ian Lynagh [Sat, 12 Apr 2008 16:19:58 +0000 (16:19 +0000)]
(F)SLIT -> (f)sLit in TcDeriv
Ian Lynagh [Sat, 12 Apr 2008 16:18:27 +0000 (16:18 +0000)]
(F)SLIT -> (f)sLit in TcGenDeriv
Ian Lynagh [Sat, 12 Apr 2008 16:17:08 +0000 (16:17 +0000)]
(F)SLIT -> (f)sLit in TcTyClsDecls
Ian Lynagh [Sat, 12 Apr 2008 16:15:17 +0000 (16:15 +0000)]
(F)SLIT -> (f)sLit in TcClassDcl
Ian Lynagh [Sat, 12 Apr 2008 16:14:10 +0000 (16:14 +0000)]
(F)SLIT -> (f)sLit in RnExpr
Ian Lynagh [Sat, 12 Apr 2008 16:13:20 +0000 (16:13 +0000)]
(F)SLIT -> (f)sLit in TcBinds
Ian Lynagh [Sat, 12 Apr 2008 16:10:45 +0000 (16:10 +0000)]
(F)SLIT -> (f)sLit in TcHsType
Ian Lynagh [Sat, 12 Apr 2008 16:09:44 +0000 (16:09 +0000)]
(F)SLIT -> (f)sLit in Generics
Ian Lynagh [Sat, 12 Apr 2008 16:07:15 +0000 (16:07 +0000)]
(F)SLIT -> (f)sLit in TcSimplify
Ian Lynagh [Sat, 12 Apr 2008 16:05:59 +0000 (16:05 +0000)]
(F)SLIT -> (f)sLit in TcTyFuns
Ian Lynagh [Sat, 12 Apr 2008 16:04:53 +0000 (16:04 +0000)]
(F)SLIT -> (f)sLit in Inst
Ian Lynagh [Sat, 12 Apr 2008 16:03:48 +0000 (16:03 +0000)]
(F)SLIT -> (f)sLit in RnSource
Ian Lynagh [Sat, 12 Apr 2008 16:02:32 +0000 (16:02 +0000)]
(F)SLIT -> (f)sLit in RnBinds
Ian Lynagh [Sat, 12 Apr 2008 16:01:38 +0000 (16:01 +0000)]
(F)SLIT -> (f)sLit in RnPat
Ian Lynagh [Sat, 12 Apr 2008 16:00:39 +0000 (16:00 +0000)]
(F)SLIT -> (f)sLit in RnTypes
Ian Lynagh [Sat, 12 Apr 2008 15:59:23 +0000 (15:59 +0000)]
(F)SLIT -> (f)sLit in RnNames
Ian Lynagh [Sat, 12 Apr 2008 15:58:10 +0000 (15:58 +0000)]
(F)SLIT -> (f)sLit in RnEnv
Ian Lynagh [Sat, 12 Apr 2008 15:56:39 +0000 (15:56 +0000)]
(F)SLIT -> (f)sLit in TcEnv
Ian Lynagh [Sat, 12 Apr 2008 15:55:51 +0000 (15:55 +0000)]
(F)SLIT -> (f)sLit in CSE
Ian Lynagh [Sat, 12 Apr 2008 15:55:17 +0000 (15:55 +0000)]
(F)SLIT -> (f)sLit in Simplify
Ian Lynagh [Sat, 12 Apr 2008 15:53:11 +0000 (15:53 +0000)]
(F)SLIT -> (f)sLit in SimplEnv