1. 21 Dec, 2014 1 commit
  2. 20 Dec, 2014 6 commits
  3. 19 Dec, 2014 14 commits
  4. 18 Dec, 2014 6 commits
  5. 17 Dec, 2014 13 commits
    • Gabor Greif's avatar
      Minor typo in comment · 98686223
      Gabor Greif authored
      98686223
    • Gabor Greif's avatar
      Typo in note · 7719b637
      Gabor Greif authored
      7719b637
    • Gabor Greif's avatar
      Typos in comments · ae1f2718
      Gabor Greif authored
      ae1f2718
    • eir@cis.upenn.edu's avatar
      Performance enhancements in TcFlatten. · 922168fd
      eir@cis.upenn.edu authored
      This commit fixes some performance regressions introduced by 0cc47eb9,
      adding more `Coercible` magic to the solver. See Note
      [flatten_many performance] in TcFlatten for more info.
      
      The improvements do not quite restore the old numbers. Given that
      the solver is really more involved now, I am accepting this regression.
      
      The way forward (I believe) would be to have *two* flatteners: one
      that deals only with nominal equalities and thus never checks roles,
      and the more general one. A nice design of keeping this performant
      without duplicating code eludes me, but someone else is welcome
      to take a stab.
      922168fd
    • Simon Peyton Jones's avatar
      Wibble error message · ea22a8f7
      Simon Peyton Jones authored
      ea22a8f7
    • Simon Peyton Jones's avatar
      Fix egregious bug in the new canonicalisation code for AppTy · 517908fc
      Simon Peyton Jones authored
      Fixes Trac #9892.
      
      Must form part of 7.10.1
      517908fc
    • Simon Peyton Jones's avatar
      Comment in test · 2469f854
      Simon Peyton Jones authored
      2469f854
    • Simon Peyton Jones's avatar
      Improve TidyPgm.hasCafRefs to account for Integer literals (Trac #8525) · 6b11bab6
      Simon Peyton Jones authored
      See Note [Disgusting computation of CafRefs] in TidyPgm.
      
      Also affects CoreUtils.rhsIsStatic.
      
      The real solution here is to compute CAF and arity information
      from the STG-program, and feed it back to tidied program for
      the interface file and later GHCi clients.  A battle for another
      day.
      
      But at least this commit reduces the number of gratuitous CAFs, and
      hence SRT entries.  And kills off a batch of ASSERT failures.
      6b11bab6
    • Simon Peyton Jones's avatar
      Fix GHCi/GHC-API tidying and modules (Trac #9424, #9426) · 67a0cab6
      Simon Peyton Jones authored
      There were two related bugs here
      
      Trac #9426
         We must increment the ic_mod_index field of the InteractiveContext
         if we have new instances, because we maek DFunIds that should be
         distinct from previous ones.  Previously we were only incrementing
         when defining new user-visible Ids.
      
         The main change is in HscTypes.extendInteractiveContext, which now
         alwyas bumps the ic_mod_index.  I also added a specialised
         extendInteractiveContextWithIds for the case where we are *only*
         adding new user-visible Ids.
      
      Trac #9424
         In HscMain.hscDeclsWithLocations we were failing to use the
         *tidied* ClsInsts; but the un-tidied ones are LocalIds which
         causes a later ASSERT error.
      
         On the way I realised that, to behave consistently, the tcg_insts
         and tcg_fam_insts field of TcGblEnv should really only contain
         instances from the current GHCi command, not all the ones to date.
         That in turn meant I had to move the code for deleting replacement
         instances from addLocalInst, addLocalFamInst to
         HscTypes.extendInteractiveContext
      67a0cab6
    • Simon Peyton Jones's avatar
      Use the new LintFlags to suppress Lint warnings for INLINE loop breakers · c4365372
      Simon Peyton Jones authored
      See Note [Checking for INLINE loop breakers]
      c4365372
    • Simon Peyton Jones's avatar
      Improve an ASSERT · 082cf137
      Simon Peyton Jones authored
      082cf137
    • Simon Peyton Jones's avatar
      Fix the scope-nesting for arrows · f50d62bb
      Simon Peyton Jones authored
      Previously we were capturing the *entire environment* when moving under
      a 'proc', for the newArrowScope/escapeArrowScope thing.  But that a blunderbuss,
      and in any case isn't right (the untouchable-type-varaible invariant gets
      invalidated).
      
      So I fixed it to be much more refined: just the LocalRdrEnv and constraints are
      captured.
      
      I think this is right; but if not we should just add more fields to ArrowCtxt,
      not return to the blunderbuss.
      
      This patch fixes the ASSERT failure in Trac #5267
      f50d62bb
    • Gabor Greif's avatar
      Role problems pervent GND from happening · 75c211ec
      Gabor Greif authored
      with GHC HEAD. Reworked using deriving instance.
      75c211ec