Skip to content
Snippets Groups Projects
  1. Jun 12, 2000
  2. Jun 11, 2000
  3. Jun 10, 2000
    • Jeff Lewis's avatar
      [project @ 2000-06-10 00:34:52 by lewie] · 426e298e
      Jeff Lewis authored
      Update instFunDepsOfTheta to accomodate Simon's recent commit (it hadn't
      needed to generate fundeps for IParams previously).  This undoes Simon's
      comment about `forall a. ?x::a => Int' being ambiguous.  It isn't, and
      now it isn't flagged as such either.  I.e, there's nothing wrong with:
          foo :: ?x::a => Int
          foo = fst (13, ?x)
      (of course, less contrived examples can also be given!).
      426e298e
  4. Jun 09, 2000
    • Jeff Lewis's avatar
      [project @ 2000-06-09 23:28:34 by lewie] · d76863bb
      Jeff Lewis authored
      Simon was kind enough to re-write elegantly a function that I had written
      awkwardly, but revealed that beautification doesn't always yield better
      code ;-)  Fixed a silly typo and further beautified the code (so that the
      cut-n-paster error that Simon introduced would have been easier to spot).
      d76863bb
    • Simon Marlow's avatar
      [project @ 2000-06-09 16:21:30 by simonmar] · 18583b85
      Simon Marlow authored
      ieee-flpt.h is in ../../includes, not ../includes.
      18583b85
    • Simon Peyton Jones's avatar
      [project @ 2000-06-09 15:53:12 by simonpj] · b610eca3
      Simon Peyton Jones authored
      GHC gets upset if you have types like
      
      	Eq a => a->a
      
      where 'a' is *not* universally quantified.
      By "upset" I mean that the typechecker generates
      rather bogus code, that subsequently kills Lint.
      
      Such types used to be rejected in the renamer,
      but Jeff removed that in favour of an ambiguity
      check in TcMonoType.  I remember agreeing to move
      the renamer check to the type checker, and Jeff did this,
      but the check in TcMonoType was only checking for
      *ambiguity*, which isn't quite the same.
      
      I've restored the missing check and commented it
      better in TcMonoType.
      
      Jeff: if this isn't right for you, let's dicuss.
      
      Incidentally, I also generalise the ambiguity check
      to detect
      	forall a. ?x::a => Int
      which is ambiguous.
      
      I did a few formatting changes too.
      b610eca3
    • Simon Marlow's avatar
      [project @ 2000-06-09 15:15:25 by simonmar] · 45a3e562
      Simon Marlow authored
      Don't group variable bindings with the same name together.  They
      should be flagged as duplicate definitions.
      45a3e562
    • Simon Marlow's avatar
      [project @ 2000-06-09 13:48:46 by simonmar] · eb89bdda
      Simon Marlow authored
      remove NonExhaustiveGuards exception
      eb89bdda
    • Simon Marlow's avatar
      [project @ 2000-06-09 13:48:09 by simonmar] · dc5ae80c
      Simon Marlow authored
      Guard failure will now throw a PatternMatchFail, the
      NonExhaustiveGuards exception is to be removed.
      dc5ae80c
    • Simon Marlow's avatar
      [project @ 2000-06-09 11:01:58 by simonmar] · 0416c6e7
      Simon Marlow authored
      Part of the -split-objs commit that I forgot yesterday.
      0416c6e7
    • Simon Peyton Jones's avatar
      [project @ 2000-06-09 07:32:31 by simonpj] · 3c1b89ab
      Simon Peyton Jones authored
      In my commit of 24 May I got this boolean condition
      back to front:
      
          tryWW non_rec fn_id rhs
            | not (isNeverInlinePrag inline_prag)
            =  -- Don't split things that will never be inlined
      
      The 'not' is obviously wrong!  As a result virtually nothing
      is being worker-wrapper'd
      
      How this has survived for more than two weeks beats me.
      3c1b89ab
    • AndyGill's avatar
      [project @ 2000-06-09 00:43:55 by andy] · e7db662b
      AndyGill authored
      Commiting version of the STG->GOO code generator that works with fib.
      e7db662b
  5. Jun 08, 2000
  6. Jun 07, 2000
Loading