haskell-report.git
15 years agoMarkup, s/shared/global/
Simon Marlow [Tue, 18 May 2004 11:40:11 +0000 (11:40 +0000)] 
Markup, s/shared/global/

15 years agomainly markup
Simon Marlow [Tue, 18 May 2004 11:27:07 +0000 (11:27 +0000)] 
mainly markup

15 years agouninstall updates
Simon Marlow [Tue, 18 May 2004 11:07:48 +0000 (11:07 +0000)] 
uninstall updates

15 years agoSimon's updates
Simon Marlow [Tue, 18 May 2004 10:49:10 +0000 (10:49 +0000)] 
Simon's updates

15 years agoTypos, and add an extra blank line in #! scripts to make them legal
Ross Paterson [Mon, 17 May 2004 15:04:04 +0000 (15:04 +0000)] 
Typos, and add an extra blank line in #! scripts to make them legal
literate scripts.

15 years agoLots of updates (mostly markup).
Simon Marlow [Mon, 17 May 2004 14:54:37 +0000 (14:54 +0000)] 
Lots of updates (mostly markup).

15 years agomarkup & simple changes
Simon Marlow [Tue, 11 May 2004 12:24:38 +0000 (12:24 +0000)] 
markup & simple changes

15 years agoAdd the draft Haskell Package System spec
Simon Peyton Jones [Tue, 11 May 2004 11:45:10 +0000 (11:45 +0000)] 
Add the draft Haskell Package System spec

15 years agoUpdate description of forkProcess; add descriptions for
Wolfgang Thaller [Thu, 6 May 2004 12:11:10 +0000 (12:11 +0000)] 
Update description of forkProcess; add descriptions for
rtsSupportsBoundThreads, runInBoundThread and runInUnboundThread

15 years agoFinal version of 1.0
Manuel Chakravarty [Mon, 1 Dec 2003 06:40:35 +0000 (06:40 +0000)] 
Final version of 1.0

