[project @ 2003-09-24 13:26:08 by malcolm]
Missing dependency.

[project @ 2003-09-24 11:36:24 by simonmar]
Add some realToFrac rules for CFloat,CDouble and CLDouble, so that
eg. realToFrac :: CDouble -> Double turns into a no-op.

[project @ 2003-09-24 11:06:54 by simonmar]
Move forkOS_createThread into the RTS so its implementation can be
dependent on RTS_SUPPORTS_THREADS, which means we can provide a stub
implementation in the !RTS_SUPPORTS_THREADS case, and hence not depend
on pthread_create, which requires -lpthread.  The upshot is that GHCi
now works again when !RTS_SUPPORTS_THREADS.

[project @ 2003-09-24 10:41:11 by simonmar]
Add non-blocking versions of hGetBuf, hPutBuf.

[project @ 2003-09-24 10:32:12 by simonmar]
If we change the terminal settings as a result of hSetBuffering or
hSetEcho, then restore them again in hs_exit().  This is just good
citizenship on Unixy platforms.

We *don't* just automatically save the terminal settings and restore
them at the end, because that would prevent implementing stty-like
programs in Haskell.  This scheme is a compromise that hopefully DTRT
in most cases.

[project @ 2003-09-23 18:59:43 by sof]
h{Get,Put}NonBlocking: win32 impl

[project @ 2003-09-23 17:33:12 by sof]
createPipe, createPipeEx: commented out exports (doesn't appear to be defined anywhere)

[project @ 2003-09-23 16:18:03 by sof]
[win32]: make it compile

[project @ 2003-09-23 16:13:59 by simonmar]
Haddock fix.

[project @ 2003-09-23 13:26:30 by simonmar]
- Add h{Get,Put}BufNonBlocking

- optimise hGetBuf/hPutBuf so that they use the buffer more.  Lots of
  small hGetBufs will now use the read buffer, rather than repeatedly
  calling into the OS.

[project @ 2003-09-23 13:23:58 by simonmar]
micro-optimisation

[project @ 2003-09-23 10:09:17 by panne]
Unbreak Show instance for Ptr caused by the changes to showHex

merge to STABLE

[project @ 2003-09-22 13:27:19 by wolfgang]
Really make the bound threads stuff compile this time (sorry).

[project @ 2003-09-22 11:11:54 by ross]
cosmetic: move comments inside #ifdefs to avoid confusing people (like
Hugs users) who look at the preprocessed output.

[project @ 2003-09-22 10:20:06 by wolfgang]
fix some embarassing typos in the previous commit

[project @ 2003-09-21 22:20:57 by wolfgang]
Bound Threads
=============

Introduce a way to use foreign libraries that rely on thread local state
from multiple threads (mainly affects the threaded RTS).

See the file threads.tex in CVS at haskell-report/ffi/threads.tex
(not entirely finished yet) for a definition of this extension. A less formal
description is also found in the documentation of Control.Concurrent.

The changes mostly affect the THREADED_RTS (./configure --enable-threaded-rts),
except for saving & restoring errno on a per-TSO basis, which is also necessary
for the non-threaded RTS (a bugfix).

Detailed list of changes
------------------------

- errno is saved in the TSO object and restored when necessary:
ghc/includes/TSO.h, ghc/rts/Interpreter.c, ghc/rts/Schedule.c

- rts_mainLazyIO is no longer needed, main is no special case anymore
ghc/includes/RtsAPI.h, ghc/rts/RtsAPI.c, ghc/rts/Main.c, ghc/rts/Weak.c

- passCapability: a new function that releases the capability and "passes"
  it to a specific OS thread:
ghc/rts/Capability.h ghc/rts/Capability.c

- waitThread(), scheduleWaitThread() and schedule() get an optional
  Capability *initialCapability passed as an argument:
ghc/includes/SchedAPI.h, ghc/rts/Schedule.c, ghc/rts/RtsAPI.c

