1. 01 May, 2012 4 commits
    • chak@cse.unsw.edu.au.'s avatar
      Revert "More Win32 build fixes" · 29cd6f43
      chak@cse.unsw.edu.au. authored
      This reverts commit e89ef704.
      29cd6f43
    • Simon Peyton Jones's avatar
      Wibble to pretty printing · b04c0beb
      Simon Peyton Jones authored
      b04c0beb
    • Simon Peyton Jones's avatar
    • Simon Peyton Jones's avatar
      Tidy up a remaining glitch in unification · 67c793a3
      Simon Peyton Jones authored
      There was one place, in type checking parallel list comprehensions
      where we were unifying types, but had no convenient way to use the
      resulting coercion; instead we just checked that it was Refl.  This
      was Wrong Wrong; it might fail unpredicably in a GADT-like situation,
      and it led to extra error-generation code used only in this one place.
      
      This patch tidies it all up, by moving the 'return' method from the
      *comprehension* to the ParStmtBlock. The latter is a new data type,
      now used for each sub-chunk of a parallel list comprehension.
      
      Because of the data type change, quite a few modules are touched,
      but only in a fairly trivial way. The real changes are in TcMatches
      (and corresponding desugaring); plus deleting code from TcUnify.
      
      This patch also fixes the pretty-printing bug in Trac #6060
      67c793a3
  2. 30 Apr, 2012 12 commits
  3. 27 Apr, 2012 24 commits