15 years ago* 6.3: Footnote regarding __STDC_ISO_10646__ added to text introducing
Manuel Chakravarty [Mon, 17 Nov 2003 09:11:37 +0000 (09:11 +0000)] 
* 6.3: Footnote regarding __STDC_ISO_10646__ added to text introducing
       `CWString'.

15 years ago6.3:
Manuel Chakravarty [Wed, 12 Nov 2003 04:58:11 +0000 (04:58 +0000)] 
6.3:
 - Stated explicitly that memory allocated by `newCString' and friends
   can be deallocated by `MarshalAlloc.free'
 - Improved documentation

15 years agoBump RC #
Manuel Chakravarty [Wed, 5 Nov 2003 08:24:56 +0000 (08:24 +0000)] 
Bump RC #

15 years ago* 6.2: CWChar -> CWchar
Manuel Chakravarty [Wed, 5 Nov 2003 08:20:53 +0000 (08:20 +0000)] 
* 6.2: CWChar -> CWchar
* 6.3: CWChar -> CWchar

15 years ago* 5.3: Fixed typo
Manuel Chakravarty [Sun, 2 Nov 2003 10:40:34 +0000 (10:40 +0000)] 
* 5.3: Fixed typo
* 5.7: Fixed a mistake in the type of `peekByteOff' and `pokeByteOff' (the
       type variable constrained by `Storable' must be different from the
       parameter of the `Ptr')
* 6.3: Improved documentation

15 years agoBumped RC #
Manuel Chakravarty [Fri, 31 Oct 2003 07:32:58 +0000 (07:32 +0000)] 
Bumped RC #

15 years ago* 5.5 : Added `FinalizerEnvPtr', `newForeignPtrEnv', and
Manuel Chakravarty [Fri, 31 Oct 2003 07:26:45 +0000 (07:26 +0000)] 
* 5.5  : Added `FinalizerEnvPtr', `newForeignPtrEnv', and
         `addForeignPtrFinalizerEnv'
* 6.3  : Added John Meacham proposal for `wchar_t' support as well localised
         string marshalling; in particular, this adds `CWString' and
         `CWStringLen' as well as the `CWString' and the `CAString' family
         of marshalling routines.  In addition, `charIsRepresentable' was
         added.

16 years agoStarted restructuring the document to make it another addendum
Wolfgang Thaller [Thu, 18 Sep 2003 22:02:21 +0000 (22:02 +0000)] 
Started restructuring the document to make it another addendum
to the FFI addendum

16 years agoRemove this file, as it has been replaced by threads.tex a long time ago.
Wolfgang Thaller [Thu, 18 Sep 2003 22:01:19 +0000 (22:01 +0000)] 
Remove this file, as it has been replaced by threads.tex a long time ago.

16 years agoChanges since RC11:
Manuel Chakravarty [Fri, 1 Aug 2003 06:43:56 +0000 (06:43 +0000)] 
Changes since RC11:
* 5.5: Swapped argument order of `newForeignPtr' and `addForeignPtrFinalizer'

16 years agoAdded a section dealing with what primitives have to be modified or added:
Wolfgang Thaller [Fri, 13 Jun 2003 21:20:44 +0000 (21:20 +0000)] 
Added a section dealing with what primitives have to be modified or added:
forkIO, forkOS, isCurrentThreadBound and forkProcess

16 years agoZap the old proposals, leave only Proposal 4.
Wolfgang Thaller [Fri, 13 Jun 2003 13:10:32 +0000 (13:10 +0000)] 
Zap the old proposals, leave only Proposal 4.

16 years ago* 5.5 : added `newForeignPointer_' and renamed `foreignPtrToPtr' to
Manuel Chakravarty [Thu, 12 Jun 2003 05:14:07 +0000 (05:14 +0000)] 
* 5.5  : added `newForeignPointer_' and renamed `foreignPtrToPtr' to
         `unsafeForeignPtrToPtr'
* Fixed typos

16 years ago* 3.3 : Clarified use of foreign functions of pure type
Manuel Chakravarty [Mon, 9 Jun 2003 14:57:53 +0000 (14:57 +0000)] 
* 3.3  : Clarified use of foreign functions of pure type
* 4.1.1: Clarified the meaning of foreign imports without a & that have a
         non-functional type in Haskell
* 5.1  : Clarified the scope of safe use of unsafePerformIO
* 5.5  : "pre-emptive" dropped in footnote regarding finalizers.
* Typos throughout

16 years agoThe relevant nhc98 version number is 1.04.
Simon Marlow [Fri, 30 May 2003 16:15:11 +0000 (16:15 +0000)] 
The relevant nhc98 version number is 1.04.

16 years agoBuild the PDF version automatically too.
Simon Marlow [Fri, 30 May 2003 16:13:02 +0000 (16:13 +0000)] 
Build the PDF version automatically too.

16 years agoAdd the library "policy document" to this page, so it can now be found
Simon Marlow [Fri, 30 May 2003 16:11:25 +0000 (16:11 +0000)] 
Add the library "policy document" to this page, so it can now be found
in a standard place.  We don't claim it's an addendum, however.

16 years agodate Hugs compliance
Ross Paterson [Fri, 30 May 2003 16:06:46 +0000 (16:06 +0000)] 
date Hugs compliance

16 years agoAdd a simple web page
Simon Marlow [Fri, 30 May 2003 15:26:23 +0000 (15:26 +0000)] 
Add a simple web page

16 years agoRC 10:
Manuel Chakravarty [Thu, 22 May 2003 09:38:09 +0000 (09:38 +0000)] 
RC 10:
* 1:     Mentioning interaction with foreign threads as an open problem.
* 2 & 3: Removed `threadsafe' again, as the proposal for thread support is
         still evolving and it is not yet clear whether a new safety level
         is required.
* 5.5:   Added the type synonym `FinalizerPtr' and rewrite the documentation
         of finalizers.
* 5.6:   Clarified the description of `StablePtr'
* 5.8:   Added `finalizerFree'
* 6.2:   All the types in CTypes must be newtypes that are exported
         abstractly.

16 years agoRC 9:
Manuel Chakravarty [Wed, 21 May 2003 12:19:17 +0000 (12:19 +0000)] 
RC 9:
* 5.8: `MarshallAlloc.reallocBytes' is no longer permitted on memory
       allocated with `alloca' or `allocaBytes'.

* Added extra COPYING file and a Makefile for a tarball (as requested by Igloo
  for Debian)

16 years agoAdd Kevin and John as some-time editors
Simon Peyton Jones [Fri, 16 May 2003 15:26:24 +0000 (15:26 +0000)] 
Add Kevin and John as some-time editors

16 years agoAdd Proposal 4
Simon Peyton Jones [Tue, 6 May 2003 11:20:30 +0000 (11:20 +0000)] 
Add Proposal 4

16 years agoThird proposal, from S&S
Simon Peyton Jones [Thu, 1 May 2003 10:54:32 +0000 (10:54 +0000)] 
Third proposal, from S&S

16 years agoCorrected a typo in the formal semantics;
Wolfgang Thaller [Wed, 30 Apr 2003 22:45:39 +0000 (22:45 +0000)] 
Corrected a typo in the formal semantics;
Added a paragraph about a possible change to the semantics to the "Issues" section

16 years agoModel forkIO in the semantics
Wolfgang Thaller [Fri, 25 Apr 2003 17:57:48 +0000 (17:57 +0000)] 
Model forkIO in the semantics
Remove the \ret action, as it is not needed
Explicitly state an important invariant
Clean up a bit

16 years agoAdded a completely new and much better [:-)] proposal, as Part II of the
Wolfgang Thaller [Fri, 25 Apr 2003 15:04:59 +0000 (15:04 +0000)] 
Added a completely new and much better [:-)] proposal, as Part II of the
document.

