- Apr 18, 2013
-
-
Ian Lynagh authored
-
Ian Lynagh authored
-
Ian Lynagh authored
-
- Apr 16, 2013
-
-
Simon Peyton Jones authored
(without this I get an ASSERT failure) commit 1353d1ef Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Thu Dec 20 20:13:36 2012 +0000 Fix over-zealous ASSERT in TcUnify
-
Simon Peyton Jones authored
The caching of goals in the constraint solver led to a equality-constraint loop even in a really simple program! commit b737a453 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Fri Aug 31 10:05:03 2012 +0100 More simplifications to the constraint solver * inert_solved becomes dictionaries-only, inert_solved_dicts * inert_solved_dicts is used only to cache the result of uses of a top level instance declaration, just like inert_solved_funeqs * That in turn simplifies xCtFlavor and rewriteCtFlavor, because they no longer need a "should I cache" parameter. (Moreover the settings for this parameter were very subtle; it's easy to get loops if you cache too much. Caching only top-level instance uses is much safer, and eliminates all these subtle cases.)
-
- Jan 29, 2013
-
-
Ian Lynagh authored
-
Ian Lynagh authored
-
Ian Lynagh authored
-
Ian Lynagh authored
-
Ian Lynagh authored
-
- Jan 27, 2013
-
-
Ian Lynagh authored
-
- Jan 17, 2013
-
-
Ian Lynagh authored
-
Ian Lynagh authored
Fixes signals004(threaded1,threaded2) on OS X 32.
-
Ian Lynagh authored
Fixes T3807 on OS X 32.
-
- Jan 12, 2013
-
-
Ian Lynagh authored
-
Submitted by: Markus Pfeiffer <markus.pfeiffer@morphism.de> on cvs-ghc
-
Ian Lynagh authored
-
- Jan 04, 2013
-
-
Ian Lynagh authored
-
Simon Peyton Jones authored
This bug was making GHC loop when printing external core from test T7239.
-
Ian Lynagh authored
Apparently this fixes the build with dblatex 0.3.4.
-
- Jan 03, 2013
-
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
This fixes Trac #7503.
-
Simon Peyton Jones authored
This fixes Trac #7368. The problem was that we were matching Bad w ~ f (Bad f) where (f :: * -> *). Thta leads to (w ~ Bad f), which is ill-kinded, but matchExpectedTyConApp was returning the (Bad f) as the argument type, and that was being used to instanatiate w in the data constructor type, which is very bad. The code also becomes simpler and easier to understand, which is an excellent thing.
-
-
Ian Lynagh authored
This reverts commit 5ea49271.
-
- Dec 14, 2012
-
-
Signed-off-by: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
-
-
Ian Lynagh authored
commit f184d9ca Author: Simon Marlow <marlowsd@gmail.com> Date: Mon Dec 10 12:00:54 2012 +0000 Fix a bug in the handling of nested orElse Exposed by the following snippet, courtesy of Bas van Dijk and Patrick Palka on libraries@haskell.org: import Control.Concurrent.STM main = do x <- atomically $ do t <- newTVar 1 writeTVar t 2 ((readTVar t >> retry) `orElse` return ()) `orElse` return () readTVar t print x
-
- Dec 07, 2012
-
-
Simon Peyton Jones authored
Without -O, we previously tried to make interface files smaller by not including the data constructors of data types. But there are a lot of exceptions, notably when Template Haskell is involved or, more recently, DataKinds. However Trac #7445 shows that even without TemplateHaskell, using the Data class and invoking Language.Haskell.TH.Quote.dataToExpQ is enough to require us to expose the data constructors. So I've given up on this "optimisation" -- it's probably not important anyway. Now I'm simply not attempting to trim off the data constructors. The gain in simplicity is worth the modest cost in interface file growth, which is limited to the bits reqd to describe those data constructors. Conflicts: compiler/main/TidyPgm.lhs
-
Ian Lynagh authored
-
-
-
Simon Peyton Jones authored
Thanks to Richard Eisenberg for writing this.
-
Simon Peyton Jones authored
This reverts the change in Trac #7347, which prevented promotion of existential data constructors. Ones with constraints in their types, or kind polymorphism, still can't be promoted.
-
Ian Lynagh authored
-
Ian Lynagh authored
-
- Dec 03, 2012
-
-
Simon Peyton Jones authored
This patch fixes a quite egregious bug. runTcS was intialising the 'untouchables' to NoUntouchables, which is quite wrong for the invocation in TcSimplify.simplifyInfer. Result: missed skolem-escape check and seg-fault city. All this is done differently, and better, in HEAD, so this patch is needed only on the branch.
-
- Dec 02, 2012
-
-
Ian Lynagh authored
This is a kludge, and means that ghc/haddock won't be able to use more than 2G of RAM. But it'll make sure that ghci works in the short term while we work on a proper fix.
-
- Nov 29, 2012
-
-
Simon Peyton Jones authored
Trac #7410 pointed out a terrible error message, which is much improved by this patch. Conflicts: compiler/typecheck/TcHsType.lhs
-