1. 04 Feb, 2002 19 commits
    • sof's avatar
      [project @ 2002-02-04 20:10:47 by sof] · 53057d6f
      sof authored
      moved {ACQUIRE,RELEASE}_LOCK to OSThreads.h
    • sewardj's avatar
      [project @ 2002-02-04 17:09:02 by sewardj] · 5316d543
      sewardj authored
      Also implement MO_32U_to_8U for sparc.  sigh.
    • sewardj's avatar
      [project @ 2002-02-04 16:47:47 by sewardj] · 4e408d57
      sewardj authored
      Implement missing MachOp, MO_8U_to_32U, for sparc.  (duh!)
    • sewardj's avatar
      [project @ 2002-02-04 16:30:20 by sewardj] · c5ab8000
      sewardj authored
      Adding section descriptions, for ELF: don't record sections satisfying
         size == 0
      The latter condition is really an optimisation based on knowledge of
      what queries will be made of the table.  Still, seems to work, and
      reduces the number of sections in the list by about a factor of 3,
      so hopefully will improve GC performance in GHCi.
      If you get wierd GC problems in GHCi ... this may be to blame.
    • simonmar's avatar
      [project @ 2002-02-04 13:59:48 by simonmar] · 5881f6a5
      simonmar authored
    • sewardj's avatar
      [project @ 2002-02-04 13:54:53 by sewardj] · 3be6a230
      sewardj authored
      Expand out use of modifyIORef because 4.08.2 doesn't have that.
    • simonmar's avatar
      [project @ 2002-02-04 12:23:02 by simonmar] · bc07c299
      simonmar authored
      HC_OPTS is now used in both .c and .hc compilations (again).
    • simonmar's avatar
      [project @ 2002-02-04 12:22:33 by simonmar] · c4b1d82b
      simonmar authored
      GhcRtsHcOpts is included in both .c and .hc compilations (again).
    • simonmar's avatar
      [project @ 2002-02-04 12:21:45 by simonmar] · e6149575
      simonmar authored
      GHC_CC_OPTS should include HC_OPTS
    • sewardj's avatar
      [project @ 2002-02-04 12:15:39 by sewardj] · 5ed6149d
      sewardj authored
      Start to record some stuff about GHCi.
    • simonpj's avatar
      [project @ 2002-02-04 12:14:50 by simonpj] · 1624ef3b
      simonpj authored
      Add a bit of documentation on implicit params
    • simonmar's avatar
      [project @ 2002-02-04 12:09:44 by simonmar] · 75d25e19
      simonmar authored
      oops, fix HC_OBJS for non-normal ways.
    • simonpj's avatar
      [project @ 2002-02-04 11:59:55 by simonpj] · 18dbe364
      simonpj authored
      	Improve type validity checking
      Two main effects here
      a) Type synonyms can be unboxed tuples
      	tupe T = (# Int, Int #)
      	f :: Int -> T
      b) Hoisting works for implicit parameters
      	f :: Int -> (?x::Int) => Int
    • simonpj's avatar
      [project @ 2002-02-04 11:58:30 by simonpj] · 41aba23a
      simonpj authored
      Correct assertion
    • simonpj's avatar
      [project @ 2002-02-04 11:57:58 by simonpj] · af9d3183
      simonpj authored
      Document hoisting and implicit quantification
    • simonmar's avatar
      [project @ 2002-02-04 11:49:33 by simonmar] · 1ba0b04c
      simonmar authored
      Tighten up syntax w.r.t. Haskell 98; this is disallowed:
      	(a `op` b) = ...
      since a parenthesised lhs must be followed by at least one parameter.
    • sewardj's avatar
      [project @ 2002-02-04 10:48:11 by sewardj] · cbebc113
      sewardj authored
      Clarify explaination about problems with x87 FPU stack invalid exceptions.
    • chak's avatar
      [project @ 2002-02-04 09:05:45 by chak] · f539427b
      chak authored
      Conformed the FFI libraries to meet the FFI Addendum 1.0 specification (except
      hs_init() and friends).
    • chak's avatar
      [project @ 2002-02-04 03:40:31 by chak] · 0299e1a1
      chak authored
      Foreign import/export declarations now conform to FFI Addendum Version 1.0
      * The old form of foreign declarations is still supported, but generates
        deprecation warnings.
      * There are some rather exotic old-style declarations which have become
        invalid as they are interpreted differently under the new scheme and there
        is no (easy) way to determine which style the programmer had in mind (eg,
        importing a C function with the name `wrapper' where the external name is
        explicitly given will not work in some situations - depends on whether an
        `unsafe' was specified and similar things).
      * Some "new" old-style forms have been introduced to make parsing a little bit
        easier (ie, avoid shift/reduce conflicts between new-style and old-style
        grammar rules), but they are few, arcane, and don't really hurt (and I won't
        tell what they are, you need to find that out by yourself ;-)
      * The FFI Addendum doesn't specify whether a header file that is requested for
        inclusion by multiple foreign declarations should be included only once or
        multiple times.  GHC at the moment includes an header as often as it appears
        in a foreign declaration.  For properly written headers, it doesn't make a
        difference anyway...
      * Library object specifications are currently silently ignored.  The feature
        was mainly requested for external calls in .NET (ie, calls which invoke C
        routines when Haskell is compiled to ILX), but those don't seem to be
        supported yet.
      * Foreign label declarations are currently broken, but they were already
        broken before I started messing with the stuff.
      The code is moderately tested.  All modules in lib/std/ and hslibs/lang/
      (using old-style declarations) still compile fine and I have run a couple of
      tests on the different forms of new-style declarations.
  2. 03 Feb, 2002 3 commits
    • sof's avatar
      [project @ 2002-02-03 17:08:55 by sof] · a68338c1
      sof authored
      document the environment variable expansion done in input package specifications
    • sof's avatar
      [project @ 2002-02-03 17:06:12 by sof] · 5f67cbb7
      sof authored
      Provide support for authors that want to distribute packages, by
      expanding occurrences of "${foo}" in an input package spec with
      the value of the 'foo' environment variable. This permits easy
      configuration at install-time, e.g.,
        $ libdir=/opt/haskell/packages/lib ghc-pkg -a < NewPackage.pkg
      [Clearly, a separate preprocessing pass using some other tool could
       provide identical functionality. However, the benefits to the
       package author of not having to depend on such a tool being present
       on a user's box was considered more important.
    • sof's avatar
      [project @ 2002-02-03 04:44:07 by sof] · 03adec57
      sof authored
      recognize .ly as a happy extension
  3. 02 Feb, 2002 1 commit
  4. 01 Feb, 2002 8 commits
  5. 31 Jan, 2002 9 commits
    • sof's avatar
      [project @ 2002-01-31 23:04:15 by sof] · 48ccd03c
      sof authored
      Win32 implementation, first pass.
    • sewardj's avatar
      [project @ 2002-01-31 18:01:34 by sewardj] · 1e8a345a
      sewardj authored
      Make a quite-large start on native code generator documentation.
    • simonpj's avatar
      [project @ 2002-01-31 17:48:26 by simonpj] · b27560c4
      simonpj authored
      Wibbles to yesterdays changes
    • simonmar's avatar
      [project @ 2002-01-31 14:32:04 by simonmar] · fb18dd5a
      simonmar authored
      Update the building guide w.r.t. the enhanced source-file-searching
      mechanisms now in fptools/mk/paths.mk.
      Also, add a small section on Makefile debugging while I'm here,
      mentioning in particular 'make show'.
    • simonmar's avatar
      [project @ 2002-01-31 13:46:38 by simonmar] · 185f7693
      simonmar authored
      Add test for GHCi w/ Happy-generated parsers.
    • simonmar's avatar
      [project @ 2002-01-31 13:42:20 by simonmar] · 95ac9a43
      simonmar authored
      Fix a classic bug: copying a Haskell string with one of the C string
      functions (in this case strncpy()) is wrong when the string contains
      '\0' characters.
      The symptom in this case is that Happy parsers created with -ag don't
      work in GHCi, because the state tables are encoded as strings
      containing lots of '\0' elements.
    • sewardj's avatar
      [project @ 2002-01-31 12:20:13 by sewardj] · 2980a982
      sewardj authored
      fix markup bug
    • sof's avatar
      [project @ 2002-01-31 11:18:06 by sof] · 3b9c5eb2
      sof authored
      First steps towards implementing better interop between
      Concurrent Haskell and native threads.
      - factored out Capability handling into a separate source file
        (only the SMP build uses multiple capabilities tho).
      - factored out OS/native threads handling into a separate
        source file, OSThreads.{c,h}. Currently, just a pthreads-based
        implementation; Win32 version to follow.
      - scheduler code now distinguishes between multi-task threaded
        code (SMP) and single-task threaded code ('threaded RTS'),
        but sharing code between these two modes whenever poss.
      i.e., just a first snapshot; the bulk of the transitioning code
      remains to be implemented.
    • sof's avatar
      [project @ 2002-01-31 10:48:55 by sof] · e282fcb3
      sof authored
      new define, RTS_SUPPORTS_THREADS - defined in SMP and 'threaded' modes of operation