haskell-report.git
9 years agoreorder rules t,u,v in Fig 3.3 to match syntax
Simon Marlow [Wed, 28 Apr 2010 13:30:37 +0000 (13:30 +0000)] 
reorder rules t,u,v in Fig 3.3 to match syntax

9 years agoreorder bullet points in description of guards to match syntax
Simon Marlow [Wed, 28 Apr 2010 13:27:32 +0000 (13:27 +0000)] 
reorder bullet points in description of guards to match syntax

9 years agoreplace exp^0 with infixexp in guards, and sync syntax appendix
Simon Marlow [Wed, 28 Apr 2010 13:23:35 +0000 (13:23 +0000)] 
replace exp^0 with infixexp in guards, and sync syntax appendix

9 years agowiden the third column in syntax tables
Simon Marlow [Wed, 28 Apr 2010 13:11:20 +0000 (13:11 +0000)] 
widen the third column in syntax tables

9 years agoimplement LineCommentSyntax
Simon Marlow [Wed, 28 Apr 2010 13:11:03 +0000 (13:11 +0000)] 
implement LineCommentSyntax

9 years agoIntegrate FixityResolution
Simon Marlow [Wed, 28 Apr 2010 12:50:32 +0000 (12:50 +0000)] 
Integrate FixityResolution

9 years agoremove old HTML footer
Simon Marlow [Wed, 28 Apr 2010 12:43:53 +0000 (12:43 +0000)] 
remove old HTML footer

9 years agoremove (the remaining bits of) n+k patterns
Simon Marlow [Wed, 28 Apr 2010 12:43:22 +0000 (12:43 +0000)] 
remove (the remaining bits of) n+k patterns

9 years agoa few 2010 updates
Simon Marlow [Wed, 28 Apr 2010 11:53:39 +0000 (11:53 +0000)] 
a few 2010 updates

9 years agocomment out plain_haskell.verb rule, to avoid confusion
Simon Marlow [Wed, 28 Apr 2010 11:52:06 +0000 (11:52 +0000)] 
comment out plain_haskell.verb rule, to avoid confusion

9 years agoIntegrate EmptyDataDecls
Simon Marlow [Wed, 28 Apr 2010 10:31:35 +0000 (10:31 +0000)] 
Integrate EmptyDataDecls

9 years agointegrate HierarchicalModuleNames
Simon Marlow [Wed, 28 Apr 2010 10:16:17 +0000 (10:16 +0000)] 
integrate HierarchicalModuleNames

9 years agoincorporate DoAndIfThenElse
Simon Marlow [Wed, 28 Apr 2010 09:38:58 +0000 (09:38 +0000)] 
incorporate DoAndIfThenElse

9 years agofix makefile rules
Simon Marlow [Wed, 28 Apr 2010 09:14:37 +0000 (09:14 +0000)] 
fix makefile rules

9 years agobuild PDF rather than PS by default
Simon Marlow [Wed, 28 Apr 2010 09:14:26 +0000 (09:14 +0000)] 
build PDF rather than PS by default

9 years agorename preface-jfp to preface
Simon Marlow [Wed, 28 Apr 2010 09:14:02 +0000 (09:14 +0000)] 
rename preface-jfp to preface

10 years agoTweak rule so make knows how to create haskell.idx
Ian Lynagh [Tue, 21 Jul 2009 11:06:30 +0000 (11:06 +0000)] 
Tweak rule so make knows how to create haskell.idx

10 years agoRefactor away old-fashioned make syntax
Ian Lynagh [Tue, 21 Jul 2009 11:03:50 +0000 (11:03 +0000)] 
Refactor away old-fashioned make syntax

10 years agoRemove duplicate haskell.dvi dependencies
Ian Lynagh [Tue, 21 Jul 2009 10:47:49 +0000 (10:47 +0000)] 
Remove duplicate haskell.dvi dependencies

10 years agoEveryone has perl, clean Prelude*.tex too
Ian Lynagh [Tue, 21 Jul 2009 10:39:57 +0000 (10:39 +0000)] 
Everyone has perl, clean Prelude*.tex too

10 years agoRemove a command from "make clean" that breaks in a fresh repo
Ian Lynagh [Tue, 21 Jul 2009 10:38:44 +0000 (10:38 +0000)] 
Remove a command from "make clean" that breaks in a fresh repo

