1. 22 Jun, 2011 6 commits
    • Ian Lynagh's avatar
      Move more commands into the settings file · 6ecb8d38
      Ian Lynagh authored
      6ecb8d38
    • Ian Lynagh's avatar
      Move some Windows special-casing out of the compiler · 1003471c
      Ian Lynagh authored
      This is a little cleaner, and removes a barrier to cross-compiling
      to/from Windows. There are a few more tools that still need to be
      handled in the same way.
      1003471c
    • Simon Peyton Jones's avatar
      Add a couple of traces · 0033d5a4
      Simon Peyton Jones authored
      0033d5a4
    • Simon Peyton Jones's avatar
      Comments and layout · e8fe3a12
      Simon Peyton Jones authored
      e8fe3a12
    • Simon Peyton Jones's avatar
      Add equality superclasses · 940d1309
      Simon Peyton Jones authored
      Hurrah.  At last we can write
      
         class (F a ~ b) => C a b where { ... }
      
      This fruit of the fact that equalities are now values,
      and all evidence is handled uniformly.
      
      The main tricky point is that when translating to Core
      an evidence variable 'v' is represented either as
        either   Var v
        or       Coercion (CoVar v)
      depending on whether or not v is an equality.  This leads
      to a few annoying calls to 'varToCoreExpr'.
      940d1309
    • Simon Peyton Jones's avatar
      Remove "silent superclass parameters" · a9d48fd9
      Simon Peyton Jones authored
      We introduced silent superclass parameters as a way to avoid
      superclass loops, but we now solve that problem a different
      way ("derived" superclass constraints carry no evidence). So
      they aren't needed any more.
      
      Apart from being a needless complication, they broke DoCon.
      Admittedly in a very obscure way, but still the result is
      hard to explain. To see the details see Trac #5051, with
      test case typecheck/should_compile/T5051.  (The test is
      nice and small!)
      a9d48fd9
  2. 19 Jun, 2011 3 commits
  3. 18 Jun, 2011 31 commits