Skip to content
Snippets Groups Projects
  1. May 18, 2000
  2. May 17, 2000
    • Jeff Lewis's avatar
      [project @ 2000-05-17 22:05:44 by lewie] · 04b6f89d
      Jeff Lewis authored
      Defer ambiguity test for class members, so that the test is done *after*
      we know the (extended) functional dependencies (this is a patch that was
      mostly carried over from hugs98, but a few lines were out of place).
      04b6f89d
  3. May 16, 2000
  4. May 15, 2000
  5. May 14, 2000
  6. 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
  7. May 12, 2000
    • sven.panne@aedion.de's avatar
      [project @ 2000-05-12 20:01:28 by panne] · a69d07da
      sven.panne@aedion.de authored
      Fixed bug in integerTo{Word,Int}64zh primops: They used the number of
      allocated *words* to determine size of an integer, but this is wrong
      due to normalization. When e.g. two large numbers with different sign,
      but approximately same absolute value are added, MPN_NORMALIZE cuts
      down the *size*, but the allocation stays the same. Simple fix: Use
      size parameter of macros directly. Easier and more correct! :-)
      a69d07da
Loading