[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.

[project @ 2003-07-16 10:46:29 by panne]
Build Control.Monad before Data.HashTable, the latter depends on the
former. Shouldn't the build system know about that automatically?

[project @ 2003-07-10 19:25:58 by sof]
For System.Directory.renameFile on Win32 platforms, implement the Haskell98
semantics of replacing the target file if it already exists (i.e.,
file/directory renaming is now done by dirUtils.c:__hscore_renameFile().)

Document that System.Directory.renameDirectory will fail on Win32 boxes should
the target directory exist.

Merge to STABLE, I suppose.

[project @ 2003-07-08 16:22:52 by panne]
Fixed some more Haddock links.

[project @ 2003-07-08 16:04:54 by panne]
Export TestResult, too

[project @ 2003-07-08 15:46:40 by panne]
Fixed some Haddock links.

[project @ 2003-07-03 15:22:04 by sof]
[mingw only] asyncDoProc :: FunPtr (Ptr a -> IO ()) -> Ptr a -> IO ()

[project @ 2003-07-02 13:27:35 by stolz]
fork() never returns with EINTR

[project @ 2003-06-30 14:08:24 by stolz]
Duplex Handles are writeable.

Noticed by: Jurriaan Hage

Please MERGE

[project @ 2003-06-24 09:40:51 by stolz]
Pick up openFileEx/openBinaryFile change in error message

[project @ 2003-06-22 09:24:23 by ross]
Hugs only: import throwIO

[project @ 2003-06-21 20:21:04 by malcolm]
Exclude openBinaryFile etc from nhc98 build until we implement it.

[project @ 2003-06-20 14:42:03 by ross]
Hugs only: no hSetBinaryMode

[project @ 2003-06-19 13:20:37 by simonmar]
Fix reallocBytes: when size is zero, it is supposed to act like free.
Which it did, except that we were complaining about the NULL return
value from C's realloc and reporting it as an error.

MERGE TO STABLE

[project @ 2003-06-19 13:04:49 by simonmar]
Following near-silence on the libraries list, add

  openBinaryFile :: FilePath -> IOMode -> IO Handle
  hSetBinaryMode :: Handle -> Bool -> IO ()

to System.IO.

IOModeEx(..) and openFileEx are still available from IOExts (package
lang), but are marked DEPRECATED.

[project @ 2003-06-19 12:55:09 by simonmar]
Fix typo in doc string

[project @ 2003-06-19 10:42:26 by simonmar]
Add raiseIO# primop.

This is part of ensuring that exceptions are *precise* in the IO monad
(as opposed to imprecise exceptions in the pure world).  If we allow
the strictness analyser to see the definition of throwIO:

  throwIO e = IO $ \s -> throw e

then it might re-order evaluation in the IO monad, with the result
that we get _|_ instead of an exception, or one kind of exception when
we were expecting another.  We therefore must prevent the strictness
analyser from doing these reorderings in the IO monad.  Hiding the
definition of throwIO by making it a primop solves part of the problem
(there's more to come).

See SourceForge bug #752149.

[project @ 2003-06-19 10:38:15 by simonmar]
Fix Windows build

[project @ 2003-06-19 09:32:04 by wolfgang]
fix misleading typo in comment

[project @ 2003-06-18 08:06:00 by stolz]
fork() never returns with EINTR

[project @ 2003-06-16 08:02:09 by simonpj]
Add Haddock docs, courtesy of Hal Daume

[project @ 2003-06-12 16:06:06 by simonmar]
Change the type of System.Cmd.rawSystem:

  rawSystem :: FilePath -> [String] -> IO ExitCode

and implement it properly on both Windows & Unix.  The intended
meaning is that the program is executed with *exactly* these
arguments.

We now re-use this rawSystem in the compiler itself (using it directly
from the library if __GLASGOW_HASKELL__ >= 601).

The previous implementation of SysTools.runSomething was broken on
4.08, because Posix.executeFile was broken.  However, implementing the
new rawSystem on 4.08 is tricky, because it uses the FFI marshalling
libraries which weren't present on 4.08.  Hence, bootstrapping from
4.08 is now not possible (it was already not possible on Windows).  It
could be made possible by importing enough FFI marshalling support,
but I won't bother doing that unless/until it is needed.

[project @ 2003-06-12 15:15:23 by simonmar]
exitWith should be using throwIO not throw.

[project @ 2003-06-12 12:55:27 by ross]
move portable newForeignPtr from GHC.ForeignPtr to Foreign.ForeignPtr

[project @ 2003-06-12 10:59:00 by malcolm]
... and add newForeignPtr_ for nhc98.

[project @ 2003-06-12 10:55:57 by malcolm]
For nhc98, define mallocForeignPtr and friends.

[project @ 2003-06-12 10:53:15 by simonmar]
Update to latest revision of the FFI spec:

  - foreignPtrToPtr is now unsafeForeignPtrToPtr
  - newForeignPtr_ added.

[project @ 2003-06-12 10:31:29 by malcolm]
For nhc98, temporarily make foreignPtrToPtr an alias for unsafeForeignPtrToPtr
until ghc and hugs catch up.

[project @ 2003-06-05 13:42:51 by ralf]
Add listify; other minor revisions.

[project @ 2003-06-05 00:49:31 by diatchki]
a huge commit.

overall changes
1. moved the new monad transformer library to its own branch as simon suggested
2. attempted to integrate it with the make system, which mostly works,
except "make install" tries to add the package _before_ copying the library files to
their location.  i don't understand what is going wrong, could someone take a look?

library specific
3. the library is now using the standard "MonadFix" class as sugested by ross.
   the instances are defined in each transformer file.
4. moved "Utils.hs" file to a "Private" directory to indicate that programs should not use it
5. removed the file "Types.hs", now the type for each transformer is defined in the relevant file.
6. added a few tests

[project @ 2003-06-04 14:52:09 by ralf]
Made gread a bit more robust; some renaming of new stuff; add more comments to implementations; added a bit more illustration of gunfold; added or/choice operators

[project @ 2003-06-03 22:26:44 by diatchki]
Added a first version of the new monad library (experimental).
Hopefully one day the "X" will disappear.

[project @ 2003-06-02 14:32:14 by simonpj]
Add (<++)

[project @ 2003-06-01 17:20:02 by ralf]
Minor revision; extension.
(customised gread/gshow for String; add a generic count to be used in the
definition gtypecount, gnodecount; added a mkF to use const mzero as default
and not as in the case of mkM; added a gmapF which is monadic but tries to
recover from failure while stile insisting on at least one successful
immediate subterm; cosmetics)

[project @ 2003-05-30 21:59:44 by ralf]
Major clean-up; would have been nice in GHC 6.00

(most of the changes concern documentation, types, coding style,
grouping, i.e., the interface is largely preserved modulo some
added exports; the only changed type is the one of synthesize;
the pathological function undefineds was removed from the interaces,
and the rarely used function branches was renamed to glength)

I also commit testsuite/.../Generics which has now quite
some meaninful examples in there. Also, the boilerplate is
now properly documented on http://www.cs.vu.nl/boilerplate/

All in all, this stuff starts to be useful and usable.
Great that it is supported by GHC!!!

Cheers,
Ralf

[project @ 2003-05-30 09:19:39 by simonpj]
Stop omitting Data.Generics from Haddockising,
now that suitable #ifdefs make it go through.

The #ifdefs mean that the documentation won't show
the exports (:+:) etc, until Haddock learns about them.

Merge to stable (but only this patch... not the earlier
post-fork changes to Data.Generics)

[project @ 2003-05-29 17:37:17 by malcolm]
For nhc98 only, export the basic C types non-abstractly.
This is due to a deficiency in the way newtypes are handled in
interface files - the compiler needs full information about the
newtype in order to pass values across the FFI.

[project @ 2003-05-29 14:39:31 by sof]
Support for interop'ing with .NET via FFI declarations along the
lines of what Hugs98.NET offers, see

 http://haskell.org/pipermail/cvs-hugs/2003-March/001723.html

for FFI decl details.

To enable, configure with --enable-dotnet + have a look
in ghc/rts/dotnet/Makefile for details of what tools are needed to
build the .NET interop layer (tools from VS.NET / Framework SDK.)

The commit doesn't include some library additions + wider-scale
testing is required before this extension can be regarded as available
for general use. 'foreign import dotnet' is currently only supported
by the C backend.

[project @ 2003-05-27 16:57:09 by malcolm]
Unbreak for nhc98, after the addition of FinalizerPtr as a type synonym,
and the change of Foreign.C.Types to export all newtypes abstract.

[project @ 2003-05-27 09:48:13 by ralf]
Simplified type of gunfold (removed last arg.)
And cosmetics.

[project @ 2003-05-27 08:46:38 by malcolm]
For nhc98, like hugs, re-export sum and product from the Prelude.

[project @ 2003-05-27 08:03:46 by stolz]
GCC 3.3 cpp wibbles

[project @ 2003-05-23 10:48:55 by ross]
replace deriving Eq with explicit instance (twice) because Haddock's
limited understanding of derived instances can't figure out these two.

[project @ 2003-05-23 10:21:27 by simonmar]
Hide this module in the Haddock docs.

[project @ 2003-05-23 10:13:33 by ross]
fix header comment

[project @ 2003-05-23 10:12:28 by ross]
hide GHC.PrimopWrappers from Haddock.

[project @ 2003-05-23 08:59:46 by simonmar]
Remove the words "A cool hack..." from the documentation of this
module, since they refer to the implementation, not the API :-)

[project @ 2003-05-22 10:59:47 by ross]
unbreak for Hugs

[project @ 2003-05-22 09:55:56 by simonmar]
Commit an off-by-one fix that I forgot about.

Fixes SF bug #741600.

[project @ 2003-05-22 09:40:04 by ross]
export architecture-dependent types opaquely.

[project @ 2003-05-22 08:24:32 by chak]
Added a `FinalizerPtr' synonym as in the FFI Addendum (RC 10).

** ATTENTION **

This will break the "#ifdef __NHC__" and "#ifdef __HUGS__" variants of
`ForeignPtr'.  See `GHC/ForeignPtr.hs' for the definitions.

[project @ 2003-05-22 08:21:49 by ross]
add Eq instance (explicit, so Haddock won't be confused)

[project @ 2003-05-22 08:20:38 by ross]
trim import