10 years agoFix indentation in an example
Ian Lynagh [Tue, 21 Jul 2009 00:31:43 +0000 (00:31 +0000)] 
Fix indentation in an example
Using tabs doesn't give the correct indentation in the HTML output

11 years agohaskell' markup
Simon Marlow [Mon, 24 Mar 2008 21:22:00 +0000 (21:22 +0000)] 
haskell' markup

11 years ago\hprime{} markup
Simon Marlow [Thu, 20 Mar 2008 23:44:10 +0000 (23:44 +0000)] 
\hprime{} markup

11 years ago\hprime{} markup
Simon Marlow [Thu, 20 Mar 2008 23:33:30 +0000 (23:33 +0000)] 
\hprime{} markup

11 years ago\hprime{} markup
Simon Marlow [Thu, 20 Mar 2008 23:12:32 +0000 (23:12 +0000)] 
\hprime{} markup

11 years agoKeep the current colour when outputting <tt> text
Simon Marlow [Thu, 20 Mar 2008 23:10:51 +0000 (23:10 +0000)] 
Keep the current colour when outputting <tt> text
This program is in dire need of a rewrite.

11 years agoadd a list of tools needed to build the report
Simon Marlow [Thu, 20 Mar 2008 21:36:33 +0000 (21:36 +0000)] 
add a list of tools needed to build the report

11 years agoAdd the ability to colourise the haskell-prime parts of the report
Simon Marlow [Thu, 20 Mar 2008 21:36:04 +0000 (21:36 +0000)] 
Add the ability to colourise the haskell-prime parts of the report

11 years agoremove dead code
Simon Marlow [Thu, 20 Mar 2008 21:07:50 +0000 (21:07 +0000)] 
remove dead code

11 years agovery minor typos in section 5.6
Malcolm Wallace [Mon, 17 Mar 2008 13:12:29 +0000 (13:12 +0000)] 
very minor typos in section 5.6

11 years agotypo in section 3.17.2, rule 8, for pattern-matching n+k
Malcolm Wallace [Mon, 17 Mar 2008 10:45:08 +0000 (10:45 +0000)] 
typo in section 3.17.2, rule 8, for pattern-matching n+k

12 years agoadded optional semis to section about conditionals
Iavor S. Diatchki [Mon, 19 Feb 2007 17:47:25 +0000 (17:47 +0000)] 
added optional semis to section about conditionals

12 years agoAdded optional semis on "if"
Iavor S. Diatchki [Sat, 17 Feb 2007 00:27:45 +0000 (00:27 +0000)] 
Added optional semis on "if"

12 years agopattern_guard_list_comprehension_footnote
Ravi Nanavati [Fri, 19 Jan 2007 23:23:01 +0000 (23:23 +0000)] 
pattern_guard_list_comprehension_footnote

12 years agoUpdate lots of references to H'98 -> Prime, especially in build system.
Malcolm Wallace [Mon, 15 Jan 2007 14:47:52 +0000 (14:47 +0000)] 
Update lots of references to H'98 -> Prime, especially in build system.
I have taken the liberty of rejigging the build system somewhat, so that
we can auto-generate the PDF/HTML version of the Language Report every
time a patch is checked into darcs.

12 years agomoved rules for guards in a separate figure because the old figure didn't fit on...
Iavor S. Diatchki [Sat, 13 Jan 2007 00:32:28 +0000 (00:32 +0000)] 
moved rules for guards in a separate figure because the old figure didn't fit on a page

12 years agofixed rule (g) of pattern semantics to avoid duplicating the evaluation of e'
Iavor S. Diatchki [Sat, 13 Jan 2007 00:21:46 +0000 (00:21 +0000)] 
fixed rule (g) of pattern semantics to avoid duplicating the evaluation of e'

12 years agoadded rules for pattern guards to the formal semantics of case
Iavor S. Diatchki [Sat, 13 Jan 2007 00:13:50 +0000 (00:13 +0000)] 
added rules for pattern guards to the formal semantics of case

12 years agogneralized function bindings to support pattern guards, not just boolean guards
Iavor S. Diatchki [Fri, 12 Jan 2007 22:53:30 +0000 (22:53 +0000)] 
gneralized function bindings to support pattern guards, not just boolean guards