- Bound Thread scheduling (that's what this is all about):
ghc/rts/Schedule.h, ghc/rts/Schedule.c

- new Primop isCurrentThreadBound#:
ghc/compiler/prelude/primops.txt.pp, ghc/includes/PrimOps.h, ghc/rts/PrimOps.hc,
ghc/rts/Schedule.h, ghc/rts/Schedule.c

- a simple function, rtsSupportsBoundThreads, that returns true if THREADED_RTS
  is defined:
ghc/rts/Schedule.h, ghc/rts/Schedule.c

- a new implementation of forkProcess (the old implementation stays in place
  for the non-threaded case). Partially broken; works for the standard
  fork-and-exec case, but not for much else. A proper forkProcess is
  really next to impossible to implement:
ghc/rts/Schedule.c

- Library support for bound threads:
    Control.Concurrent.
      rtsSupportsBoundThreads, isCurrentThreadBound, forkOS,
      runInBoundThread, runInUnboundThread
libraries/base/Control/Concurrent.hs, libraries/base/Makefile,
libraries/base/include/HsBase.h, libraries/base/cbits/forkOS.c (new file)

[project @ 2003-09-16 13:46:36 by simonmar]
Don't strip the trailing slash from the filename '/'.

[project @ 2003-09-16 13:03:37 by simonmar]
Legacy Removal
~~~~~~~~~~~~~~

The following features have been consigned to the bit bucket:

  _ccall_
  _casm_
  ``....''  (lit-lits)
  the CCallable class
  the CReturnable class

[project @ 2003-09-12 13:05:19 by simonmar]
Implement pathconf()/fpathconf() wrappers.

[project @ 2003-09-12 12:29:43 by simonmar]
Move setChildStopFlag and queryChildStopFlag to System.Posix.Signals.

[project @ 2003-09-10 14:45:24 by simonmar]
Quick hack to work around the dynamic exception crashes in GHCi.  The
problem is this: the Data.Typeable library (Data.Dymamic in previous
versions of GHC) maintains an internal cache mapping type names to
unique numbers, and this cache is used for fast comparisons on
TypeReps.  In GHCi, there are actually two versions of the
Data.Typeable library loaded: one linked to GHCi itself, and the other
dynamically loaded, so there are two copies of the hash tables.

The problem is that if we have a Dynamic value generated using one set
of hash tables, it will erroneously appear to be of a different type
when the other hash tables are used.

The hack I've instigated is to use the central RTS genSym (which
already exists) to generate the unique Ids, so that the two copies of
the dynamic library will be using distinct Ids, and Dynamics from one
will never be recognisable to the other.

[project @ 2003-09-10 11:46:58 by simonmar]
The finalizer for a ForeignPtr created with mallocForeignPtr better
"touch#" the MutableByteArray# after running the other finalizers,
otherwise the memory might be garbage collected before we've finished
running the finalizers.

This can cause crashes if you add any extra finalizers to a ForeignPtr
created with mallocForeignPtr.

SourceForge bug: #802692

[project @ 2003-09-08 16:23:57 by ross]
ST doc adjustments

[project @ 2003-09-08 14:14:37 by simonmar]
Doc wibbles

[project @ 2003-09-05 17:36:40 by ross]
minimal docs

[project @ 2003-09-05 15:06:48 by ross]
doc tweaks

[project @ 2003-09-03 10:49:19 by simonmar]
inputReady(): the time calculation for select() was wrong, forgetting
to multiply the milliseconds value by 1000 to get microseconds.

[project @ 2003-09-02 16:07:08 by ross]
Deal with systems on which PATH_MAX is undefined, e.g. systems with
unlimited path length, like the Hurd (also faulty installations of gcc
on Solaris).  In fact getCurrentDirectory only needs a long path size
to use as a first approximation, so give it that.

[project @ 2003-09-02 15:31:02 by malcolm]
For nhc98, take the corrected (thanks to Ross Paterson) version of
fixIO from NHC.IOExtras.

[project @ 2003-09-01 09:12:02 by ross]
H98 docs for Data.List

[project @ 2003-08-31 18:41:28 by ross]
doc tweaks

[project @ 2003-08-30 23:01:48 by ross]
minor haddock fixes

[project @ 2003-08-30 22:55:42 by ross]
docs for System.Environment & System.Exit

[project @ 2003-08-30 12:26:56 by ross]
docs for System.IO.Error