16 years agoAdd ack
Simon Peyton Jones [Tue, 8 Apr 2003 08:18:26 +0000 (08:18 +0000)] 
Add ack

16 years agoFix <= typo, which is fixed in the printed version
Simon Peyton Jones [Tue, 8 Apr 2003 08:18:19 +0000 (08:18 +0000)] 
Fix <= typo, which is fixed in the printed version

16 years agocommit bug files
Simon Peyton Jones [Mon, 7 Apr 2003 15:40:30 +0000 (15:40 +0000)] 
commit bug files

16 years agoH98 revised bug list
Simon Peyton Jones [Mon, 7 Apr 2003 15:07:15 +0000 (15:07 +0000)] 
H98 revised bug list

16 years agoAdded a simple proposal for setting and getting widget properties.
Axel Simon [Fri, 4 Apr 2003 18:37:30 +0000 (18:37 +0000)] 
Added a simple proposal for setting and getting widget properties.

16 years agoAdded Vicenzo's comment.
Axel Simon [Thu, 20 Mar 2003 10:46:03 +0000 (10:46 +0000)] 
Added Vicenzo's comment.

16 years agoA summary of the GUI Task force discussions.
Axel Simon [Thu, 20 Mar 2003 00:12:37 +0000 (00:12 +0000)] 
A summary of the GUI Task force discussions.

This document contains summaries of the discussions on the mailing lists.
It is hopefulle useful in specifying the CGA.

16 years agoreorder sections
Simon Peyton Jones [Mon, 3 Mar 2003 11:12:21 +0000 (11:12 +0000)] 
reorder sections

16 years agoAdded sections about (my version of) the proposed extensions to the
Wolfgang Thaller [Sun, 16 Feb 2003 22:48:23 +0000 (22:48 +0000)] 
Added sections about (my version of) the proposed extensions to the
FFI syntax, about the proposed addition to the libraries, and about
unresolved issues.

16 years agoExplained the reason for it all in the introduction. Fix a few typos.
Wolfgang Thaller [Fri, 7 Feb 2003 13:45:30 +0000 (13:45 +0000)] 
Explained the reason for it all in the introduction. Fix a few typos.

16 years agoCorrected a mix up with RC numbers
Manuel Chakravarty [Wed, 22 Jan 2003 09:01:59 +0000 (09:01 +0000)] 
Corrected a mix up with RC numbers

16 years ago* Clarified the lexis of C identifiers and C header file names
Manuel Chakravarty [Wed, 22 Jan 2003 08:48:26 +0000 (08:48 +0000)] 
* Clarified the lexis of C identifiers and C header file names

