1. 28 Nov, 2013 3 commits
  2. 27 Nov, 2013 10 commits
  3. 26 Nov, 2013 2 commits
  4. 25 Nov, 2013 3 commits
    • Joachim Breitner's avatar
      In toHsType, filter out kind variables · 803afa31
      Joachim Breitner authored
      (This fixes #8563)
      803afa31
    • Simon Peyton Jones's avatar
      Another raft of Template Haskell clean-up · 51deeb0d
      Simon Peyton Jones authored
      The handling of typed and untyped brackets was extremely convoluted,
      partly because of the evolutionary history.  I've tidied it all up.
      
      See Note [How brackets and nested splices are handled] in TcSplice
      for the full story
      
      Main changes:
      
       * Untyped brackets: after the renamer, HsRnBracketOut carries
         PendingRnSplices for splices in untyped brackets.  In the
         typechecker, these pending splices are typechecked quite
         straigtforwardly, with no ps_var nonsense.
      
       * Typed brackets: after the renamer typed brackest still look
         like HsBracket. The type checker does the ps_var thing.
      
       * In TcRnTypes.ThStage, the Brack constructor, we distinguish
         the renaming from typehecking pending-stuff.  Much more
         perspicuous!
      
       * The "typed" flag is in HsSpliceE, not in HsSplice, because
         only expressions can be typed.  Patterns, types, declarations
         cannot.
      
      There is further improvement to be done to make the handling of
      declaration splices more uniform.
      51deeb0d
    • eir@cis.upenn.edu's avatar
      Update to core-spec documentation. · f8b25c30
      eir@cis.upenn.edu authored
      This update includes some wibbles to make Co_TyConAppCo clearer,
      as well as the introduction of forms for AxiomRuleCo.
      f8b25c30
  5. 24 Nov, 2013 1 commit
  6. 22 Nov, 2013 21 commits