Commits

Show all
Author Commit Message Labels Comments Date
Simon Peyton Jones
Make fresh variables when decomposing Givens This turns out to be important becuase we don't have a form for superclass selection in TcCoercion (we could but we don't). Se comments with xCtFlavor_cache, the Given case.
Simon Peyton Jones
Use fresh uniques when unboxing coercions in the desugarer This is kosher, and turns out to be vital when we have more complicate evidence terms.
Simon Peyton Jones
Cosmetics
Simon Peyton Jones
Yet another major refactoring of the constraint solver This is the result of Simon and Dimitrios doing a code walk through. There is no change in behaviour, but the structure is much better. Main changes: * Given constraints contain an EvTerm not an EvVar * Correspondingly, TcEvidence is a recursive types that uses EvTerms rather than EvVars * Rename CtFlavor to CtEvidence * Every CtEvidence has a ctev_pred field. And use record fields consis…
Simon Peyton Jones
Fix typo in error message (Trac #6076)
simonmar
Fix overnight build breakage (fix from simonpj) compiler/simplCore/SimplUtils.lhs:1668:5-25: Irrefutable pattern failed for pattern ((_, _, rhs1) : _)
Ian Lynagh
Add _getpid to rtsSyms on Win64
Ian Lynagh
Check the calling convention of foreign imported labels is supported Fixes 2276_ghci on Win64
Ian Lynagh
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh
Win64 build fix
Ian Lynagh
More Win64 ghci fixes
Simon Peyton Jones
Merge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones
Allow cases with empty alterantives This patch allows, for the first time, case expressions with an empty list of alternatives. Max suggested the idea, and Trac #6067 showed that it is really quite important. So I've implemented the idea, fixing #6067. Main changes * See Note [Empty case alternatives] in CoreSyn * Various foldr1's become foldrs * IfaceCase does not record the type of the alternatives. I added IfaceECase fo…
Paolo Capriotti
Cast memory primops in the C backend (#5976) To prevent conflicts with GCC builtins, generate identical code for calls to mem primos and FFI calls. Based on a patch by Joachim Breitner.
Ian Lynagh
Win64 Linker improvements We now detect if we are given a value that is out of range for a 32bit relocation, and fail with an error. Added a load more symbols to rtsSyms.
Ian Lynagh
Add 'free' to the list of rtsSyms on Win64 Without this, we ended up using (gdb) info symbol 0x7ff756a10ac msvcrt!free in section .text of C:\Windows\system32\msvcrt.dll for free, rather than (gdb) info symbol 0x2584128 free in section .text of C:\m64\ghci2\q/../inplace/bin/ghc-stage2.exe but we were trying to put the address into a 32bit relocation.
Ian Lynagh
Fix Win64 build now that hsc2hs knows what platform we're on
Ian Lynagh
Define _HOST_OS and _HOST_ARCH when calling hsc2hs In particular, old-time assumes that mingw32_HOST_OS is set when we are on Windows, and was going wrong on Win64 because it wasn't defined.
Ian Lynagh
Tell checkProddableBlock how many bytes we want to write It doesn't suffice for checkProddableBlock to just check whether the largest possible write could be made at the address we are writing, as if we are making a smaller write then checkProddableBlock may conservatively think we will write off the end of the block. Thus we now tell checkProddableBlock how many bytes we will write.
Ian Lynagh
Revert "Revert "More Win32 build fixes"" This reverts commit 29cd6f435f2afb332ad8faf39f5e920ff9c38d9a.
Ian Lynagh
Revert "Revert "Fix build of rts/Linker.c on Win32"" This reverts commit 02cf6d6f71b5772aa4ddf1b70c192a802886e2c2.
Ian Lynagh
Revert "Revert "Get GHCi working on Win64"" This reverts commit 27e585bda6ae8ab68f58abdcb9e06806414a6636.
Manuel M T Chakravarty
Revert "Get GHCi working on Win64" This reverts commit 05b55c670c7fe3fc01827ca02aafb6926c0b69cb.
Manuel M T Chakravarty
Revert "Fix build of rts/Linker.c on Win32" This reverts commit 0042c478f1169ddd9392fb39de7d0aed865a272e.
Manuel M T Chakravarty
Revert "More Win32 build fixes" This reverts commit e89ef70475fa5e9cf17af01b1b5d7fced0d2e13c.
Simon Peyton Jones
Wibble to pretty printing
Simon Peyton Jones
Merge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones
Tidy up a remaining glitch in unification There was one place, in type checking parallel list comprehensions where we were unifying types, but had no convenient way to use the resulting coercion; instead we just checked that it was Refl. This was Wrong Wrong; it might fail unpredicably in a GADT-like situation, and it led to extra error-generation code used only in this one place. This patch tidies it all up, by moving the 'return' meth…
Ian Lynagh
Fix maintenance of n_blocks in the RTS It was causing assertion failures of ASSERT(countBlocks(nursery->blocks) == nursery->n_blocks) at ghc-stage2: internal error: ASSERTION FAILED: file rts/sm/Sanity.c, line 878
Ian Lynagh
More Win32 build fixes
  1. Prev
  2. Next