16 years ago* In `ForeignPtr', added `mallocForeignPtrArray' and `mallocForeignPtrArray0'
Manuel Chakravarty [Wed, 22 Jan 2003 05:47:14 +0000 (05:47 +0000)] 
* In `ForeignPtr', added `mallocForeignPtrArray' and `mallocForeignPtrArray0'
* Clarified spec of allocations functions adding constraints taken from the
  corresponding C routines

16 years ago* `mallocBytes' and `allocaBytes' must align memory sufficiently for any
Manuel Chakravarty [Tue, 14 Jan 2003 12:21:00 +0000 (12:21 +0000)] 
* `mallocBytes' and `allocaBytes' must align memory sufficiently for any
  basic foreign type that fits into the allocated block
* Using Ross' wording of the size/alignment constraint on Storable

16 years agoImported the grammar style used by the FFI Addendum (v0.5a)
Manuel Chakravarty [Tue, 14 Jan 2003 06:58:33 +0000 (06:58 +0000)] 
Imported the grammar style used by the FFI Addendum (v0.5a)

16 years agoAdded a `ffi.ps' target to Makefile
Manuel Chakravarty [Tue, 14 Jan 2003 06:55:53 +0000 (06:55 +0000)] 
Added a `ffi.ps' target to Makefile

16 years agoWell, it's 2003 now.
Manuel Chakravarty [Mon, 13 Jan 2003 14:17:48 +0000 (14:17 +0000)] 
Well, it's 2003 now.

16 years ago% * Removed typos in the description of the module `ForeignPtr'
Manuel Chakravarty [Mon, 13 Jan 2003 14:16:28 +0000 (14:16 +0000)] 
% * Removed typos in the description of the module `ForeignPtr'
% * Added Peter Gammie to the list of acknowledged people
% * `addForeignPtrFinalizer' guarantees that finalizers for a single foreign
%   pointer are executed in the opposite order as they were added.
% * Added the constraint "sizeOf x `mod` alignment x = 0" to `Storable'
% * Added Ross Paterson to the list of acknowledged people

16 years agoMore small changes to
Simon Peyton Jones [Mon, 13 Jan 2003 13:08:56 +0000 (13:08 +0000)] 
More small changes to

  a) formatting
  b) index entries

Many due to Ross Paterson, Simon Marlow, Malcolm Wallace.

This is pretty much exactly what CUP will publish as the Haskell 98 book.
(I say "pretty much" because CUP got a set of sources a month or two ago,
and have been modifying them independently, so some formatting changes
might differ slightly.)

16 years agoCorrected two typos (one of them in rule FCALL1).
Wolfgang Thaller [Fri, 10 Jan 2003 19:31:46 +0000 (19:31 +0000)] 
Corrected two typos (one of them in rule FCALL1).
Added a note to the syntax for a native thread in section 3.

16 years agocorrected a minor inconsistency in rule (FCALL2)
Wolfgang Thaller [Fri, 10 Jan 2003 17:34:18 +0000 (17:34 +0000)] 
corrected a minor inconsistency in rule (FCALL2)

16 years agoAdded TEXINPUTS=../styles: to the front of the LaTeX command so it
Alastair Reid [Fri, 10 Jan 2003 17:26:23 +0000 (17:26 +0000)] 
Added TEXINPUTS=../styles: to the front of the LaTeX command so it
doesn't assume people have hacked their paths.

A

16 years agoReqts from Wolfgang
Simon Peyton Jones [Fri, 10 Jan 2003 15:53:30 +0000 (15:53 +0000)] 
Reqts from Wolfgang

16 years agoThreads stuff
Simon Peyton Jones [Fri, 10 Jan 2003 15:45:08 +0000 (15:45 +0000)] 
Threads stuff

16 years agoAdd style files
Simon Peyton Jones [Fri, 10 Jan 2003 15:44:54 +0000 (15:44 +0000)] 
Add style files

16 years agoMore stuff
Simon Peyton Jones [Fri, 10 Jan 2003 15:14:16 +0000 (15:14 +0000)] 
More stuff

16 years agoAdd threads document
Simon Peyton Jones [Thu, 9 Jan 2003 17:23:35 +0000 (17:23 +0000)] 
Add threads document