[project @ 2003-08-27 11:03:44 by simonmar]
isSpace should only recognise Latin-1 whitespace characters, according
to the report.

Perhaps we should have isUniSpace, too?

[project @ 2003-08-27 08:41:07 by simonmar]
Remove duplicate type signature

[project @ 2003-08-26 20:41:46 by ross]
Hugs only: remove unused argument from toClockTimePrim

[project @ 2003-08-26 10:39:55 by ross]
Document Data.Char from the H98 Report.

Note that the new implementations of isSpace and isDigit are inconsistent
with this documentation -- maybe two versions of them are needed?

[project @ 2003-08-23 10:25:52 by ross]
non-GHC only: hide functions defined in the Prelude

[project @ 2003-08-23 00:08:02 by sof]
[win32]renameFile:
  Try bridging between GetLastError() error values and the
  errno-based error handling code in System.Directory. As was,
  errors ended up being reported as 'no errors'.

[project @ 2003-08-22 23:44:40 by sof]
pin better location info on IOErrors

[project @ 2003-08-22 22:11:03 by sof]
[GHC only]: Added missing 'config.h' #include ; needed by getProgName

Merge to STABLE.

[project @ 2003-08-22 08:58:30 by panne]
Added a workaround for the Haddock problems introduced by the circular
module dependencies regarding Unicode handling.

[project @ 2003-08-20 15:54:45 by panne]
Nuked FPTOOLS_O_BINARY test and use FP_CHECK_CONST instead, which is
shorter and better (e.g. cross compilation).

[project @ 2003-08-20 15:44:19 by panne]
* Cleaned up FP_CHECK_ALIGNMENT test a bit.

* Nuked FPTOOLS_CHECK_CCONST test in favour of a more general one
  which handles cross compilation and languages different from C.

[project @ 2003-08-20 10:22:44 by simonmar]
Use the wide-char classifications from the C library if available.
This gives us Unicode-aware isLower, isUpper, isAlpha etc.

On Unix, you have to set your locale to something.  This is usually
done by setting the environment variable LANG, eg.

  export LANG=en

This stuff *should* also work on Windows, except that Windows uses a
16-bit wchar_t so will get it wrong for characters > '\xffff'.  However,
I figured it was better to use the system-supplied functionality
rather than trying to implement this stuff ourselves.

[project @ 2003-08-19 16:39:13 by simonmar]
Use the wide-char classifications from the C library if available.
This gives us Unicode-aware isLower, isUpper, isAlpha etc.

On Unix, you have to set your locale to something.  This is usually
done by setting the environment variable LANG, eg.

  export LANG=en

This stuff *should* also work on Windows, except that Windows uses a
16-bit wchar_t so will get it wrong for characters > '\xffff'.  However,
I figured it was better to use the system-supplied functionality
rather than trying to implement this stuff ourselves.

[project @ 2003-08-19 16:34:11 by simonmar]
Fix reversed flag in mkRegexWithOpts

[project @ 2003-08-19 16:33:03 by simonmar]
Fix incorrect Haddock syntax

[project @ 2003-08-18 12:46:21 by panne]
Revamped altzone detection. Note that we test only for successful
compilation now, not for successful linking, but this is what most
autoconf macros do.

[project @ 2003-08-11 18:39:56 by ross]
rename the cute presentations and use derived instances of Read and
Show, as suggested by Tomasz Zielonka.

[project @ 2003-08-11 13:18:22 by ross]
expose unsafeInterleaveIO to Hugs

[project @ 2003-08-08 10:55:22 by malcolm]
Adjust the default search path for building library packages with nhc98.

[project @ 2003-08-05 17:25:30 by ross]
fix some identifier links

[project @ 2003-08-05 17:24:40 by ross]
add type signatures for Haddock's benefit

[project @ 2003-08-05 17:16:16 by ross]
adjust exclusions for Hugs

[project @ 2003-08-05 12:13:29 by panne]
Moved QuickCheck into separate package

[project @ 2003-08-04 18:40:47 by panne]
Export HandlePosition

[project @ 2003-08-04 18:20:44 by panne]
Ooops, forgot one link in the last commit...

[project @ 2003-08-04 18:07:49 by panne]
Export ReadS from Text.ParserCombinators.ReadP, curing CPP trickery a bit

