1. 13 Apr, 2014 1 commit
  2. 12 Apr, 2014 1 commit
  3. 10 Apr, 2014 2 commits
  4. 08 Apr, 2014 4 commits
  5. 07 Apr, 2014 1 commit
    • Simon Peyton Jones's avatar
      Derive Typable for promoted data constructors (Trac #8950) · 54e65553
      Simon Peyton Jones authored
      I got sucked into a significant refactoring of the way that
      Typeable instances are derived.  This makes it simpler and
      more uniform.
      
      I also improved the documentation in the user manual.  Typeable
      really is different to other classes, and now gets its own subsection.
      54e65553
  6. 06 Apr, 2014 1 commit
  7. 05 Apr, 2014 1 commit
    • eir@cis.upenn.edu's avatar
      Fix #8958. · d468cd37
      eir@cis.upenn.edu authored
      We now do role inference on stupid datatype contexts, allowing a
      lightweight role annotation syntax.
      d468cd37
  8. 04 Apr, 2014 1 commit
  9. 03 Apr, 2014 1 commit
  10. 25 Mar, 2014 2 commits
  11. 24 Mar, 2014 7 commits
  12. 23 Mar, 2014 2 commits
  13. 19 Mar, 2014 1 commit
  14. 17 Mar, 2014 2 commits
  15. 14 Mar, 2014 3 commits
    • eir@cis.upenn.edu's avatar
      Remove code reporting issues with Safe Haskell and coerce. · 7602bd4d
      eir@cis.upenn.edu authored
      This is a followup to the fix for #8827, and should be merged
      with that change.
      7602bd4d
    • eir@cis.upenn.edu's avatar
      Fix #8884. · 8c5ea91d
      eir@cis.upenn.edu authored
      There were two unrelated errors fixed here:
       1) Make sure that only the *result kind* is reified when reifying
          a type family. Previously, the whole kind was reified, which
          defies the TH spec.
      
       2) Omit kind patterns in equations.
      8c5ea91d
    • eir@cis.upenn.edu's avatar
      Remove "Safe mode" check for Coercible instances · 59722295
      eir@cis.upenn.edu authored
      We assume that library authors supply correct role annotations
      for their types, and therefore we do not need to check for
      the availability of data constructors in Safe mode. See
      discussion in #8725. This effectively fixes #8827 and #8826.
      59722295
  16. 13 Mar, 2014 3 commits
  17. 10 Mar, 2014 1 commit
  18. 07 Mar, 2014 2 commits
    • Simon Peyton Jones's avatar
      Fix the treatment of lexically scoped kind variables (Trac #8856) · cf1a0f97
      Simon Peyton Jones authored
      The issue here is described in Note [Binding scoped type variables] in
      TcPat.  When implementing this fix I was able to make things quite a
      bit simpler:
       * The type variables in a type signature now never unify
         with each other, and so can be straightfoward skolems.
       * We only need the SigTv stuff for signatures in patterns,
         and for kind variables.
      cf1a0f97
    • Simon Peyton Jones's avatar
      Make -XDeriveFunctor more generous about non-last arguments (Trac #8678) · cdac487b
      Simon Peyton Jones authored
      When deriving Functor, Foldable, Traversable, we need only look at the
      way that the last type argument is treated.  It's fine for there to
      be existentials etc, provided they don't affect the last type argument.
      
      See Note [Check that the type variable is truly universal] in TcDeriv.
      cdac487b
  19. 06 Mar, 2014 1 commit
  20. 18 Feb, 2014 3 commits