16 years agoAdded query about meaning of 'threadsafe' (from ffi mailing list 29 Nov 2002).
Alastair Reid [Sun, 5 Jan 2003 22:18:26 +0000 (22:18 +0000)] 
Added query about meaning of 'threadsafe' (from ffi mailing list 29 Nov 2002).

It is not clear from the report what 'threadsafe' means but my best
guess suggests that the report is wrong to say that implementations
which support a single Haskell thread may safely ignore the
'threadsafe' keyword.  Indeed, it seems that such implementations
should either add extra locking or reject 'threadsafe' ffi
declarations.

16 years agoadded the second proposal
Wolfgang Thaller [Sun, 5 Jan 2003 17:40:24 +0000 (17:40 +0000)] 
added the second proposal

16 years agoAdded summary of final outcome of finalizers doc to introduction.
Alastair Reid [Sun, 5 Jan 2003 15:36:11 +0000 (15:36 +0000)] 
Added summary of final outcome of finalizers doc to introduction.

Created a file to hold threads proposal/comments and put my proposal
in there and left a place for Wolfgang to put his proposal in next to
it.

16 years agoMinor changes to
Simon Peyton Jones [Tue, 10 Dec 2002 11:51:11 +0000 (11:51 +0000)] 
Minor changes to

  a) formatting
  b) index entries
  c) cross references (to 'chapter' not 'section' now the
     Report is a book)

All due to Ross Paterson

16 years agoAdd ctSec to the export list for Time
Simon Peyton Jones [Tue, 10 Dec 2002 11:48:58 +0000 (11:48 +0000)] 
Add ctSec to the export list for Time

16 years ago* Changed order of arguments of `mkIOError' and `annotateIOError' to match
Manuel Chakravarty [Mon, 9 Dec 2002 05:52:08 +0000 (05:52 +0000)] 
* Changed order of arguments of `mkIOError' and `annotateIOError' to match
  with the current implementation in GHC's FFI libraries.
* Added change log entry for Sven's changes

16 years agoTweak title to match formatted version.
Ross Paterson [Tue, 3 Dec 2002 12:17:23 +0000 (12:17 +0000)] 
Tweak title to match formatted version.
Also gave the brief table of contents a more compact layout.

16 years agoDelete extraneous <
Ross Paterson [Tue, 3 Dec 2002 11:14:41 +0000 (11:14 +0000)] 
Delete extraneous <

16 years agoFix indexing of a few operators, particularly (\\), which was making a
Ross Paterson [Tue, 3 Dec 2002 10:27:22 +0000 (10:27 +0000)] 
Fix indexing of a few operators, particularly (\\), which was making a
a small mess.

16 years agoHTML formatting fixes.
Ross Paterson [Tue, 3 Dec 2002 01:17:14 +0000 (01:17 +0000)] 
HTML formatting fixes.

16 years agowibbles
Simon Peyton Jones [Mon, 2 Dec 2002 15:16:00 +0000 (15:16 +0000)] 
wibbles

16 years agoAdd haskell.idx to avoid bootstrap problems
Simon Peyton Jones [Mon, 2 Dec 2002 14:56:34 +0000 (14:56 +0000)] 
Add haskell.idx to avoid bootstrap problems

16 years ago--------------------------------
Simon Peyton Jones [Mon, 2 Dec 2002 14:53:33 +0000 (14:53 +0000)] 
--------------------------------
This version should typeset the
Haskell 98 language and libraries
as a single book rather than as
two separate reports.
--------------------------------

16 years agoAdd subsection sed-ery; minor changes to tex.hs
Simon Peyton Jones [Mon, 2 Dec 2002 14:53:06 +0000 (14:53 +0000)] 
Add subsection sed-ery; minor changes to tex.hs

16 years ago--------------------------------
Simon Peyton Jones [Mon, 2 Dec 2002 11:22:03 +0000 (11:22 +0000)] 
--------------------------------
Just pre-CUP-publication version
--------------------------------

Includes all the changes that are in the CUP published version,
but still as two separate reports.  Next thing to do is to merge them.

16 years ago* Fixed prototypes for hs_init, hs_exit, and hs_set_argv.
Sven Panne [Sun, 17 Nov 2002 14:26:46 +0000 (14:26 +0000)] 
* Fixed prototypes for hs_init, hs_exit, and hs_set_argv.
* Added hs_free_stable_ptr and hs_free_fun_ptr.