[project @ 2003-08-04 17:52:33 by panne]
Synched comments with reality

[project @ 2003-08-04 17:30:53 by panne]
Fixed hyperlink (at least for GHC docs :-)

[project @ 2003-08-04 14:47:37 by panne]
Fixed hyperlink

[project @ 2003-08-04 14:41:55 by simonmar]
Make a bunch of foreign imports "unsafe".

[project @ 2003-08-04 13:49:28 by panne]
Fixed hyperlink for exitWith

[project @ 2003-08-04 10:05:32 by ross]
docs copied from the report

[project @ 2003-08-01 15:56:11 by panne]
Warning police

[project @ 2003-08-01 10:00:48 by ross]
Swapped argument order of `newForeignPtr' and `addForeignPtrFinalizer'
to track FFI spec.  (Maybe the Conc ones should do the same?)

This will break NHC.

[project @ 2003-08-01 09:59:04 by ross]
tiny doc fix

[project @ 2003-07-31 17:45:22 by ross]
move Parsec out of base into a package parsec (no code changes)

[project @ 2003-07-31 10:48:50 by panne]
Merge Foreign.C.TypesISO into Foreign.C.Types

[project @ 2003-07-31 09:28:47 by ralf]
Cosmetic changes.
Documentation of Data.Generics at
http://www.cs.vu.nl/boilerplate/
is now also again well in line with the major
revision of Data.Generics from last week.

[project @ 2003-07-30 08:13:16 by ralf]
Rolled back to newtype now that the compiler does not panic anymore
for the module Data/Generics/Text.hs.

[project @ 2003-07-29 12:36:52 by ross]
exclude Data.Generics.*

[project @ 2003-07-29 12:03:13 by ross]
trim imports

[project @ 2003-07-28 15:03:05 by panne]
Markup fixes

[project @ 2003-07-28 12:11:46 by malcolm]
Use new Data.Dynamic/Data.Typeable story in nhc98.

[project @ 2003-07-26 12:43:58 by ralf]
Renamed Data/Generics/Strings to .../Text.
Implemented generic read by using Text/ParserCombinators/ReadP.
This is now how it really should look like.
Did some more refactoring in the modules of Data/Generics.
I consider the library relatively stable by now.
Very experimental stuff is only in Data/Generics/Reify.hs

(

I was a bit too optimistic yesterday regarding the
commitibility of Data/Generics. SPJ wanted me to use
Text/ParserCombinators/ReadP for generic read what I
did, which revealed a funny compiler bug. SPJ will
probably report on this very soon.

The compiler does not panic if I turn
ReadP from a newtype into a datatype, what I have temporarily
done. I hope this is Ok for the moment.

)

[project @ 2003-07-25 15:03:38 by simonpj]
Wibbles to gread; Ralf to check

[project @ 2003-07-25 14:36:38 by ralf]
Data.Generics is up and running again!

The testsuite is passed 100% successful.
Much of the Data.Generics code looks better.
So the transition to a new Data class and
the deriving support is completed.

Some detailed changes:

- Rolled back type change for gmapQ.
  (We rather added gmapQl and gmapQr.)
- Renamed gmapF and other "F" to Mp like MonadPlus.
- Reconstructed gread.

[project @ 2003-07-25 10:03:51 by simonmar]
regcomp: don't attach the regfree finalizer if c_regcomp failed.

[project @ 2003-07-24 16:24:21 by ralf]
Addressed Ross' concerns as follows:
Included all of Data/Types.hs into Data/Typeable.hs.
It really makes sense there anyway.

[project @ 2003-07-24 15:28:06 by simonpj]
Minor bugs in generics

[project @ 2003-07-24 15:13:44 by ross]
exclude Data.Generics.* from Hugs

[project @ 2003-07-24 14:20:23 by panne]
Quick fix from Ross to get the Hugs builds working again. I'm not sure
what the right fix is, e.g. is moving sameType to Data.Types enough?

[project @ 2003-07-24 13:53:20 by simonmar]
Make pre-processing primops.txt from this directory work properly.

