- Apr 03, 2011
-
-
batterseapower authored
Basically, if the user has written: class Foo a where bar :: a -> a {-# INLINE bar #-} Then we should error out because there is no default method corresponding to the `bar' INLINE pragma. This patch achieves this by splitting the signatures for a class declaration apart into two sets: one that applies to the defaults (INLINE, SPECIALISE), and one which defines the class itself (fixity, type signatures). The two sets are then renamed in different contexts.
-
batterseapower authored
The bug here was that just using rnImports does not ensure that any dependent orphan modules are loaded, so instances declared by such modules will not be usable from the GHCi command line after an "import". This did not affect the :m syntax because it takes a different code path and uses getModuleExports directly, which contains its own calls to the orphan-module loading stuff.
-
Ian Lynagh authored
-
http://darcs.haskell.org/ghcIan Lynagh authored
-
Ian Lynagh authored
-
- Apr 02, 2011
-
-
batterseapower authored
Current precedence rules in GHCi are that: * User macros are *always* preferred in command resolution * User macros that are defined earlier are preferred to those that are defined earlier on * Builtin commands have lowest precedence However this caused user confusion because e.g. defining a macro beginning with "i" would override the standard :info command whenever the user typed the abbreviated command :i. The new precedence rules are based on the view that things defined earlier are always preferred to things defined later. The builtin commands are logically defined earliest of all (when GHCi starts) so they always take precedence.
-
Ian Lynagh authored
-
http://darcs.haskell.org/ghcIan Lynagh authored
-
Ian Lynagh authored
-
batterseapower authored
-
batterseapower authored
- Apr 01, 2011
-
-
batterseapower authored
The problem was that the codegen for foreign calls makes sure the stack is 16-byte aligned on OS X by pushing some padding. In the case where the foreign call is cdecl, that padding gets popped after the call, but if the convention is stdcall then it doesn't generate any popping code at all. However, this is incorrect because the stdcall only promises to pop the arguments, not the padding. The fix is to generate code to pop the padding (if any) on OS X.
-
http://darcs.haskell.org/ghcIan Lynagh authored
-
Ian Lynagh authored
-
Ian Lynagh authored
Converted from a darcs patch from Max Bolingbroke: Fri Apr 1 11:39:49 BST 2011 Max Bolingbroke <batterseapower@hotmail.com> * Really zap case-binder occurrence info: solves #5028
-
Simon Marlow authored
./sync-all fetch Fetches remote changes from the "origin" for each sub-repo. Useful before "./sync-all new". (Runs 'git fetch origin' on all sub-repos.) ./sync-all new Lists the new patches relative to "origin" for each sub-repo. You probably want to './sync-all fetch' first. (Runs 'git log origin..' on all sub-repos)
-
Simon Marlow authored
Use it like this ./sync-all -r http://darcs.haskell.org/ghc-git set-origin to set the origin branches of all sub-repos to point to the appropriate repo within the http://darcs.haskell.org/ghc-git tree.
-
Simon Marlow authored
-
- Mar 31, 2011
-
-
Ian Lynagh authored
-
Ian Lynagh authored
-
dimitris authored
We were not prioritizing the interaction of equalities in the worklist, because pre-canonicalization solved the constraints one by one, in their arrival order. This patch fixes this, so it's a generally useful improvement, mainly for efficiency. It makes #4981 go away, although it's not a definite answer to the cause of the problem. See discussion on Trac.
-
Simon Peyton Jones authored
This patch just puts a better SrcSpan on the AbsBinds produced by the type checker
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
(See Trac #3011.)
-
Simon Peyton Jones authored
This just disables the coercion optimiser, mainly for measurements in the paper
-
Simon Peyton Jones authored
This dumps a (one-line) listing of the size of the Core program, just after tidying
-
- Mar 30, 2011
-
-
Simon Marlow authored
-
Simon Marlow authored
-
Simon Marlow authored
-
Simon Marlow authored
-
- Mar 29, 2011
-
-
Simon Marlow authored
-
Ian Lynagh authored
-
Ian Lynagh authored
-
Ian Lynagh authored
-
Ian Lynagh authored
This fixes a couple of duplicates that had crept in, and also renumbers everything so that they are monotonically increasing through the file.
-
- Mar 28, 2011
-
-
Ian Lynagh authored
-
- Mar 29, 2011
-
-
Simon Marlow authored
-
- Mar 27, 2011
-
-
Ian Lynagh authored
-