16 years agoMentioned hs_free_fun_ptr, which is important for the same reasons
Sven Panne [Sun, 17 Nov 2002 14:00:30 +0000 (14:00 +0000)] 
Mentioned hs_free_fun_ptr, which is important for the same reasons
hs_free_stable_ptr is.

16 years agoNit-picking: hs_freeStablePtr => hs_free_stable_ptr. This is more
Sven Panne [Sun, 17 Nov 2002 13:43:36 +0000 (13:43 +0000)] 
Nit-picking: hs_freeStablePtr => hs_free_stable_ptr. This is more
consistent with hs_perform_gc and hs_set_argv. Furthermore, it's the
name Hugs already uses.

16 years agoAdded text about problems with shared thunks.
Alastair Reid [Mon, 21 Oct 2002 09:24:35 +0000 (09:24 +0000)] 
Added text about problems with shared thunks.
Rambles a bit - feel free to edit.

16 years agoAdded dissenting note to the claim that case for Haskell finalizers
Alastair Reid [Wed, 16 Oct 2002 08:05:35 +0000 (08:05 +0000)] 
Added dissenting note to the claim that case for Haskell finalizers
was stronger in presence of concurrency.  IMHO, SimonPJ's example
didn't demonstrate the claim because it was an argument to be able to
finalize _Haskell_ objects which contain C objects using Haskell
finalizers and so didn't actually involve ForeignPtrs at all.

Minor cleanups - e.g., changing back-references to forward references,
clarifying that 'finalizer' meant 'Haskell finalizer', etc.

16 years agoEliminate some duplication, and fix up the structure a bit.
Simon Marlow [Tue, 15 Oct 2002 13:07:00 +0000 (13:07 +0000)] 
Eliminate some duplication, and fix up the structure a bit.

Alastair, I'm afraid I removed one or two of your comments that were
simply out of place or duplicated points made elsewhere.  We don't
want to make the document any more hard to read than the email thread
that it is supposed to be summarising.

16 years agoAdded my comments from last night.
Alastair Reid [Tue, 15 Oct 2002 11:29:07 +0000 (11:29 +0000)] 
Added my comments from last night.

The structure of the document isn't quite ideal (too many forward
references) but didn't want to mess with it too much.

There were conflicts with the previous commit which I did my best to
resolve.  I don't think I broke anything but I couldn't always
identify what had been changed in the previous commit so I may not
have been successful.

16 years agovarious additions
Simon Marlow [Tue, 15 Oct 2002 09:47:50 +0000 (09:47 +0000)] 
various additions

16 years agoattributions wibble
Simon Marlow [Mon, 14 Oct 2002 17:07:58 +0000 (17:07 +0000)] 
attributions wibble

16 years agoAdd finalizer rationale document.
Simon Marlow [Mon, 14 Oct 2002 17:03:14 +0000 (17:03 +0000)] 
Add finalizer rationale document.

17 years agotypo
Manuel Chakravarty [Fri, 13 Sep 2002 02:09:28 +0000 (02:09 +0000)] 
typo

17 years agoAdd new preface
Simon Peyton Jones [Thu, 12 Sep 2002 08:07:11 +0000 (08:07 +0000)] 
Add new preface

17 years ago* Added mallocForeignPtr and mallocForeignPtrBytes.
Manuel Chakravarty [Thu, 12 Sep 2002 06:16:23 +0000 (06:16 +0000)] 
* Added mallocForeignPtr and mallocForeignPtrBytes.

* Added hs_perform_gc().

17 years agoClarified that all operations in Bits are member functions of the
Manuel Chakravarty [Wed, 11 Sep 2002 07:31:30 +0000 (07:31 +0000)] 
Clarified that all operations in Bits are member functions of the
type class.  Reverse the meaning of the sign of the second argument
for `rotate' and `shift' (this makes it the same as GHC used all
the time).  `bitSize' on `Integer' etc is now undefined.

Allowing multiple calls to hs_init() and clarified the constraints
on the relative timing between hs_set_argv() and
getProgName/getArgs.