12 years agoreworking the informal explanation of pattern gaurds
Isaac Potoczny-Jones [Fri, 12 Jan 2007 00:59:30 +0000 (00:59 +0000)] 
reworking the informal explanation of pattern gaurds
Modified the syntax again to talk about "guards" (which are pattern guards,
boolean guards, and let expressions) .  Moved the "Pattern guards" section
I created before into the Case Expressions section.

12 years agoupdate pattern binding translation for pattern guards (with Iavor's help!)
Isaac Potoczny-Jones [Thu, 11 Jan 2007 23:51:14 +0000 (23:51 +0000)] 
update pattern binding translation for pattern guards (with Iavor's help!)

12 years agoturn macro into function -- makes it work with newer flex versions
Andres Loeh [Mon, 8 Jan 2007 18:21:14 +0000 (18:21 +0000)] 
turn macro into function -- makes it work with newer flex versions

12 years agodon't include extension in \includegraphics (to make compatible with pdflatex)
Andres Loeh [Mon, 8 Jan 2007 17:50:40 +0000 (17:50 +0000)] 
don't include extension in \includegraphics (to make compatible with pdflatex)

12 years agotypo: change \r to \tr
Andres Loeh [Mon, 8 Jan 2007 17:20:29 +0000 (17:20 +0000)] 
typo: change \r to \tr

12 years agoChange front matter to say "Haskell Prime" rather than "Haskell 98".
Malcolm Wallace [Mon, 8 Jan 2007 15:06:32 +0000 (15:06 +0000)] 
Change front matter to say "Haskell Prime" rather than "Haskell 98".

12 years agovery rough draft of informal pattern-guard (qualifiers) explanations
Isaac Potoczny-Jones [Mon, 8 Jan 2007 03:26:27 +0000 (03:26 +0000)] 
very rough draft of informal pattern-guard (qualifiers) explanations
This is a very rough draft in order to get some discussion going, and
does not touch the semantic explanations, which will still need to be
done.

12 years agosome notes on how to build it.
Simon Marlow [Mon, 8 Jan 2007 11:11:48 +0000 (11:11 +0000)] 
some notes on how to build it.

12 years agocreate $(RELEASE_DIR) if necessary
Simon Marlow [Mon, 8 Jan 2007 11:01:50 +0000 (11:01 +0000)] 
create $(RELEASE_DIR) if necessary

12 years agoadd clean target
Simon Marlow [Mon, 8 Jan 2007 10:59:08 +0000 (10:59 +0000)] 
add clean target

12 years agofix line-comment syntax to not consider '--:' as a comment
Simon Marlow [Tue, 7 Nov 2006 16:22:46 +0000 (16:22 +0000)] 
fix line-comment syntax to not consider '--:' as a comment
See LineCommentSyntax on the wiki, ticket #42

12 years agosubsection needs to be interpreted by sh
Simon Marlow [Tue, 7 Nov 2006 16:13:22 +0000 (16:13 +0000)] 
subsection needs to be interpreted by sh

12 years agoupdate to compile with recent Haskell compilers
Simon Marlow [Tue, 7 Nov 2006 16:11:17 +0000 (16:11 +0000)] 
update to compile with recent Haskell compilers

12 years agomake it work with recent GHCs
Simon Marlow [Tue, 7 Nov 2006 16:10:45 +0000 (16:10 +0000)] 
make it work with recent GHCs

13 years agoNew lexical bug discovered. --: introduces a comment, but should be a varsym. h98-revised-from-cvs
Malcolm Wallace [Tue, 13 Dec 2005 12:40:51 +0000 (12:40 +0000)] 
New lexical bug discovered.  --: introduces a comment, but should be a varsym.

14 years agoBug discovered by Russell O'Connor: approxRational operates over closed
Malcolm Wallace [Mon, 15 Aug 2005 14:13:44 +0000 (14:13 +0000)] 
Bug discovered by Russell O'Connor: approxRational operates over closed
intervals, not open intervals.

14 years agoNote deficiencies in the printed index.
Malcolm Wallace [Fri, 10 Jun 2005 15:17:19 +0000 (15:17 +0000)] 
Note deficiencies in the printed index.

14 years agoFinally! HTML rendering of the FFI Addendum.
Manuel Chakravarty [Sat, 23 Apr 2005 14:27:04 +0000 (14:27 +0000)] 
Finally!  HTML rendering of the FFI Addendum.

14 years agoFix date.
Malcolm Wallace [Tue, 4 Jan 2005 17:17:03 +0000 (17:17 +0000)] 
Fix date.

14 years agoRemove a further ambiguity in section 3.17.2 #6.
Malcolm Wallace [Tue, 4 Jan 2005 17:14:22 +0000 (17:14 +0000)] 
Remove a further ambiguity in section 3.17.2 #6.

15 years agoNew bug discovered in the context-free syntax.
Malcolm Wallace [Thu, 16 Sep 2004 10:23:28 +0000 (10:23 +0000)] 
New bug discovered in the context-free syntax.
(Also tidy source to 80-column width.)

15 years agosmall changes
Isaac Potoczny-Jones [Sun, 1 Aug 2004 21:49:42 +0000 (21:49 +0000)] 
small changes

15 years agoImplemented a few fixes we talked about on IRC:
Isaac Potoczny-Jones [Sun, 1 Aug 2004 21:18:34 +0000 (21:18 +0000)] 
Implemented a few fixes we talked about on IRC:

(12:10:13) Marvin--: SyntaxLaptop: the example Setup.lhs on page 3 is wrong, it should import defaultMain and set main = defaultMain
(12:10:46) Marvin--: SyntaxLaptop: and I think we call it sdist, not src-dist?
(12:20:38) Marvin--: SyntaxLaptop:  \"funky, path\\\\name\"   is really broken, it should be  "funky, path\\name"
(12:20:47) Marvin--: the escapes comes from being in a haskell string in the module! :)

(12:22:10) Marvin--: hmm, now I think I remember what the issue with the dashes was
(12:23:08) Marvin--: oh, and it should be documented exactly what paths look like
(12:23:43) Marvin--: page 18 says import Distribution.Make (setup), that damn well should be defaultMain too ;-)
(13:14:15) igloo: Oh, Marvin, am I being dopey or does the new spec not answer my questions about eh example at the start?
(13:14:37) igloo: e.g. how does it know which files are part of the package

