haskell-report.git
9 years agoswitch to new Haddock-generated library docs
Simon Marlow [Tue, 29 Jun 2010 14:08:41 +0000 (14:08 +0000)] 
switch to new Haddock-generated library docs

9 years agoPrime -> 2010
Simon Marlow [Tue, 29 Jun 2010 14:01:29 +0000 (14:01 +0000)] 
Prime -> 2010

9 years agoupdate x-refs
Simon Marlow [Tue, 29 Jun 2010 12:47:37 +0000 (12:47 +0000)] 
update x-refs

9 years agoremove old lib docs
Simon Marlow [Tue, 29 Jun 2010 12:47:27 +0000 (12:47 +0000)] 
remove old lib docs

9 years agoadd "External C Interface" from CForeign
Simon Marlow [Fri, 25 Jun 2010 13:31:38 +0000 (13:31 +0000)] 
add "External C Interface" from CForeign

9 years agosimplify the pattern matching semantics
Simon Marlow [Tue, 4 May 2010 11:34:16 +0000 (11:34 +0000)] 
simplify the pattern matching semantics

9 years agofixes from Igloo
Simon Marlow [Tue, 4 May 2010 11:33:57 +0000 (11:33 +0000)] 
fixes from Igloo

9 years agoremove extensions that don't exist
Simon Marlow [Tue, 4 May 2010 11:33:49 +0000 (11:33 +0000)] 
remove extensions that don't exist

9 years agominor fixes
Simon Marlow [Tue, 4 May 2010 11:33:40 +0000 (11:33 +0000)] 
minor fixes

9 years agoremove extra whitespace
Simon Marlow [Tue, 4 May 2010 11:33:23 +0000 (11:33 +0000)] 
remove extra whitespace

9 years agomarkup rhs of gdrhs
Simon Marlow [Tue, 4 May 2010 11:32:40 +0000 (11:32 +0000)] 
markup rhs of gdrhs

9 years agoremove duplicate negative literal in patterns
Simon Marlow [Tue, 4 May 2010 11:32:31 +0000 (11:32 +0000)] 
remove duplicate negative literal in patterns

9 years agoscale the class structure diagram down a bit
Simon Marlow [Tue, 4 May 2010 10:59:22 +0000 (10:59 +0000)] 
scale the class structure diagram down a bit

9 years agomake hyperlinks in the PDF version
Simon Marlow [Tue, 4 May 2010 10:59:09 +0000 (10:59 +0000)] 
make hyperlinks in the PDF version

9 years agofix Haskell 98 reference
Simon Marlow [Tue, 4 May 2010 10:58:59 +0000 (10:58 +0000)] 
fix Haskell 98 reference

9 years agouse a PDF version of the "classes" diagram
Simon Marlow [Tue, 4 May 2010 10:58:12 +0000 (10:58 +0000)] 
use a PDF version of the "classes" diagram

9 years agofix ordering of committee members
Simon Marlow [Tue, 4 May 2010 10:57:30 +0000 (10:57 +0000)] 
fix ordering of committee members

9 years agodon't reduce the font size
Simon Marlow [Fri, 30 Apr 2010 16:00:11 +0000 (16:00 +0000)] 
don't reduce the font size

9 years agomissing \\
Simon Marlow [Fri, 30 Apr 2010 15:52:32 +0000 (15:52 +0000)] 
missing \\

9 years agomake it DRAFT
Simon Marlow [Fri, 30 Apr 2010 15:39:46 +0000 (15:39 +0000)] 
make it DRAFT

9 years agomake code blocks \small
Simon Marlow [Fri, 30 Apr 2010 15:37:44 +0000 (15:37 +0000)] 
make code blocks \small

9 years agoadd some negative vertical space between code blocks when splitting
Simon Marlow [Fri, 30 Apr 2010 15:37:29 +0000 (15:37 +0000)] 
add some negative vertical space between code blocks when splitting

9 years agodrop from 11pt to 10pt
Simon Marlow [Fri, 30 Apr 2010 15:37:10 +0000 (15:37 +0000)] 
drop from 11pt to 10pt

9 years agorun makeindex during PDF generation
Simon Marlow [Fri, 30 Apr 2010 15:05:50 +0000 (15:05 +0000)] 
run makeindex during PDF generation

9 years agoremove generated file
Simon Marlow [Fri, 30 Apr 2010 15:05:38 +0000 (15:05 +0000)] 
remove generated file

9 years agorecover the bibliography, and run bibtex
Simon Marlow [Fri, 30 Apr 2010 15:01:46 +0000 (15:01 +0000)] 
recover the bibliography, and run bibtex

9 years agofix a dangling reference to guards
Simon Marlow [Fri, 30 Apr 2010 15:00:19 +0000 (15:00 +0000)] 
fix a dangling reference to guards

9 years agore-order a couple of \items
Simon Marlow [Fri, 30 Apr 2010 15:00:10 +0000 (15:00 +0000)] 
re-order a couple of \items

9 years agoinclude the guard syntax with funlhs, otherwise it doesn't make sense
Simon Marlow [Fri, 30 Apr 2010 14:59:46 +0000 (14:59 +0000)] 
include the guard syntax with funlhs, otherwise it doesn't make sense

9 years agointegrate the FFI addendum
Simon Marlow [Fri, 30 Apr 2010 14:25:57 +0000 (14:25 +0000)] 
integrate the FFI addendum

9 years agofix some exps that should be lexps
Simon Marlow [Fri, 30 Apr 2010 14:23:41 +0000 (14:23 +0000)] 
fix some exps that should be lexps

9 years agoretain spaces in inline verbatim
Simon Marlow [Fri, 30 Apr 2010 14:04:08 +0000 (14:04 +0000)] 
retain spaces in inline verbatim

9 years agofix some markup
Simon Marlow [Fri, 30 Apr 2010 14:03:05 +0000 (14:03 +0000)] 
fix some markup

9 years agofix markup
Simon Marlow [Fri, 30 Apr 2010 13:46:30 +0000 (13:46 +0000)] 
fix markup

9 years agoupdate the Preface for Haskell 2010
Simon Marlow [Fri, 30 Apr 2010 13:43:57 +0000 (13:43 +0000)] 
update the Preface for Haskell 2010

9 years agofix centered text in fboxes
Simon Marlow [Fri, 30 Apr 2010 13:43:45 +0000 (13:43 +0000)] 
fix centered text in fboxes

9 years agointegrate FFI syntax into the rest of the report
Simon Marlow [Fri, 30 Apr 2010 12:38:38 +0000 (12:38 +0000)] 
integrate FFI syntax into the rest of the report

9 years agoUse tex4ht to format the HTML version
Simon Marlow [Thu, 29 Apr 2010 12:10:41 +0000 (12:10 +0000)] 
Use tex4ht to format the HTML version
The new HTML output is much better-looking.

Also, switch to use the verbatim environment for code, after much
fighting with LaTeX.  This generates less HTML, and it looks better.

9 years agoIntegrate LanguagePragma
Simon Marlow [Wed, 28 Apr 2010 13:55:07 +0000 (13:55 +0000)] 
Integrate LanguagePragma

9 years agoIntegrate RelaxedDependencyAnalysis
Simon Marlow [Wed, 28 Apr 2010 13:45:23 +0000 (13:45 +0000)] 
Integrate RelaxedDependencyAnalysis

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.

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