summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/ghc/ghc into ↵Gabor Greif2012-08-3043-1859/+1001
|\ | | | | | | cross-compiler-alienless
| * Fail earlier if there's an error in a type declarationSimon Peyton Jones2012-08-291-3/+4
| | | | | | | | | | | | | | | | | | | | | | This change means that we don't recover from erroneous type declarations, thereby reporting fewer errors. But trying to recover confused GHC (leading to a pattern match failure in the compiler Trac #7175), and it turned out to be tricky to fix that. So this patch takes the more conservative path of failing earlier, perhaps reporting fewer real errors.
| * Fix Trac #7196 by adding a case to the desugarerSimon Peyton Jones2012-08-292-15/+17
| | | | | | | | Pls merge to 7.6
| * Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-08-2935-1825/+945
| |\
| | * Remove CPP from coreSyn/CoreUtils.lhsIan Lynagh2012-08-293-18/+26
| | |
| | * Add DynFlags to the CorePrepEnvIan Lynagh2012-08-291-14/+21
| | |
| | * Remove CPP from cmm/CmmParse.yIan Lynagh2012-08-281-6/+8
| | |
| | * Whitespace only in cmm/CmmParse.yIan Lynagh2012-08-281-541/+541
| | |
| | * Remove some CPP from nativeGen/X86/Instr.hsIan Lynagh2012-08-281-5/+4
| | |
| | * Remove some CPP from compiler/ghci/Linker.lhsIan Lynagh2012-08-282-23/+23
| | |
| | * Remove Util.{isDarwinTarget,isWindowsTarget}Ian Lynagh2012-08-282-38/+41
| | |
| | * Remove some CPP from llvmGen/LlvmCodeGen/Ppr.hsIan Lynagh2012-08-281-35/+24
| | | | | | | | | | | | | | | | | | I changed the behaviour slightly, e.g. i386/FreeBSD will no longer fall through and use the Linux "i386-pc-linux-gnu", but will get the final empty case instead. I assume that that's the right thing to do.
| | * Remove some CPP from nativeGen/PPC/Regs.hIan Lynagh2012-08-283-27/+16
| | |
| | * Remove some old commented-out codeIan Lynagh2012-08-281-128/+0
| | |
| | * Move more code into codeGen/CodeGen/Platform.hsIan Lynagh2012-08-2827-990/+241
| | | | | | | | | | | | | | | | | | | | | | | | HaskellMachRegs.h is no longer included in anything under compiler/ Also, includes/CodeGen.Platform.hs now includes "stg/MachRegs.h" rather than <stg/MachRegs.h> which means that we always get the file from the tree, rather than from the bootstrapping compiler.
| * | Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2012-08-2849-1308/+1401
| |\ \ | | |/
| | * generalise the type of eqStableName#Simon Marlow2012-08-281-1/+1
| | | | | | | | | | | | | | | | | | Now the StableName#s don't need to have the same type parameters: eqStableName# :: StableName# a -> StableName# b -> Int#
| | * Fix -fPIC with the new code generatorSimon Marlow2012-08-284-7/+7
| | | | | | | | | | | | The CmmBlocks inside CmmExprs were not getting the PIC treatment
| | * Fix callerSaves, activeStgRegs, haveRegBase when unregisterisedSimon Marlow2012-08-281-0/+6
| | |
| * | Fix pretty-printing for GADTs in infix formSimon Peyton Jones2012-08-281-2/+3
| | |
| * | Comments in CoreSyn onlySimon Peyton Jones2012-08-281-0/+8
| | |
| * | Fix Trac #7092, involving Template Hsakell and name shadowingSimon Peyton Jones2012-08-281-6/+10
| | | | | | | | | | | | | | | All the mechanism was there, but it wasn't being use for the name-shadowing test.
* | | Merge branch 'master' of https://github.com/ghc/ghc into ↵Gabor Greif2012-08-27130-3771/+4705
|\ \ \ | | |/ | |/| | | | cross-compiler-alienless
| * | Make badImportItem into a warning (#7167)Paolo Capriotti2012-08-251-75/+116
| | | | | | | | | | | | | | | Also fix a bug where a dodgy import warning was emitted for data families with a single constructor.
| * | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-08-234-22/+50
| |\ \
| | * | Fix for optimizer bug on linux-powerpc (#6156).Erik de Castro Lopo2012-08-231-4/+4
| | | |
| | * | Emit a warning for -rtsopts -shared, as well as -rtsopts -no-hs-mainSimon Marlow2012-08-231-7/+13
| | | | | | | | | | | | | | | | | | | | -rtsopts has no effect with -shared, so we should emit a warning. See #5373 and #7177.
| | * | Fix :issafe command (#7172).David Terei2012-08-232-4/+24
| | | |
| | * | Improve Safe Haskell warn/error output.David Terei2012-08-231-7/+9
| | | |
| * | | Don't specialise on implicit-parameter arguments in SpecaliseSimon Peyton Jones2012-08-231-4/+8
| | | | | | | | | | | | | | | | This is a fix for Trac #7101
| * | | Two small fixes to SpecConstr for functions with equality-proof argsSimon Peyton Jones2012-08-232-5/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | First, make Rules.match_co able to deal wit some modest coercions Second, make SpecConstr use wild-card for coercion arguments This is the rest of the fix for Trac #7165
| * | | Fix to-iface conversion of RULES involving coercions in argument pattternsSimon Peyton Jones2012-08-231-4/+3
| | | | | | | | | | | | | | | | This is part of the fix to Trac #7165
| * | | Merge ../HEADSimon Peyton Jones2012-08-2310-96/+225
| |\ \ \ | | |/ / | |/| / | | |/
| | * Don't assume that coercion variables have (~) typesSimon Peyton Jones2012-08-231-9/+8
| | | | | | | | | | | | | | | | | | | | | The constraint solver doesn't zonk the types of coercion variables so we can't assume that a coercion variable will have a (~) type. Fixes Trac #7090.
| | * Minor refactoringSimon Peyton Jones2012-08-231-7/+5
| | |
| | * Add mapTM to TrieMapSimon Peyton Jones2012-08-221-13/+100
| | |
| | * Tab eliminationSimon Peyton Jones2012-08-221-1/+1
| | |
| | * A bit more debug outputSimon Peyton Jones2012-08-221-1/+1
| | |
| | * Fix missing case in coVarsOfTcCoSimon Peyton Jones2012-08-221-4/+2
| | | | | | | | | | | | Reported by Ganesh, Trac #7178. Fix is easy.
| | * Refactor the way we infer types for functions in a mutually recursive groupSimon Peyton Jones2012-08-213-47/+90
| | | | | | | | | | | | | | | See Note [Impedence matching] in TcBinds. Fixes Trac #7173
| | * Re-jig the reporting of names bound multiple timesSimon Peyton Jones2012-08-214-16/+20
| | | | | | | | | | | | Fixes Trac #7164
| * | More CPP removal in nativeGen/X86/Regs.hsIan Lynagh2012-08-222-12/+10
| | |
| * | More CPP removal in nativeGen/X86/Regs.hsIan Lynagh2012-08-221-15/+10
| | |
| * | Remove some CPP in nativeGen/X86/Regs.hsIan Lynagh2012-08-222-30/+24
| | |
| * | Make the PPC globalRegMaybe more similar to the other platforms'Ian Lynagh2012-08-212-27/+27
| | |
| * | Whitespace only in compiler/nativeGen/PPC/Regs.hsIan Lynagh2012-08-211-201/+194
| | |
| * | Whitespace only in nativeGen/RegAlloc/Linear/X86/FreeRegs.hsIan Lynagh2012-08-211-24/+17
| | |
| * | Remove unused 'targetWordSize'Ian Lynagh2012-08-211-6/+0
| | |
| * | Pass platform down to lastintIan Lynagh2012-08-215-25/+25
| | |
| * | Pass platform down to lastxmmIan Lynagh2012-08-2114-108/+129
| | |