summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Collapse)AuthorAgeFilesLines
* Fix whitespace in DriverMkDependIan Lynagh2008-06-141-227/+226
|
* Fix the last warnings in DynFlagsIan Lynagh2008-06-141-8/+22
| | | | | We might want to put the values initSysTools finds in their own type, rather than having them flattened into DynFlags
* Pass dynflags down to loadPackageConfig rather than using defaultDynFlagsIan Lynagh2008-06-142-4/+4
|
* Make initSysTools use the dflags it is passed, rather than defaultDynFlagsIan Lynagh2008-06-142-5/+3
|
* Remove some unused bindings from HaddockLexIan Lynagh2008-06-141-5/+4
|
* Pass dynflags down through to pragStateIan Lynagh2008-06-144-17/+17
| | | | so we no longer need to use defaultDynFlags there
* Whitespace only in DynFlagsIan Lynagh2008-06-141-534/+534
|
* Define and use is_decdigit for lexing escapes; fixes trac #2304Ian Lynagh2008-06-132-5/+9
|
* Make SysTools warning-freeIan Lynagh2008-06-121-19/+12
|
* Remove some CPPery with the help of a new value isWindowsHost in UtilIan Lynagh2008-06-122-56/+57
| | | | isWindowsHost is True iff mingw32_HOST_OS is defined.
* Remove unused FFI import GetTempPathA (getTempPath)Ian Lynagh2008-06-121-4/+0
|
* Whitespace only, in SysToolsIan Lynagh2008-06-111-275/+275
|
* Get rid of the last remnants of PROJECT_DIRIan Lynagh2008-06-112-9/+1
| | | | This disappeared when we stopped being "fptools" and became just "ghc"
* Fix warnings in LexCoreIan Lynagh2008-06-101-21/+27
|
* Fix warnings in CtypeIan Lynagh2008-06-101-9/+8
|
* Fix warnings in TcPatIan Lynagh2008-06-101-29/+29
|
* Fix warnings in TcEnvIan Lynagh2008-06-101-17/+17
|
* Fix warnings in TcRnTypesIan Lynagh2008-06-061-22/+31
|
* Fix warnings in TcTyClsDeclsIan Lynagh2008-06-061-20/+66
|
* Fix warnings in TcHsTypeIan Lynagh2008-06-061-38/+42
|
* Fix warnings in TcSimplifyIan Lynagh2008-06-061-34/+34
|
* Fix warnings in TcRulesIan Lynagh2008-06-061-8/+2
|
* Fix warnings in TcInstDclsIan Lynagh2008-06-061-12/+17
|
* Fix warnings in TcMTypeIan Lynagh2008-06-061-36/+55
|
* Fix warnings in TcForeignIan Lynagh2008-06-061-17/+30
|
* Fix warnings in TcClassDclIan Lynagh2008-06-061-17/+41
|
* Fix a bug in eqPatTypeIan Lynagh2008-06-061-2/+2
| | | | | | | One of the conditions we were checking was t2 `eqPatLType` t2 rather than t1 `eqPatLType` t2
* Show whether DEBUG is on in ghc --infoIan Lynagh2008-06-061-1/+3
|
* Fix Trac #2334: validity checking for type familiessimonpj@microsoft.com2008-06-063-33/+42
| | | | | | | | | | | | | | | | | | | | | | | | | | When we deal with a family-instance declaration (TcTyClsDecls.tcFamInstDecl) we must check the TyCon for validity; for example, that a newtype has exactly one field. That is done all-at-once for normal declarations, and had been forgotten altogether for families. I also refactored the interface to tcFamInstDecl1 slightly. A slightly separate matter: if there's an error in family instances (e.g. overlap) we get a confusing error message cascade if we attempt to deal with 'deriving' clauses too; this patch bales out earlier in that case. Another slightly separate matter: standalone deriving for family instances can legitimately have more specific types, just like normal data decls. For example data instance F [a] = ... deriving instance (Eq a, Eq b) => Eq (F [(a,b)]) So tcLookupFamInstExact can a bit more forgiving than it was.
* Vital follow-up to fix of Trac #2045simonpj@microsoft.com2008-06-051-5/+2
| | | | | | | | | Sorry -- my 'validate' didn't work right and I missed a trick. This patch must accompany * Fix Trac #2045: use big-tuple machiney for implication constraints
* Fix Trac #2045: use big-tuple machiney for implication constraintssimonpj@microsoft.com2008-06-052-13/+13
|
* Comments onlysimonpj@microsoft.com2008-06-051-0/+17
|
* Desugar multiple polymorphic bindings more intelligentlysimonpj@microsoft.com2008-06-052-33/+142
| | | | | | | | | | | | | | | | | | | | | | | | Occasionally people write very large recursive groups of definitions. In general we desugar these to a single definition that binds tuple, plus lots of tuple selectors. But that code has quadratic size, which can be bad. This patch adds a new case to the desugaring of bindings, for the situation where there are lots of polymorphic variables, but no dictionaries. (Dictionaries force us into the general case.) See Note [Abstracting over tyvars only]. The extra behaviour can be disabled with the (static) flag -fno-ds-multi-tyvar in case we want to experiment with switching it on or off. There is essentially-zero effect on the nofib suite though. I was provoked into doing this by Trac #1136. In fact I'm not sure it's the real cause of the problem there, but it's a good idea anyway.
* Add non-recursive let-bindings for typessimonpj@microsoft.com2008-06-056-88/+61
| | | | | | | | | | | | | | | | | | | | | | This patch adds to Core the ability to say let a = Int in <body> where 'a' is a type variable. That is: a type-let. See Note [Type let] in CoreSyn. * The binding is always non-recursive * The simplifier immediately eliminates it by substitution So in effect a type-let is just a delayed substitution. This is convenient in a couple of places in the desugarer, one existing (see the call to CoreTyn.mkTyBind in DsUtils), and one that's in the next upcoming patch. The first use in the desugarer was previously encoded as (/\a. <body>) Int rather that eagerly substituting, but that was horrid because Core Lint had do "know" that a=Int inside <body> else it would bleat. Expressing it directly as a 'let' seems much nicer.
* Fix Trac #2339: reify (mkName "X")simonpj@microsoft.com2008-06-041-18/+22
|
* Fix Trac #2310: result type signatures are not supported any moresimonpj@microsoft.com2008-06-044-43/+40
| | | | | | We have not supported "result type signatures" for some time, but using one in the wrong way caused a crash. This patch tidies it up.
* Sort modules and packages in debug print (reduce test wobbles)simonpj@microsoft.com2008-06-042-5/+22
| | | | | | This affects only the debug print TcRnDriver.pprTcGblEnv, and eliminates test-suite wobbling (affected me for tc168, tc231)
* Fix #2334: tyvar binders can have Names inside (equality predicates)Simon Marlow2008-06-041-1/+14
|
* Fix Trac #2331 (error message suggestion)simonpj@microsoft.com2008-06-031-1/+1
|
* add debugDumpTcRn and use it for some debugging outputSimon Marlow2008-06-032-2/+6
|
* Turn "NOTE: Simplifier still going..." message into a WARN()Simon Marlow2008-06-031-7/+5
|
* remove the "expanding to size" messagesSimon Marlow2008-06-031-2/+1
|
* New flag: -dno-debug-outputSimon Marlow2008-06-033-2/+11
| | | | | | | | | | From the docs: <para>Suppress any unsolicited debugging output. When GHC has been built with the <literal>DEBUG</literal> option it occasionally emits debug output of interest to developers. The extra output can confuse the testing framework and cause bogus test failures, so this flag is provided to turn it off.</para>
* -no-link-chk has been a no-op since at least 6.0; remove itSimon Marlow2008-06-031-3/+0
|
* -no-link-chk is a relicSimon Marlow2008-06-031-2/+0
|
* Shorten debug messagessimonpj@microsoft.com2008-06-032-2/+4
|
* Fix minor layout issue (whitespace only)simonpj@microsoft.com2008-06-021-1/+1
|
* Fix validate: -Werror bug in patch "Replacing copyins and copyouts..."Simon Marlow2008-06-021-5/+0
|
* -fforce-recomp should be unnecessary for Main.hs in stage[23] nowSimon Marlow2008-06-021-3/+0
|
* Missing import in C-- parserdias@eecs.harvard.edu2008-06-021-0/+1
|
View Lorry Controller Status