[project @ 2003-07-24 12:19:57 by ralf]
Major refactoring of Data/Generics.
This also affects the compiler (because of deriving issues).
This is an intermediate commit.
The library is supposed to compile fine.
But the deriving stuff for Data needs to be revised.
The testsuite for Data/Generics will not pass.
gread is broken at the moment.
So it is strongly recommended not to cvs upd for a few hours or a day.

Detailed description of changes:
- Split up Data/Dynamic into Data/Typeable and Data/Dynamic.
  (This makes clear what part is about TypeReps and cast vs.
   dynamics. The latter is not needed by Data/Generics.)
- Renamed Data/include/Dynamic.h -> Typeable.h to end confusion.
- Split up Data/Generics.hs in a set of modules.
- Revised class Data:
  - Got rid of gunfold but added fromConstr as more primtive one
  - Revised representations of constructors
  - Revised treatment of primitive types
- Revised type of gmapQ; preserved old gmapQ as gmapL
- Added a module Data/Types.hs for treatment of types as values.

This is going somewhere.

[project @ 2003-07-24 12:05:42 by panne]
GCC 3.3 is a bit picky about macros with a varying number of
arguments, even when they are skipped. Strange...

[project @ 2003-07-24 10:41:38 by simonpj]
Add more comments

[project @ 2003-07-24 07:49:33 by simonpj]
A gross hack to stop the pretty-printer going into an infinite loop.
What happens is that 'indent' is given a negative number, and that
made it loop.  This patch checks for the negative case, so at least
it doesn't loop -- but I don't understand why the indent ever goes negative,
so there's still something wrong here.

[project @ 2003-07-23 15:39:54 by simonmar]
GHC/PrimopWrappers.hs fix for BootingFromHc

[project @ 2003-07-23 10:27:49 by wolfgang]
Fix regular expressions for Mac OS X.

For some reason, Apple uses 64-bit offsets in regmatch_t,
so we have to use (#type regoff_t) instead of CInt.

MERGE TO STABLE.

[project @ 2003-07-22 14:38:02 by simonpj]
Remove out-of-date apology about mkTyConApp; merge to stable

[project @ 2003-07-22 12:55:50 by simonmar]
Export hShow (GHC only for now).

[project @ 2003-07-22 09:55:05 by ross]
jiggle to make System.Posix.Directory work for Hugs

[project @ 2003-07-21 16:50:20 by simonmar]
GHC's instance Show Handle is wrong, because it is impure.  This
commit makes the Show instance pure by restricting what it shows to
just the filename.

I moved the filename from the Handle__ (the mutable portion of the
Handle) to the Handle proper, to facilitate this.  This might result
in a small performance improvment because Handle__ is now slightly
smaller.

Also added:

  GHC.Handle.hShow :: Handle -> IO String

which provides the old functionality, but now in the IO monad.
Pending discussion on the libraries list, this may be exposed by
System.IO.

Also, while I was here, I did something I've been meaning to do for a
long time: change the godawful IOError Show instance.

Previously:

   illegal operation
   Action: hGetChar
   Handle: {loc=<stdin>,type=semi-closed,binary=False,buffering=block (8192)}
   Reason: handle is closed
   File: <stdin>

Now:

   <stdin>: hGetChar: illegal operation (handle is closed)

This is going to result in a bunch of test failures, but I'll deal
with those later.

[project @ 2003-07-21 13:21:02 by malcolm]
>  Build Control.Monad before Data.HashTable, the latter depends on the
>  former. Shouldn't the build system know about that automatically?

Yes.  The right way to fix the issue is to add a dependency between
the .o files.

[project @ 2003-07-21 09:26:23 by simonmar]
Fix showIntAtBase to match the report.  Its signature was previously

  showIntAtBase :: Integral a => a -> (a -> Char) -> a -> ShowS

and is now:

  showIntAtBase :: Integral a => a -> (a -> Char) -> a -> ShowS

[project @ 2003-07-16 17:46:52 by sof]
[win32]asyncDoProc :: FunPtr (Ptr a -> IO Int) -> Ptr a -> IO Int

[project @ 2003-07-16 10:55:20 by simonmar]
- Make showHex and showOct match the report (don't add leading "Ox" or
  "Oo").

- Remove showBin, which isn't specified by the report.