Skip to content
Snippets Groups Projects
  1. May 16, 2000
  2. May 15, 2000
  3. May 14, 2000
  4. May 13, 2000
    • Jeff Lewis's avatar
      [project @ 2000-05-13 00:20:57 by lewie] · 6f122ef3
      Jeff Lewis authored
      A clean-up pass on fundeps and implicit params.  Haven't yet incorporated
      changes from Hugs/GHC meeting yet, tho.
        - Fixed up several places in Type.lhs where IPNotes were probably being
          incorrectly handled.  Strongly suggests a better solution should be
          implemented for marking implicit params than piggybacking on NoteTys.
        - tcSimplifyAndCheck was handling implicit params incorrectly
          (holding on to them when it should have been booting them out to frees).
        - Improved improvement WRT type signatures (the signature is now taken
          into account when improving).
        - Added improvement when matching against local polymorphic types.
      6f122ef3
  5. May 12, 2000
Loading