1. 13 Feb, 2012 1 commit
  2. 11 Feb, 2012 1 commit
  3. 10 Feb, 2012 4 commits
    • dterei's avatar
      Don't allow implicit qualified imports in GHCi when -XSafe on. · b23a7e55
      dterei authored
      It would be better to actually check the safety of the import but doing
      that requires some significant refactoring of code so punting for
      another day.
      b23a7e55
    • Simon Peyton Jones's avatar
      Complete fix of #5820 · 15ec8835
      Simon Peyton Jones authored
      There are two related changes in here
      
      a) Fix TcRnDriver.setInteractiveContext so that it initialises
         tcg_insts and tcg_fam_insts, as well as the corresponding
         tcg_inst_env and tcg_fam_inst_env fields.  Vital!
      
      b) Fix FamInst.tcExtendLocalFamInstEnv for the GHCi case.
         It had a special HACK to allow family instances to be overridden
         in GHCi.  Fair enough, but
           * It was only affecting the tcg_fam_inst_env, not tcg_fam_insts
           * It overrode home-package instances as well as ones entered
             at the GHCi prompt, which probably wasn't intended.
      
         I fixed both of these, and also narrowed the scope of what it does
         to override only *identical* instances, rather than any ones that
         conflict.  If people yelp about this we can return to the question,
         but for now it narrows the range of the HACK
      15ec8835
    • Simon Peyton Jones's avatar
      Put only local instances in the interactive context (fixes Trac #5820) · cc047084
      Simon Peyton Jones authored
      In HscMain.hscDeclsWithLocaion, we were grabbing class instances from
      the tcg_inst_env field of the TcGblEnv. But that's wrong: that field
      contains all the *home-package* instances.  Instead we need the
      tct_insts field, which has just the instances from the module being
      compiled.
      cc047084
    • trevor's avatar
      68b59cee
  4. 09 Feb, 2012 1 commit
  5. 08 Feb, 2012 6 commits
  6. 07 Feb, 2012 1 commit
  7. 06 Feb, 2012 3 commits
    • Simon Peyton Jones's avatar
      Refactor tcUserStmt, to fix Trac #5829 · 542dd736
      Simon Peyton Jones authored
      The problem was that the FunBind we we build in the expression case
      didn't have the right free variables, and that tripped an ASSERT later.
      542dd736
    • Simon Peyton Jones's avatar
      Give promoted DataCons a tyConArity and promoted TyCons a tyConKind · af26d558
      Simon Peyton Jones authored
      ..and fix up Core Lint.  (I was getting a bogus Core Lint failure.)
      af26d558
    • Simon Peyton Jones's avatar
      Refactor HsDecls again, to put family instances in InstDecl · f92591de
      Simon Peyton Jones authored
      This continues the clean up of the front end.  Since they
      were first invented, type and data family *instance* decls
      have been in the TyClDecl data type, even though they always
      treated separately.
      
      This patch takes a step in the right direction
        * The InstDecl type now includes both class instances and
          type/data family instances
      
        * The hs_tyclds field of HsGroup now never has any family
          instance declarations in it
      
      However a family instance is still a TyClDecl.  It should really
      be a separate type, but that's the next step.
      
      All this was provoked by fixing Trac #5792 in the HEAD.
      (I did a less invasive fix on the branch.)
      f92591de
  8. 03 Feb, 2012 3 commits
  9. 01 Feb, 2012 1 commit
  10. 31 Jan, 2012 2 commits
  11. 30 Jan, 2012 2 commits
  12. 27 Jan, 2012 4 commits
  13. 26 Jan, 2012 11 commits