haskell-report.git
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.

17 years agoCorrection by Martin D Kealey <martin@kurahaupo.gen.nz>.
Manuel Chakravarty [Mon, 4 Feb 2002 08:52:40 +0000 (08:52 +0000)] 
Correction by Martin D Kealey <martin@kurahaupo.gen.nz>.

17 years agoRenamed the functions constructing `ErrorType's, as `userError' collided with
Manuel Chakravarty [Mon, 4 Feb 2002 08:39:24 +0000 (08:39 +0000)] 
Renamed the functions constructing `ErrorType's, as `userError' collided with
a function name in the Prelude.

17 years agoSmall matters
Simon Peyton Jones [Tue, 29 Jan 2002 09:46:41 +0000 (09:46 +0000)] 
Small matters

17 years agoindex changes
Simon Peyton Jones [Mon, 28 Jan 2002 17:38:21 +0000 (17:38 +0000)] 
index changes

17 years agoVersion 1.0, Release Candidate 1
Manuel Chakravarty [Thu, 10 Jan 2002 10:16:21 +0000 (10:16 +0000)] 
Version 1.0, Release Candidate 1

17 years agoLate Dec release
Simon Peyton Jones [Fri, 21 Dec 2001 16:00:25 +0000 (16:00 +0000)] 
Late Dec release

17 years agoMainly Enum
Simon Peyton Jones [Fri, 2 Nov 2001 16:26:48 +0000 (16:26 +0000)] 
Mainly Enum

17 years agoChanges in Oct
Simon Peyton Jones [Thu, 1 Nov 2001 13:43:43 +0000 (13:43 +0000)] 
Changes in Oct

17 years agoTypos.
Malcolm Wallace [Tue, 30 Oct 2001 18:20:45 +0000 (18:20 +0000)] 
Typos.

17 years agoImproved wording
Manuel Chakravarty [Tue, 30 Oct 2001 10:19:20 +0000 (10:19 +0000)] 
Improved wording

17 years agoInlined the rationale
Manuel Chakravarty [Mon, 29 Oct 2001 08:07:11 +0000 (08:07 +0000)] 
Inlined the rationale

17 years agoIntegrated pending changes for 1.0. This is nearly finished now.
Manuel Chakravarty [Sun, 28 Oct 2001 15:01:21 +0000 (15:01 +0000)] 
Integrated pending changes for 1.0.  This is nearly finished now.

17 years agoContd revision
Manuel Chakravarty [Fri, 19 Oct 2001 01:52:06 +0000 (01:52 +0000)] 
Contd revision

17 years agoMore tinies
Simon Peyton Jones [Thu, 4 Oct 2001 16:28:52 +0000 (16:28 +0000)] 
More tinies

17 years agoOctober release
Simon Peyton Jones [Tue, 2 Oct 2001 09:09:27 +0000 (09:09 +0000)] 
October release

17 years ago- revised preface & intro
Manuel Chakravarty [Wed, 26 Sep 2001 14:07:05 +0000 (14:07 +0000)] 
- revised preface & intro
- corrected special ids

17 years agoPrecedence of (:)
Simon Peyton Jones [Mon, 24 Sep 2001 16:29:41 +0000 (16:29 +0000)] 
Precedence of (:)

17 years agoLiterate layout
Simon Peyton Jones [Mon, 24 Sep 2001 15:06:01 +0000 (15:06 +0000)] 
Literate layout

17 years agoEnd Sept
Simon Peyton Jones [Mon, 24 Sep 2001 14:40:48 +0000 (14:40 +0000)] 
End Sept

18 years agoExport lists cumulative
Simon Peyton Jones [Thu, 13 Sep 2001 13:29:08 +0000 (13:29 +0000)] 
Export lists cumulative

18 years agoSimon
Simon Peyton Jones [Tue, 11 Sep 2001 16:19:17 +0000 (16:19 +0000)] 
Simon

18 years agoSimon
Simon Peyton Jones [Tue, 11 Sep 2001 13:04:28 +0000 (13:04 +0000)] 
Simon

18 years agoOperators and such
Simon Peyton Jones [Mon, 10 Sep 2001 11:09:37 +0000 (11:09 +0000)] 
Operators and such

18 years agoOperators and such
Simon Peyton Jones [Mon, 10 Sep 2001 11:06:23 +0000 (11:06 +0000)] 
Operators and such

18 years agoSept 10
Simon Peyton Jones [Mon, 10 Sep 2001 08:31:58 +0000 (08:31 +0000)] 
Sept 10

18 years agoEnd August
Simon Peyton Jones [Fri, 31 Aug 2001 16:03:08 +0000 (16:03 +0000)] 
End August

18 years agoProcessed notes
Manuel Chakravarty [Thu, 30 Aug 2001 16:13:17 +0000 (16:13 +0000)] 
Processed notes