15 years agoadded more details about Setup.description fields
Isaac Potoczny-Jones [Sun, 1 Aug 2004 15:36:45 +0000 (15:36 +0000)] 
added more details about Setup.description fields

15 years agoAdded a bunch of information about the package description.
Isaac Potoczny-Jones [Sat, 31 Jul 2004 22:01:45 +0000 (22:01 +0000)] 
Added a bunch of information about the package description.

15 years agoMissing operator =<< from the table of fixities.
Malcolm Wallace [Fri, 30 Jul 2004 09:43:42 +0000 (09:43 +0000)] 
Missing operator =<< from the table of fixities.

15 years agoPage number.
Malcolm Wallace [Thu, 29 Jul 2004 10:18:00 +0000 (10:18 +0000)] 
Page number.

15 years agoClarify the order of matching in a named field pattern.
Malcolm Wallace [Thu, 29 Jul 2004 09:54:15 +0000 (09:54 +0000)] 
Clarify the order of matching in a named field pattern.

15 years ago* added "clean" target to setup script spec.
Isaac Potoczny-Jones [Mon, 26 Jul 2004 04:20:16 +0000 (04:20 +0000)] 
* added "clean" target to setup script spec.
* updated test case for package description file.
* Added note about chasing dependencies and "modules" field:
   Note that in the future, though the Modules field will be
   available, it will not be necessary to provide it for building
   executables and libraries.  Instead, the user will provide only the
   "Main-Is" field (for executables) and the "Exposed-Modules" field
   (for libraries).  The system will chase down dependencies from
   those modules and include them in the library or source
   distributions.

15 years agoCleaned up package description stuff
Isaac Potoczny-Jones [Sat, 26 Jun 2004 21:21:22 +0000 (21:21 +0000)] 
Cleaned up package description stuff

FIX/TODO: Provide BNF-type grammar, especially for field contents,
remove below checklist and questions, fix package filename.

Added example package description and more syntax.  Please
double-check.

