Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'master' of https://github.com/ghc/ghc into ↵ | Gabor Greif | 2012-08-30 | 43 | -1859/+1001 |
|\ | | | | | | | cross-compiler-alienless | ||||
| * | Fail earlier if there's an error in a type declaration | Simon Peyton Jones | 2012-08-29 | 1 | -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 desugarer | Simon Peyton Jones | 2012-08-29 | 2 | -15/+17 |
| | | | | | | | | Pls merge to 7.6 | ||||
| * | Merge branch 'master' of http://darcs.haskell.org/ghc | Simon Peyton Jones | 2012-08-29 | 35 | -1825/+945 |
| |\ | |||||
| | * | Remove CPP from coreSyn/CoreUtils.lhs | Ian Lynagh | 2012-08-29 | 3 | -18/+26 |
| | | | |||||
| | * | Add DynFlags to the CorePrepEnv | Ian Lynagh | 2012-08-29 | 1 | -14/+21 |
| | | | |||||
| | * | Remove CPP from cmm/CmmParse.y | Ian Lynagh | 2012-08-28 | 1 | -6/+8 |
| | | | |||||
| | * | Whitespace only in cmm/CmmParse.y | Ian Lynagh | 2012-08-28 | 1 | -541/+541 |
| | | | |||||
| | * | Remove some CPP from nativeGen/X86/Instr.hs | Ian Lynagh | 2012-08-28 | 1 | -5/+4 |
| | | | |||||
| | * | Remove some CPP from compiler/ghci/Linker.lhs | Ian Lynagh | 2012-08-28 | 2 | -23/+23 |
| | | | |||||
| | * | Remove Util.{isDarwinTarget,isWindowsTarget} | Ian Lynagh | 2012-08-28 | 2 | -38/+41 |
| | | | |||||
| | * | Remove some CPP from llvmGen/LlvmCodeGen/Ppr.hs | Ian Lynagh | 2012-08-28 | 1 | -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.h | Ian Lynagh | 2012-08-28 | 3 | -27/+16 |
| | | | |||||
| | * | Remove some old commented-out code | Ian Lynagh | 2012-08-28 | 1 | -128/+0 |
| | | | |||||
| | * | Move more code into codeGen/CodeGen/Platform.hs | Ian Lynagh | 2012-08-28 | 27 | -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/ghc | Simon Peyton Jones | 2012-08-28 | 49 | -1308/+1401 |
| |\ \ | | |/ | |||||
| | * | generalise the type of eqStableName# | Simon Marlow | 2012-08-28 | 1 | -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 generator | Simon Marlow | 2012-08-28 | 4 | -7/+7 |
| | | | | | | | | | | | | The CmmBlocks inside CmmExprs were not getting the PIC treatment | ||||
| | * | Fix callerSaves, activeStgRegs, haveRegBase when unregisterised | Simon Marlow | 2012-08-28 | 1 | -0/+6 |
| | | | |||||
| * | | Fix pretty-printing for GADTs in infix form | Simon Peyton Jones | 2012-08-28 | 1 | -2/+3 |
| | | | |||||
| * | | Comments in CoreSyn only | Simon Peyton Jones | 2012-08-28 | 1 | -0/+8 |
| | | | |||||
| * | | Fix Trac #7092, involving Template Hsakell and name shadowing | Simon Peyton Jones | 2012-08-28 | 1 | -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 Greif | 2012-08-27 | 130 | -3771/+4705 |
|\ \ \ | | |/ | |/| | | | | cross-compiler-alienless | ||||
| * | | Make badImportItem into a warning (#7167) | Paolo Capriotti | 2012-08-25 | 1 | -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/ghc | Simon Peyton Jones | 2012-08-23 | 4 | -22/+50 |
| |\ \ | |||||
| | * | | Fix for optimizer bug on linux-powerpc (#6156). | Erik de Castro Lopo | 2012-08-23 | 1 | -4/+4 |
| | | | | |||||
| | * | | Emit a warning for -rtsopts -shared, as well as -rtsopts -no-hs-main | Simon Marlow | 2012-08-23 | 1 | -7/+13 |
| | | | | | | | | | | | | | | | | | | | | -rtsopts has no effect with -shared, so we should emit a warning. See #5373 and #7177. | ||||
| | * | | Fix :issafe command (#7172). | David Terei | 2012-08-23 | 2 | -4/+24 |
| | | | | |||||
| | * | | Improve Safe Haskell warn/error output. | David Terei | 2012-08-23 | 1 | -7/+9 |
| | | | | |||||
| * | | | Don't specialise on implicit-parameter arguments in Specalise | Simon Peyton Jones | 2012-08-23 | 1 | -4/+8 |
| | | | | | | | | | | | | | | | | This is a fix for Trac #7101 | ||||
| * | | | Two small fixes to SpecConstr for functions with equality-proof args | Simon Peyton Jones | 2012-08-23 | 2 | -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 pattterns | Simon Peyton Jones | 2012-08-23 | 1 | -4/+3 |
| | | | | | | | | | | | | | | | | This is part of the fix to Trac #7165 | ||||
| * | | | Merge ../HEAD | Simon Peyton Jones | 2012-08-23 | 10 | -96/+225 |
| |\ \ \ | | |/ / | |/| / | | |/ | |||||
| | * | Don't assume that coercion variables have (~) types | Simon Peyton Jones | 2012-08-23 | 1 | -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 refactoring | Simon Peyton Jones | 2012-08-23 | 1 | -7/+5 |
| | | | |||||
| | * | Add mapTM to TrieMap | Simon Peyton Jones | 2012-08-22 | 1 | -13/+100 |
| | | | |||||
| | * | Tab elimination | Simon Peyton Jones | 2012-08-22 | 1 | -1/+1 |
| | | | |||||
| | * | A bit more debug output | Simon Peyton Jones | 2012-08-22 | 1 | -1/+1 |
| | | | |||||
| | * | Fix missing case in coVarsOfTcCo | Simon Peyton Jones | 2012-08-22 | 1 | -4/+2 |
| | | | | | | | | | | | | Reported by Ganesh, Trac #7178. Fix is easy. | ||||
| | * | Refactor the way we infer types for functions in a mutually recursive group | Simon Peyton Jones | 2012-08-21 | 3 | -47/+90 |
| | | | | | | | | | | | | | | | See Note [Impedence matching] in TcBinds. Fixes Trac #7173 | ||||
| | * | Re-jig the reporting of names bound multiple times | Simon Peyton Jones | 2012-08-21 | 4 | -16/+20 |
| | | | | | | | | | | | | Fixes Trac #7164 | ||||
| * | | More CPP removal in nativeGen/X86/Regs.hs | Ian Lynagh | 2012-08-22 | 2 | -12/+10 |
| | | | |||||
| * | | More CPP removal in nativeGen/X86/Regs.hs | Ian Lynagh | 2012-08-22 | 1 | -15/+10 |
| | | | |||||
| * | | Remove some CPP in nativeGen/X86/Regs.hs | Ian Lynagh | 2012-08-22 | 2 | -30/+24 |
| | | | |||||
| * | | Make the PPC globalRegMaybe more similar to the other platforms' | Ian Lynagh | 2012-08-21 | 2 | -27/+27 |
| | | | |||||
| * | | Whitespace only in compiler/nativeGen/PPC/Regs.hs | Ian Lynagh | 2012-08-21 | 1 | -201/+194 |
| | | | |||||
| * | | Whitespace only in nativeGen/RegAlloc/Linear/X86/FreeRegs.hs | Ian Lynagh | 2012-08-21 | 1 | -24/+17 |
| | | | |||||
| * | | Remove unused 'targetWordSize' | Ian Lynagh | 2012-08-21 | 1 | -6/+0 |
| | | | |||||
| * | | Pass platform down to lastint | Ian Lynagh | 2012-08-21 | 5 | -25/+25 |
| | | | |||||
| * | | Pass platform down to lastxmm | Ian Lynagh | 2012-08-21 | 14 | -108/+129 |
| | | |