17 years agoAdded some clarifications
Manuel Chakravarty [Tue, 10 Sep 2002 13:49:05 +0000 (13:49 +0000)] 
Added some clarifications

17 years ago* 1.4: Clarified the wording
Manuel Chakravarty [Tue, 10 Sep 2002 12:23:04 +0000 (12:23 +0000)] 
* 1.4:   Clarified the wording
* 4.1.4: clarified that header files
         do not impact the semantics of foreign calls, but may be required
         for correct code generation by some systems
* 5.5:   Finalisers must be external functions to facilitate the
         implementation on Haskell systems that do not support pre-emptive
         concurrency

17 years agoI've applied all the changes discussed over the last 2 moniths that
Alastair Reid [Fri, 9 Aug 2002 11:32:44 +0000 (11:32 +0000)] 
I've applied all the changes discussed over the last 2 moniths that
received some support and no dissent.

  Changes since RC5:
  * Author list: changed Alastair Reid's institution
  * 4.1.1: Removed [lib] from impent syntax and discussion
  * 4.1.3: Added parentheses round FunPtr ft to make it easier to
           understand a tolerably complex type.
  * 4.1.4: Removed all mention of library objects
  * 6:     Specified that HsBool==int in table2
           Relabelled column 1 in table 3 (C symbol -> CPP symbol)
           Replaced 0 and 1 with HS_BOOL_FALSE/TRUE

You will need this file:

  http://www.cse.unsw.edu.au/~chak/haskell/grammar.sty

to build it.  (I came close to adding this file to the repo but
figured that Manuel must have a reason for not having done so
himself.)

Changes not applied:

- I really, really want to resolve the ForeignPtr issues soon.

    http://www.mail-archive.com/ffi@haskell.org/msg00655.html
    http://www.mail-archive.com/ffi@haskell.org/msg00544.html
    http://www.mail-archive.com/ffi@haskell.org/msg00545.html

- I'd like to see a standard way to call the GC from C

    http://www.mail-archive.com/ffi@haskell.org/msg00565.html

  Note that Hugs and GHC have had this for ages except that we call the
  function 'performGC' and there's no way to control how many generations
  are collected.

- I see the question of Function prototypes as a portability problem
  waiting to happen.  Either Hugs and GHC are right (you should use the
  user-supplied header file or NHC is right (you should ignore the
  header file).  They can't both be right if we want portable code
  so the report should be clear about which one is right.

  (Given my druthers, I'd drop header files from the foreign import syntax
  and say that you have to specify it on the command line or propose that
  we standardize some variant of the GHCism {-# -include "foo.h" #-}.  But
  I'm not excited enough about it to push hard for this.)

- Changes to hs_init

    http://www.mail-archive.com/ffi@haskell.org/msg00539.html

17 years ago* 5.6: Clarified documentation of `StablePtr's
Manuel Chakravarty [Fri, 14 Jun 2002 08:38:02 +0000 (08:38 +0000)] 
* 5.6: Clarified documentation of `StablePtr's

17 years agoChanges discussed on the FFI list:
Manuel Chakravarty [Fri, 26 Apr 2002 07:40:17 +0000 (07:40 +0000)] 
Changes discussed on the FFI list:

* Added threadsafe

* Replaced `entity' by `impent' and `expent'

17 years ago* 5.8: Clarified documentation for `MarshalAlloc.free'.
Manuel Chakravarty [Tue, 9 Apr 2002 01:52:41 +0000 (01:52 +0000)] 
* 5.8: Clarified documentation for `MarshalAlloc.free'.
* 5.8: Added `MarshalAlloc.realloc'.
* 3.2: Clarified the description of foreign types; so far, `IO ()' was
  strictly speaking not included as a valid return type.  Currently,
  functions of type `a -> ()' are included.  Do we want this?  Their use
  might not be portable if they include side effects.
* 4.1.5: New section discussing the traps & pitfalls of type promotion with
  C bindings.

17 years agoAnother erratum from Martin D. Kealey. Added him to the ack section.
Manuel Chakravarty [Mon, 4 Feb 2002 09:37:12 +0000 (09:37 +0000)] 
Another erratum from Martin D. Kealey.  Added him to the ack section.