1. 06 Jun, 2004 2 commits
  2. 05 Jun, 2004 4 commits
  3. 04 Jun, 2004 1 commit
  4. 02 Jun, 2004 6 commits
    • panne's avatar
      [project @ 2004-06-02 09:23:43 by panne] · 73f90fb0
      panne authored
      Extremely strange: Some backend emit an ugly trailing ">" when "xref" is an
      empty element, but none when only a start tag is used. *sigh* So let's revert
      this part of the changes for now...
      73f90fb0
    • panne's avatar
      [project @ 2004-06-02 09:17:51 by panne] · 05336f49
      panne authored
      * Fixed some "screen" vs. "programlisting"
      
      * Don't use leading spaces in verbatim elements just for formatting purposes
      
      * Be extremely cautious with whitespace in verbatim elements to avoid strange
        empty leading/trailing lines. More investigation needed what's really going on
        here, this shouldn't be necessary...
      05336f49
    • panne's avatar
      [project @ 2004-06-02 08:53:54 by panne] · bd08f533
      panne authored
      Make the Building Guide almost valid DocBook XML V4.2 (to get the real thing,
      simply add an XML prolog and change "artheader" to "articleinfo"). Things that
      had to be changed:
      
       * XML tags are case-sensitive, so lowercase must be used for tags/attributes
      
       * Make "xref" an empty element.
      
       * "constant" is not allowed within "filename"
      
       * Move "indexterm" to a valid place.
      
       * Change some "&" to "&"
      
       * The "_" character in titles makes some trouble in the TeX backend => avoid it
      bd08f533
    • simonpj's avatar
      [project @ 2004-06-02 08:25:10 by simonpj] · 729a6eb1
      simonpj authored
      -----------------------------------------------
             Record whether data constructors are declared infix
      	-----------------------------------------------
      
      This allows us to generate the InfixC form in Template Hasekll.
      And for 'deriving' Read and Show, we now read and parse the infix
      form iff the constructor was declared infix, rather than just if
      it does not have the default fixity (as before).
      
      IfaceSyn changes slightly, so that IfaceConDecl can record their
      fixity, so there are trivial changes scattered about, and
      you'll need to recompile everything.
      
      In TysWiredIn I took the opportunity to simplify pcDataCon slightly,
      by eliminating the unused Theta argument.
      729a6eb1
    • simonpj's avatar
      [project @ 2004-06-02 08:23:43 by simonpj] · 5568d10f
      simonpj authored
      -------------------------------
      	Fix a grevious bug in DsMeta
      	which caused a seg fault
      	-------------------------------
      
      The bug was an incorrectly declared type for one of the Template
      Haskell construction functions in DsMeta (repRecCon, repRecUpd)
      and some associated jiggery pokery.
      
      -dcore-lint showed it up nicely, because the desugarer generated
      ill-typed code.
      
      DsMeta PrelNames TH.Lib
      5568d10f
    • simonpj's avatar
      [project @ 2004-06-02 08:09:58 by simonpj] · e25d4444
      simonpj authored
      Comments only
      e25d4444
  5. 01 Jun, 2004 1 commit
    • igloo's avatar
      [project @ 2004-06-01 23:22:30 by igloo] · 5ca86c67
      igloo authored
      Add missing functions to TH export list (mostly spotted by Duncan Coutts).
      
      Update TH test output.
      
      Add TH support for patterns with type signatures, and test for same
      (requested by Isaac Jones).
      
      Add TH support for pattern guards, and tests for same
      (requested by Isaac Jones).
      
      Add infix patterns to TH datatypes.
      
      Added Lift instances for 2- to 7-tuples (requested by Duncan Coutts).
      5ca86c67
  6. 27 May, 2004 4 commits
    • simonmar's avatar
      [project @ 2004-05-27 16:13:59 by simonmar] · 41fc1d15
      simonmar authored
      Change the 'can't load package' message from a panic to an ordinary
      error.
      41fc1d15
    • simonmar's avatar
      [project @ 2004-05-27 15:21:37 by simonmar] · e663fcfa
      simonmar authored
      Remove part of previous patch which was for debugging only.
      e663fcfa
    • simonmar's avatar
      [project @ 2004-05-27 15:18:31 by simonmar] · 86e487a2
      simonmar authored
      Fix a nasty bug: when saving errno in the TSO after running a thread,
      beware that the TSO might have moved, e.g. if the thread made a safe
      foreign call in the threaded RTS and a GC happened.
      
      We have to grab the new location of the TSO *before* saving errno.
      
      MERGE TO STABLE
      
      This was the most interesting bug hunt I've had in a while.  The crash
      only showed up in about 1 in 4 runs of a program with 1000 Haskell
      threads, running on the threaded RTS.  To make things worse, gdb
      doesn't support watchpoints in programs with multiple threads... :-/
      86e487a2
    • simonmar's avatar
      [project @ 2004-05-27 09:29:28 by simonmar] · d2a09365
      simonmar authored
      Make getAllocations() return an Int64 to avoid Int overflow.
      d2a09365
  7. 25 May, 2004 2 commits
    • simonpj's avatar
      [project @ 2004-05-25 09:06:38 by simonpj] · dc9ffb20
      simonpj authored
      -----------------------------------------------
      	Decent error on re-use of built-in syntax
      	-----------------------------------------------
      
      Make the renamer complain nicely on stupid stuff like
      
      	data T = []
      
      (except in the Prelude, of course!)
      dc9ffb20
    • simonpj's avatar
      [project @ 2004-05-25 08:09:37 by simonpj] · c6713d35
      simonpj authored
      -----------------------------------------------
      	Improve location info on unused-import warnings
      	-----------------------------------------------
      
      Improving the location involves plumbing the location of the import a bit
      more assiduously -- hence change to imp_mods in TcRnTypes
      c6713d35
  8. 24 May, 2004 3 commits
  9. 22 May, 2004 2 commits
    • panne's avatar
      [project @ 2004-05-22 12:27:38 by panne] · 4a41cd9a
      panne authored
      Reverse the order in which DLLs are loaded. This makes more sense in general and
      should fix the trouble with the broken OpenGL libs on Gentoo. This fix has been
      tested on x86 Linux, but reports from other platforms (WinDoze, MacOS X, ...)
      are highly welcome, dynamic linking is quite platform-specific and surprising
      things can happen from time to time...
      
      Merge to STABLE when tested on other platforms
      4a41cd9a
    • dons's avatar
      [project @ 2004-05-22 01:43:37 by dons] · 94b639b8
      dons authored
      Add x86_64-*-openbsd* as synonym for amd64-*-openbsd.
      
      Which one you get depends on which config.sub we have, and newer
      (2004-*) config.subs normalise all amd64s to x86_64s.
      94b639b8
  10. 21 May, 2004 2 commits
    • simonmar's avatar
      [project @ 2004-05-21 13:28:59 by simonmar] · 89f9f089
      simonmar authored
      Fix yet another bug in the THUNK_SELECTOR code.  Interestingly, I
      spotted this one earlier but left a ToDo in the code rather than
      fixing it (I think I wasn't sure whether it could happen or not).
      
      The bug is to close another another way that eval_thunk_selector()
      could return a pointer into to-space.  See comments for details.
      89f9f089
    • geoffw's avatar
      [project @ 2004-05-21 09:25:03 by geoffw] · 0479146d
      geoffw authored
      mingw/msys fix: keep .lcomm directives
      0479146d
  11. 20 May, 2004 1 commit
  12. 19 May, 2004 1 commit
  13. 18 May, 2004 1 commit
  14. 15 May, 2004 1 commit
  15. 12 May, 2004 2 commits
    • simonpj's avatar
      [project @ 2004-05-12 13:01:30 by simonpj] · 3d4c49bb
      simonpj authored
      Tidy-up only; behaviour unchanged
      3d4c49bb
    • simonpj's avatar
      [project @ 2004-05-12 12:55:12 by simonpj] · 825fba2a
      simonpj authored
      ---------------------------------
      	Another delicate fix to the way that the
      	Dreaded Monomorpism Restriction is handled
      	---------------------------------
      
           I think this should merge nicely to the STABLE branch
      
      
      In TcSimplify 1.130 I changed tcSimplifyRestricted (used for
      declarations that fall under the monomorphism restriction) to use Plan
      C.  Unfortunately, it later transpired that George Russel and Serge
      Mechveliani both made somewhat-dubious use of overlapping instances
      that conflicted with this change. Here's the example
      
        instance (HasBinary ty IO) => HasCodedValue ty
      
        foo :: HasCodedValue a => String -> IO a
      
        doDecodeIO :: HasCodedValue a => () -> () -> IO a
        doDecodeIO codedValue view = let { act = foo "" } in  act
      
      You might think this should work becuase the call to 'foo' in the last
      line gives rise to a constraint (HasCodedValue t), which can be
      satisfied by the type sig for doDecodeIO.  But the restricted binding
      act = ... calls tcSimplifyRestricted, and Plan C simplifies the
      constraint using the (rather bogus) instance declaration, and now we
      are stuffed.
      
      
      This commit implements Plan D, which is like plan B except that it does no
      improvement, and hence avoids plan B's flaw.  See the comments with Plan D.
      
      The only criticism one might make of Plan D is that it may sometimes quantify
      a restricted binding over "too few" type variables; but one can solve that
      by adding a type sig.  So this seems better than the very subtle problems
      with Plan C.
      
      All of this is very much at the margin: George and Sergey are pushing
      their luck.
      825fba2a
  16. 11 May, 2004 2 commits
  17. 10 May, 2004 3 commits
    • simonmar's avatar
      [project @ 2004-05-10 11:53:41 by simonmar] · 318f8bc4
      simonmar authored
      Fix mishandling of the BF_COMPACTED flag, which could lead to problems
      when using the compacting collector (+RTS -c, or +RTS -M<size>).  In
      fact, I'm not sure how it worked at all.
      
      MERGE TO STABLE
      318f8bc4
    • simonmar's avatar
      [project @ 2004-05-10 10:26:07 by simonmar] · d28ae8e1
      simonmar authored
      Hack to generate correct dependencies for the RTS.  We now #define
      PROFILING, THREADED_RTS and DEBUG when generating dependencies so that
      we get (hopefully) a superset of all the deps.
      d28ae8e1
    • simonmar's avatar
      [project @ 2004-05-10 10:05:34 by simonmar] · 0181a93d
      simonmar authored
      In multiple declaration errors, give the location of one of the
      declarations as the location of the error message, instead of the
      top-level of the file.
      0181a93d
  18. 09 May, 2004 1 commit
  19. 08 May, 2004 1 commit