Permalink
Commits on Sep 19, 2006
  1. Currently we don't build cabal-setup

    sven.panne@aedion.de committed Sep 19, 2006
  2. Packages cleanup, and allow new packages to be loaded with :set again

    This cleans up the package subsystem a little.  There are some
    changes to the GHC API as a result.
    
      - GHC.init and GHC.initFromArgs are no longer necessary.
    
      - GHC.newSession takes the root of the GHC tree as an argument
        (previously passed to GHC.init).
    
      - You *must* do GHC.setSessionDynFlags after GHC.newSession,
        this is what loads the package database.
    
      - Several global vars removed from SysTools
    
      - The :set command in GHCi can now cause new packages to be loaded,
        or can hide/ignore existing packages.
    Simon Marlow committed Sep 19, 2006
  3. one more boring file

    Simon Marlow committed Sep 19, 2006
  4. fix one boring file

    Simon Marlow committed Sep 19, 2006
  5. unused imports

    Simon Marlow committed Sep 19, 2006
  6. add boring files from a build tree

    Simon Marlow committed Sep 19, 2006
  7. remove old comment

    Simon Marlow committed Sep 19, 2006
  8. unused import

    Simon Marlow committed Sep 19, 2006
Commits on Sep 18, 2006
  1. some updates

    Simon Marlow committed Sep 18, 2006
  2. use ghc-pkg --force-files, and update command-line syntax

    Simon Marlow committed Sep 18, 2006
  3. Added parsing rule for BangPattern in case expr

    Markus Lauer committed Sep 18, 2006
  4. Fix a bug in subsumption, and tweak error messages

    This commit does two largely-unrelated things, but they hit the same code.
    
    First, I tweaked the error messages a bit, to give better errors
    for impredicative polymorphism.  This added the mb_fun argument to
    tc_sub.
    
    Second, I fixed a long-standing bug in tc_sub.  In the isBoxyTyVar case 
    of tc_sub (rule F2) I was not recursing to tc_sub as the rule suggests,
    but rather calling u_tys.  This is plain wrong, because the first
    arugment might have more foralls.   
    
    The solution is to recurse to tc_sub, but that in turn requires a parameter,
    exp_ib, which says when we are inside a box.
    
    Test is tc210.
    simonpj@microsoft.com committed Sep 18, 2006
  5. Comments

    simonpj@microsoft.com committed Sep 18, 2006
  6. Ensure that only zonked poly_ids are passed to tcSpecPrag

    This is a long-standing bug really (Trac #900).  The poly_id passed
    to tcSpecPrag should be zonked, else it calls tcSubExp with a non-zonked
    type; but that contradicts the latter's invariant.
    
    I ended up doing a bit of refactoring too.  The extra lines are 
    comments I think; the code line count is reduced.
    
    Test is tc212.hs
    simonpj@microsoft.com committed Sep 18, 2006
  7. Comments only

    simonpj@microsoft.com committed Sep 18, 2006
Commits on Sep 17, 2006
  1. Add a missing renamer dump (related to Template Haskell)

    simonpj@microsoft.com committed Sep 17, 2006
Commits on Sep 16, 2006
  1. Sanity check that all the core packages are present

    To catch the case of not running darcs-all get.
    Simon Marlow committed Sep 16, 2006
Commits on Sep 15, 2006
  1. Instantiate data constructor type variables with the type constructor…

    … type variables in constraints for derived class instances. Fixes instance deriving for GADTs which declar H98 types, closing ticket #902.
    bringert@cs.chalmers.se committed Sep 15, 2006
  2. Fixed error in user's manual, gadt section, part about deriving. Data…

    … constructor type was Maybe, should be Maybe1.
    bringert@cs.chalmers.se committed Sep 15, 2006
Commits on Sep 13, 2006
  1. reformat import

    Simon Marlow committed Sep 13, 2006
  2. minor reformatting

    Simon Marlow committed Sep 13, 2006
  3. compiler/ isn't boring

    Simon Marlow committed Sep 13, 2006
Commits on Sep 12, 2006
  1. Another s/autrijus/audreyt/ in comments.

    audreyt@audreyt.org committed Sep 12, 2006
  2. Add postfix ops to the release notes

    simonpj@microsoft.com committed Sep 12, 2006
Commits on Sep 11, 2006
  1. Document postfix operators

    simonpj@microsoft.com committed Sep 11, 2006
  2. Simplify desugaring of left sections

    	MERGE TO 6.6 branch!
    
    Some while ago I made the type checker a tiny bit more lenient about
    left sections, so that 
    	(x !)
    would typecheck iff
    	((!) x) 
    typechecks.  
    
    Strictly, Haskell 98 requires that the section typechecks iff
    	(\y. (!) x y)
    typechecks, and I should really have made the relaxation dependent on a 
    flag, but I didn't.
    
    Anyway, this commit fixes the *desugarer* so that it correctly desugars
    the programs that the typechecker passes.
    simonpj@microsoft.com committed Sep 11, 2006
  3. Add comment

    simonpj@microsoft.com committed Sep 11, 2006
Commits on Sep 10, 2006
  1. Fix linking to expf on Windows

    igfoo committed Sep 10, 2006