18 years agoEdited to reflect pre-ICFP discussion on version 1.11.
Manuel Chakravarty [Thu, 30 Aug 2001 16:03:50 +0000 (16:03 +0000)] 
Edited to reflect pre-ICFP discussion on version 1.11.

18 years agoAugust release
Simon Peyton Jones [Thu, 23 Aug 2001 16:41:41 +0000 (16:41 +0000)] 
August release

18 years agoModules
Simon Peyton Jones [Thu, 23 Aug 2001 16:19:27 +0000 (16:19 +0000)] 
Modules

18 years agoLexical mainly
Simon Peyton Jones [Thu, 23 Aug 2001 16:16:57 +0000 (16:16 +0000)] 
Lexical mainly

18 years agoFix typos only.
Malcolm Wallace [Thu, 23 Aug 2001 15:48:04 +0000 (15:48 +0000)] 
Fix typos only.

18 years agoDone while away at c-- workshop
Simon Peyton Jones [Mon, 20 Aug 2001 07:57:53 +0000 (07:57 +0000)] 
Done while away at c-- workshop

18 years ago* Revised the spec of which types can be marshalled as arguments
Manuel Chakravarty [Sun, 19 Aug 2001 10:10:12 +0000 (10:10 +0000)] 
* Revised the spec of which types can be marshalled as arguments
* Checked all FIXMEs

18 years agoCovering all current marshalling libraries.
Manuel Chakravarty [Sat, 18 Aug 2001 15:08:04 +0000 (15:08 +0000)] 
Covering all current marshalling libraries.

18 years agoCovering all language-independent marshalling modules now.
Manuel Chakravarty [Sat, 18 Aug 2001 03:11:02 +0000 (03:11 +0000)] 
Covering all language-independent marshalling modules now.

18 years agoAdded most of the language independent marshalling functionality.
Manuel Chakravarty [Fri, 17 Aug 2001 02:12:49 +0000 (02:12 +0000)] 
Added most of the language independent marshalling functionality.

18 years agoAdd Makefile
Simon Peyton Jones [Tue, 14 Aug 2001 15:43:43 +0000 (15:43 +0000)] 
Add Makefile

18 years agoSmall stuff
Simon Peyton Jones [Tue, 14 Aug 2001 15:38:33 +0000 (15:38 +0000)] 
Small stuff

18 years agoExtended the description of the FFI libraries.
Manuel Chakravarty [Tue, 14 Aug 2001 08:55:40 +0000 (08:55 +0000)] 
Extended the description of the FFI libraries.

18 years agoMany small changes
Simon Peyton Jones [Tue, 14 Aug 2001 07:48:25 +0000 (07:48 +0000)] 
Many small changes

18 years ago* Started on the section about Marshalling libraries
Manuel Chakravarty [Thu, 9 Aug 2001 07:34:19 +0000 (07:34 +0000)] 
* Started on the section about Marshalling libraries
* Covered the intro and the modules Int, Word, and Ptr

18 years agoAdd README
Simon Peyton Jones [Tue, 10 Jul 2001 12:35:27 +0000 (12:35 +0000)] 
Add README

18 years agoSimon
Simon Peyton Jones [Mon, 18 Jun 2001 09:52:43 +0000 (09:52 +0000)] 
Simon

18 years agoMore towards the revised report
Simon Peyton Jones [Mon, 11 Jun 2001 13:10:05 +0000 (13:10 +0000)] 
More towards the revised report

18 years agoAdjusting revision number to be consistent with previous releases.
Manuel Chakravarty [Sat, 9 Jun 2001 12:55:05 +0000 (12:55 +0000)] 
Adjusting revision number to be consistent with previous releases.

18 years agoInitial revision
Manuel Chakravarty [Sat, 9 Jun 2001 12:52:14 +0000 (12:52 +0000)] 
Initial revision

18 years agoSmall revision to May release (deriving, tuples)
Simon Peyton Jones [Wed, 30 May 2001 13:47:12 +0000 (13:47 +0000)] 
Small revision to May release (deriving, tuples)

18 years agoMay 2001 release
Simon Peyton Jones [Wed, 30 May 2001 10:59:06 +0000 (10:59 +0000)] 
May 2001 release

18 years agoTowards the revised Reports
Simon Peyton Jones [Tue, 29 May 2001 15:40:00 +0000 (15:40 +0000)] 
Towards the revised Reports

18 years agoIx and a few typos
Simon Peyton Jones [Mon, 28 May 2001 14:39:47 +0000 (14:39 +0000)] 
Ix and a few typos

18 years agoEmpty log message
Simon Peyton Jones [Thu, 5 Apr 2001 16:22:40 +0000 (16:22 +0000)] 
Empty log message

18 years agoEmpty log message
Simon Peyton Jones [Wed, 28 Mar 2001 15:04:23 +0000 (15:04 +0000)] 
Empty log message