1. 19 Dec, 2003 2 commits
    • simonpj's avatar
      [project @ 2003-12-19 10:39:54 by simonpj] · fc13ed2f
      simonpj authored
      Accept unboxed tuples in type signatures
    • simonpj's avatar
      [project @ 2003-12-19 10:34:51 by simonpj] · 3674a5cc
      simonpj authored
        Precise locations for duplicate imports
      As a displacment activity I added reporting for duplicate imports
      And more precise locations for the imports themselves.  For example:
        module T where
        import Maybe (isJust,isJust)
        import Maybe (isJust)
          Warning: `isJust' is imported more than once:
      	       imported from Maybe at Foo.hs:4:16-21
      	       imported from Maybe at Foo.hs:3:23-28
      	       imported from Maybe at Foo.hs:3:16-21
  2. 18 Dec, 2003 8 commits
  3. 17 Dec, 2003 6 commits
    • sof's avatar
      [project @ 2003-12-17 17:29:28 by sof] · 911a9fad
      sof authored
      merge rev.
    • sof's avatar
      [project @ 2003-12-17 17:18:27 by sof] · 920a3de7
      sof authored
      merge rev.
    • simonmar's avatar
      [project @ 2003-12-17 12:17:18 by simonmar] · 39dbe3c2
      simonmar authored
      Fix up following changes to the Capability API.  (strange, I'm *sure*
      I tested this stuff...)
    • simonpj's avatar
      [project @ 2003-12-17 11:43:13 by simonpj] · 9d458d01
      simonpj authored
        Gate in a few more instance decls
      When we have
      	instance T a where...
      we need to suck in the instance decl rather more aggressively than we
      were.  (A case I hadn't thought of because it only happens with
      undecideable instances.)
    • simonpj's avatar
      [project @ 2003-12-17 11:29:40 by simonpj] · ca0b7c66
      simonpj authored
        Fix a subtle loop in the context-reduction machinery
      This bug was provoked by a recent change: when trying to prove
      a constraint C, TcSimplify.reduce now adds C to the database before
      trying to prove C, thus building recursive dictionaries.
      Two bugs
      a) If we add C's superclasses (which we were) we can now build a
         bogusly-recursive dictionary (see Note [SUPERCLASS-LOOP]).
         Solution: in reduce, add C only (via addIrred NoSCs) and then
         later use addWanted to add its definition plus SCs.
      b) Since we can have recursive definitions, the superclass-loop
         handling machinery (findAllDeps) must carry its visited-set
         with it (which it was not doing before)
      The main file is TcSimplify; but I modified a bunch of others to
      take advantage of new function extendVarSetList
    • panne's avatar
      [project @ 2003-12-17 08:38:14 by panne] · 69e27f1d
      panne authored
      To get wglGetProcAddress on Windows, we have to link with
      opengl32.dll, too, even when we are using Cygwin with X11.
  4. 16 Dec, 2003 12 commits
  5. 15 Dec, 2003 5 commits
    • simonmar's avatar
      [project @ 2003-12-15 16:45:23 by simonmar] · 2ca13796
      simonmar authored
      Add assertion.
    • simonmar's avatar
      [project @ 2003-12-15 16:43:45 by simonmar] · 410a99e4
      simonmar authored
      Debugging output wibble
    • simonmar's avatar
      [project @ 2003-12-15 16:23:54 by simonmar] · 56a125f2
      simonmar authored
      Fix a deadlock: an OS thread returning from a C call could enter
      grabReturnCapability, grabbing the capability that was in the process
      of being passed to another thread via passCapability.  This leads to a
      deadlock shortly afterward, because the passCapability flag is still
      set, so a normal worker won't pick up the capability when it is
      Fix (not sure if this is the best fix, though): don't grab the
      capability in grabReturnCapability() if passCapabilty is set.
    • simonmar's avatar
      [project @ 2003-12-15 14:31:48 by simonmar] · 622da085
      simonmar authored
      Fix locking bug in awaitEvent(): in one code path it could return with
      sched_lock unlocked.
    • simonmar's avatar
      [project @ 2003-12-15 14:28:39 by simonmar] · ddbdee33
      simonmar authored
      Fix bogosity in implementation of ACQUIRE_LOCK/RELEASE_LOCK on Win32.
      These functions were essentially doing nothing, due to a missing
      dereference on the argument.
      I've rewritten them as inlines (to catch type errors) and added some
      checking of the return values, which should help catch errors like
      this in the future.
  6. 12 Dec, 2003 1 commit
  7. 11 Dec, 2003 3 commits
  8. 10 Dec, 2003 3 commits
    • simonmar's avatar
      [project @ 2003-12-10 17:35:48 by simonmar] · 298a8b81
      simonmar authored
      oops, forgot a reverse
    • simonmar's avatar
      [project @ 2003-12-10 17:29:26 by simonmar] · c5a2edaf
      simonmar authored
      Fix syntax error
    • simonmar's avatar
      [project @ 2003-12-10 17:25:12 by simonmar] · c7b38930
      simonmar authored
      - Move the collect* functions from HsSyn into HsUtils.  Check that we
        have a clean separation of utilties over HsSyn, with the generic
        versions in HsUtils, and the specific versions in RdrHsSyn, RnHsSyn
        and TcHsSyn as appropriate.
      - Remove the RdrBinding data type, which was really just a nested list
        with O(1) append, and use OrdList instead.  This makes it much clearer
        that there's nothing strange going on.
      - Various other minor cleanups.