[project @ 2006-01-11 11:29:49 by simonmar]
add some more warnings about unsafeThaw

[project @ 2006-01-10 10:23:16 by simonmar]
improve documentation for takeMVar/putMVar

[project @ 2006-01-06 15:52:36 by simonpj]
Use a type sig rather than a pattern signature, to avoid
depending on GHC's precise impl of scoped type variables.
(Which I'm about to change.)

[project @ 2006-01-06 15:51:23 by simonpj]
Eta-expand some higher-rank functions.  GHC is about to
move to *invariant* rather than *contra-variant* in function
arguments, so far as type subsumption is concerned. These
eta-expansions are simple, and allow type inference to
go through with invariance.

[project @ 2006-01-06 15:46:09 by simonpj]
Fix one-char typo in scanl1P

[project @ 2006-01-02 19:38:01 by jpbernardy]
* Left-bias restored
* Minor documentation improvements

[project @ 2005-12-30 00:18:59 by ross]
deriving Data

[project @ 2005-12-15 11:17:31 by simonmar]
Add dataCast1/dataCast2 methods to Data class, as per ticket #633.

[project @ 2005-12-13 15:57:49 by simonmar]
Raise the (new) exception NestedAtomically when atomically is nested
(using unsafePerformIO).  This is a small improvement over crashing.

[project @ 2005-12-13 13:28:53 by simonmar]
Only Streams can be DuplexHandles, not RawDevices.

[project @ 2005-12-05 11:42:47 by simonmar]
Add IO versions of the STM primitives that allocate new transactional variables:

  newTVarIO :: a -> IO (TVar a)
  newTChanIO :: IO (TChan a)
  newTMVarIO :: a -> IO (TMVar a)

These can be used inside unsafePerformIO, unlike the STM versions.

[project @ 2005-12-03 17:32:01 by jpbernardy]
Removed spurious constraint for Monoid (IntMap a) instance

[project @ 2005-12-02 14:29:28 by simonmar]
avoid recursive module trap with Haddock

[project @ 2005-12-02 12:26:22 by simonmar]
Apply rev 1.24 from FreeBSD's copy of this file.  Commit message from
FreeBSD:

   The algorithm that computes the tables used in the BM search
   algorithm sometimes access an array beyond it's length. This only
   happens in the last iteration of a loop, and the value fetched is
   not used then, so the bug is a relatively innocent one. Fix this by
   not fetching any value on the last iteration of said loop.

   Submitted by: MKI <mki@mozone.net>

This is the cause of bug #1194393 (crash in darcs on Windows).

[project @ 2005-12-01 12:37:23 by simonmar]
oops, forgot to remove forkIO from here

[project @ 2005-12-01 12:32:24 by simonmar]
export childHandler

[project @ 2005-11-30 16:56:24 by simonmar]
- move forkIO into GHC.Conc, so that the I/O manager can use proper forkIO
  with an exception handler.  This required TopHandler.lhs-boot.  It's the
  right thing, though, since the forkIO implementation is GHC-specific.

- check for out-of-range file descriptors in the I/O manager, rather than
  just exploding.  The I/O manager will exit ungracefully, but at least
  there will be an error message.

[project @ 2005-11-30 12:24:18 by simonmar]
Add

  registerDelay :: Int -> IO (TVar Bool)

for implementing delays and timeouts in STM.  The delay is implemented
in the same way as threadDelay.  Currently doesn't work on Windows or
without -threaded (I do intend to make it work on Windows, though).

[project @ 2005-11-29 14:31:59 by ross]
As foreshadowed on the libraries list, introduce new classes:

Applicative (formerly known as Idiom): generalizes (but does not replace)
both Monad and Monoid.

Traversable: containers that can be traversed, executing actions and
re-assembling the results.  This class generalizes and replaces FunctorM,
because it requires Applicative instead of Monad.

Foldable: containers that can be folded over a Monoid.  Traversable
supplies a default definition, but some structures, e.g. Set, are Foldable
but not Traversable.

[project @ 2005-11-17 15:54:17 by ross]
add a couple of Boolean instances

[project @ 2005-11-17 11:28:43 by simonmar]
ProcessHandle is now an MVar, in which we cache the ExitCode of the
process when we know it.

Additionally, waitForProcess and getProcessExitCode now close the
handle eagerly on Windows, this avoids a problem with hsc2hs which
wants to remove the executable it just ran, and it can't if the handle
is still open.

[project @ 2005-11-13 16:52:14 by jpbernardy]
Correct handling of negative numbers in split and splitMember in IntMap and IntSet.
Better documentation for insert and insertWith in Maps.

[project @ 2005-11-11 14:41:01 by simonmar]
waitForProcess: if the process died with a signal, just return the
exit status rather than EINTR.

This means a segfault shows up as (ExitFailure 139) rather than
an exception complaining about system call interruption.  If the
client wants a more unix-ish interpretation, they probably should be
using System.Posix.Process anyway.

[project @ 2005-11-11 12:01:58 by simonmar]
On Windows, attach a finalizer to the ProcessHandle so that we can
call CloseHandle() when the handle is no longer in use.  Previously we
were calling CloseHandle() in waitForProcess and terminateProcess,
which prevented making multiple calls to these functions on the same
handle.

[project @ 2005-11-11 10:37:35 by simonmar]
Fix bugs in new signal handling machinery

[project @ 2005-11-10 12:58:32 by simonmar]
Some docs for System.Posix, from Bj?rn Bringert

[project @ 2005-11-07 16:39:04 by simonmar]
add GHC notes to mallocForeignPtr

[project @ 2005-10-27 01:39:40 by sof]
[mingw/msys only]
Undo long-standing workaround for buggy GNU ld's on mingw/msys; i.e.,
the linker wasn't correctly generating relocatable object files when
the number of relocs exceeded 2^16. Worked around the issue by
hackily splitting up the GHCi object file for the larger packages
('base', 'ObjectIO' and 'win32') into a handful of object files,
each with a manageable number of relocs. Tiresome and error-prone
(but the hack has served us well!)

This commit imposes a restriction on the 'ld' you use to compile
up GHC with; it now has to be ld-2.15.x or later (something GHC
binary dists have shipped with since 6.2.2)

[project @ 2005-10-26 22:52:58 by ross]
missing part of rev. 1.13: in unfoldForestM_BF, the output sequence is
now in the right order, so don't reverse it.

[project @ 2005-10-25 17:31:38 by sof]
FPTOOLS_CHECK_HTYPE: correctly scope the resetting of CPPFLAGS; as was,
it got blown away if the value was cached.

Merge to STABLE.

[project @ 2005-10-25 12:01:11 by simonmar]
fix findExecutable (I hope; don't have an up to date Windows build to
test on).

[project @ 2005-10-25 11:13:53 by simonmar]
forkIO the signal handlers directly from the IO manager thread, rather
than calling an RTS function to do the same thing.

[project @ 2005-10-25 09:29:47 by ross]
add Monoid instance

[project @ 2005-10-25 09:29:16 by ross]
Now that Data.Monoid is portable, move Monoid instances for sets and
maps back to where the data types are defined.

[project @ 2005-10-25 09:11:25 by ross]
Change the Monoid instance for functions (as proposed on the libraries
list, and interpreting silence as assent) from composition to pointwise
combination.

Rationale: The new instance is consistent with the instances for tuples,
it's compositional, in that it builds instances for complex types out
of instances for simpler ones, and it makes this module Haskell 98.

Downside: the old instance was easy to use with Writer monads, and ShowS
was a special case.  You can get that effect using the new Endo type,
but you have to wrap and unwrap the newtype.

Also added a few other simple monoids: dual, sum and product.

[project @ 2005-10-25 09:01:48 by simonmar]
Note that throwTo blocks if the target thread is in a foreign call.

[project @ 2005-10-22 00:37:01 by ross]
docs (readListDefault seems pretty useless)

[project @ 2005-10-22 00:28:21 by ross]
define readListPrec too.

[project @ 2005-10-21 16:31:23 by ross]
oops

[project @ 2005-10-21 16:25:45 by ross]
Data and FunctorM instances for View[LR].

[project @ 2005-10-21 13:10:48 by simonmar]
cmp_thread returns CInt, not Int

[project @ 2005-10-21 10:47:25 by ross]
conformant Show and Read instances.

(sorry to jump in, JP, but I had these to hand)

[project @ 2005-10-21 10:39:56 by ross]
conformant Show and Read instances

[project @ 2005-10-21 10:26:57 by ross]
conformant Show and Read instances

[project @ 2005-10-21 10:24:58 by ross]
export parens, which is useful for writing Read instances.

[project @ 2005-10-21 06:54:13 by ross]
repair findExecutable

[project @ 2005-10-20 23:28:42 by ross]
revise Read instance to match < and > as chars rather than lexemes,
as suggested by Georg Martius.

[project @ 2005-10-20 18:07:53 by krasimir]
The original version of @findExecutable@ was looking only in the $PATH but under
Windows the executables are searched in the current directory, in $PATH and
in some other places too. The new version is based on @SearchPath@ function from
Win32 API. This is more consistent with @system@ and @rawSystem@

[project @ 2005-10-20 17:12:28 by krasimir]
from Neil Mitchell:

On Windows, the path can be path;"c:\ghc\ghc-6.4\bin";restofpath, and
thats still a valid path with GHC in it. Cabal doesn't find ghc with
the quotes in, removing them does find it though.

[project @ 2005-10-20 15:14:22 by malcolm]
Add spaces in Show instance, to avoid lexing problems e.g. Foo:=-0.9 in Read.

[project @ 2005-10-20 15:08:35 by ross]
Read instance

[project @ 2005-10-20 10:58:44 by malcolm]
Instance of Read for Map, from Georg Martius.

[project @ 2005-10-18 11:36:25 by simonmar]
Fixes to enable base to be compiled with -fasm on Windows:

  - a few stdcall/ccall mismatches
  - use GetTempPathA instead of GetTempPath (a couple of these)

[project @ 2005-10-13 11:09:50 by ross]
update non-portability reasons

[project @ 2005-10-13 10:36:42 by ross]
MArray instance for Lazy.ST

[project @ 2005-10-13 10:35:49 by ross]
comments re strict/lazy monads

[project @ 2005-10-12 10:57:40 by simonpj]
Comments

[project @ 2005-10-10 23:32:51 by sof]
CSsize fix: this Haskell type is defined iff HTYPE_SSIZE_T is. Merge to STABLE

[project @ 2005-10-05 14:04:28 by simonmar]
hPutChar should (probably) not be strict in its Char argument

[project @ 2005-10-05 13:15:44 by simonmar]
mention that -O turns assertions off

[project @ 2005-10-05 08:43:26 by ross]
add Monad and MonadPlus instances

[project @ 2005-09-29 09:31:58 by ross]
Tweak Read instance: allow optional parentheses around the outside
(for consistency), and don't propagate precedence to elements.

[project @ 2005-09-28 13:18:28 by malcolm]
Add an instance of Read to correspond to the existing Show instance.
(Implementation based on H'98 Report definition of 'readList'.)

[project @ 2005-09-24 15:07:49 by panne]
Synched all FPTOOLS_CHECK_HTYPE definitions with the latest changes in
libraries/OpenAL/aclocal.m4. Although it is not strictly necessary, keeping
things identical is good for consistency. At some point in time we should
really find a way to eliminate all this redundancy... *sigh*

[project @ 2005-09-22 09:43:01 by ross]
some docs

[project @ 2005-09-21 11:54:59 by simonmar]
improve documentation for getProcessExitCode

[project @ 2005-09-19 23:24:31 by ross]
For compilers other than MSVC and GCC, assume inline has the C99 semantics.

[project @ 2005-09-18 10:01:57 by panne]
Fixed a few underquoted definitions.

[project @ 2005-09-18 02:22:33 by dons]
Typo in comment only. Spotted by heatsink on #haskell.

[project @ 2005-09-02 14:04:38 by simonmar]
back out rev. 1.22; as pointed out by Krasimir Angelov, the
optimisation doesn't work (sadly).

[project @ 2005-09-01 10:49:07 by ross]
GHC only: define toList using build

[project @ 2005-08-31 12:15:31 by ross]
Hugs: use custom versioon of unsafeInterleaveIO

[project @ 2005-08-05 09:48:16 by ross]
haddock stuff

[project @ 2005-08-04 11:40:26 by simonmar]
fix typo in subRegex (fixes subRegex breakage on Windows)

[project @ 2005-08-01 13:23:22 by simonmar]
Fix

  [ ghc-Bugs-1249226 ] runInteractiveProcess and closed stdin.

[project @ 2005-07-29 17:17:22 by ross]
document deprecation

[project @ 2005-07-29 17:03:37 by ross]
deprecate in favour of Data.Sequence

[project @ 2005-07-29 17:02:07 by ross]
use Data.Sequence instead of Data.Queue

[project @ 2005-07-28 13:27:03 by ross]
avoid warnings

[project @ 2005-07-27 10:04:26 by simonmar]
expand docs for touchForeignPtr and newConcForeignPtr

[project @ 2005-07-27 00:52:33 by ross]
Hugs only: no longer need backslash fiddle now that Hugs leaves them alone.

[project @ 2005-07-26 11:00:42 by ross]
this version of closeFd is used by GHC only

[project @ 2005-07-26 09:37:27 by ross]
PrelHandle functions are only needed by GHC

[project @ 2005-07-23 17:08:03 by ross]
non-GHC: implement rawSystem by translating the string for system.

[project @ 2005-07-23 13:28:24 by ross]
Hugs: omit commandToProcess

[project @ 2005-07-22 16:25:16 by ross]
revert 1.17

[project @ 2005-07-22 10:18:51 by simonmar]
check the return value of chdir()

  [ 1242598 ] runProcess uses cwd for bad working directory argument

[project @ 2005-07-22 08:15:06 by ross]
unbreak for non-GHC

[project @ 2005-07-21 12:54:33 by simonmar]
Hack Makefiles so that 'make distclean' works even if the tree has not
been configured, or 'make distclean' has already been run.

This is to solve problems caused by 'make distclean' removing files
that it needs itself - previously we were arranging to remove certain
files right at the end of cleaning, but this is fragile.  So now we
assume that e.g. the X11 library is always enabled when we're
cleaning.

[project @ 2005-07-21 11:08:51 by ross]
specialize instances too

[project @ 2005-07-21 11:00:17 by ross]
revise Data instance again, making it like lists

[project @ 2005-07-21 10:59:27 by ross]
more SPECIALIZE pragmas

[project @ 2005-07-21 10:00:34 by simonmar]
Further optimisations to ForeignPtr: now we don't allocate the IORef
for a ForeignPtr without a finalizer.

[project @ 2005-07-21 09:26:30 by simonmar]
copyFile: copy the permissions properly (don't use getPermissions >>=
setPermissions, which only copies the owner's permissions on Unix).

[project @ 2005-07-19 23:22:39 by ross]
use feature tests instead of $host to locate socket library

[project @ 2005-07-19 17:33:23 by ross]
improved definition of gfold for Seq a

[project @ 2005-07-19 17:06:18 by ross]
hook in Data.Sequence

[project @ 2005-07-19 09:26:03 by ross]
use $host instead of $target (mainly affects builds with cabal)

[project @ 2005-07-14 15:36:31 by ross]
remove redundant definitions of unsafeRangeSize (same as default)

[project @ 2005-07-14 11:59:27 by ross]
Data.Sequence: general purpose finite sequences
(as discussed on the libraries list in May 2005).