15 years ago* Added new personas:
Isaac Potoczny-Jones [Sat, 26 Jun 2004 20:36:17 +0000 (20:36 +0000)] 
* Added new personas:
** Peter Packager, as an umbrella for Rowland et al
** Isabella Installer, as someone who uses Peter's packages

* Added some notes on the personas to clarify against the perception
  that they are non-overlapping roles.

* Added a little "layered tools" section, just to get this on record.

* Some reformatting

15 years agoChange maintainer's name. Make it pass W3C HTML validation.
Malcolm Wallace [Fri, 11 Jun 2004 15:42:56 +0000 (15:42 +0000)] 
Change maintainer's name.  Make it pass W3C HTML validation.

15 years agoAdd new bug reports
Simon Peyton Jones [Fri, 11 Jun 2004 13:42:27 +0000 (13:42 +0000)] 
Add new bug reports

15 years agoFix index bugs
Simon Peyton Jones [Fri, 11 Jun 2004 13:42:11 +0000 (13:42 +0000)] 
Fix index bugs

15 years agoLine break changes only
Simon Peyton Jones [Fri, 11 Jun 2004 13:41:14 +0000 (13:41 +0000)] 
Line break changes only

15 years agoMostl suggestions from Graham Klyne.
Isaac Potoczny-Jones [Sun, 6 Jun 2004 21:26:08 +0000 (21:26 +0000)] 
Mostl suggestions from Graham Klyne.

* Changed pkg.desc to Setup.description.  Open to suggestions on this.
  Made an "entity" so it can be easily changed.

* changed "tests and design notes may be omitted" to "design notes may
  be omitted" in order to change emphasis.

* Clarified that --prefix and --install-prefix are for file locations
  only, having nothing to do with "grafting" or whatever.

15 years ago* changed #!runhugs (etc) to #!/usr/bin/env runhugs
Isaac Potoczny-Jones [Sun, 6 Jun 2004 20:42:07 +0000 (20:42 +0000)] 
* changed #!runhugs (etc) to #!/usr/bin/env runhugs
* Small formatting stuff

* Implemented Keith Wansbrough's suggestions.

** noted that the #! line isn't a requirement, just a convinience.
   Clarified that you can compile and run the Setup script if you want.

** Clarified that user and system modules where exposed modules
   overlap can both be registered.  "(However, one may register a
   system package which exposes a module with the same name as a user
   package, and vice-versa.)"

** some "setup" to "./Setup.lhs"

** Added rubric of --user having no effect when together with
   --install-prefix.

15 years agoAdded more justification and explanation of the Setup script.
Isaac Potoczny-Jones [Sun, 6 Jun 2004 20:07:37 +0000 (20:07 +0000)] 
Added more justification and explanation of the Setup script.

15 years agoChanged HPS to Cabal.
Isaac Potoczny-Jones [Sun, 6 Jun 2004 01:31:07 +0000 (01:31 +0000)] 
Changed HPS to Cabal.

Some reformatting of code.

15 years agoReverted changes from pkgname=version to pkgname-version.
Isaac Potoczny-Jones [Tue, 25 May 2004 14:10:58 +0000 (14:10 +0000)] 
Reverted changes from pkgname=version to pkgname-version.

15 years ago* Changed "library" for "tool" in a number of places
Isaac Potoczny-Jones [Tue, 25 May 2004 01:51:38 +0000 (01:51 +0000)] 
* Changed "library" for "tool" in a number of places
* Made this into an "entity" so it's easy to change back.
* changed pkgname-num to pkgname=num (revert if you want)

* Changed "no provision for installing the compiled files anywhere
  other than the place specified in the --prefix flag" to something
  more accurate, since the "install" command actually has
  --install-prefix.

* Added "main modules" to list of things needed in a package
  description

15 years ago* Changed article ID to hps
Isaac Potoczny-Jones [Tue, 25 May 2004 00:47:02 +0000 (00:47 +0000)] 
* Changed article ID to hps
* Changed date
* added &hps; entity, so we can change the name if we want :)

15 years agoSystem packagers: mention that we expect there to be external tools
Simon Marlow [Tue, 18 May 2004 13:25:09 +0000 (13:25 +0000)] 
System packagers: mention that we expect there to be external tools
which can take a Haskell package and generate a template RPM spec
file etc.

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.