haskell-report.git
9 years agouse hierarchical module names
Simon Marlow [Thu, 1 Jul 2010 11:41:09 +0000 (11:41 +0000)] 
use hierarchical module names

9 years agowhitespace in mixed math/verb expressions
Simon Marlow [Thu, 1 Jul 2010 11:39:18 +0000 (11:39 +0000)] 
whitespace in mixed math/verb expressions

9 years agoupdate from base: complexity of nub
Simon Marlow [Thu, 1 Jul 2010 11:14:26 +0000 (11:14 +0000)] 
update from base: complexity of nub

9 years agoremove GHC-specific note
Simon Marlow [Thu, 1 Jul 2010 11:14:12 +0000 (11:14 +0000)] 
remove GHC-specific note

9 years agoremove instances for types/classes that are not part of Haskell
Simon Marlow [Thu, 1 Jul 2010 11:13:58 +0000 (11:13 +0000)] 
remove instances for types/classes that are not part of Haskell

9 years agoremove mentions of the Typeable class
Simon Marlow [Thu, 1 Jul 2010 11:12:43 +0000 (11:12 +0000)] 
remove mentions of the Typeable class

9 years agoremove some unused source files
Simon Marlow [Wed, 30 Jun 2010 15:10:37 +0000 (15:10 +0000)] 
remove some unused source files

9 years agoupdate READMEs
Simon Marlow [Wed, 30 Jun 2010 15:10:24 +0000 (15:10 +0000)] 
update READMEs

9 years agoremove obsolete sources
Simon Marlow [Wed, 30 Jun 2010 14:22:24 +0000 (14:22 +0000)] 
remove obsolete sources

9 years agoclean up the Haddock rules a bit
Simon Marlow [Wed, 30 Jun 2010 14:04:40 +0000 (14:04 +0000)] 
clean up the Haddock rules a bit

9 years agoUpdate Haddock output
Simon Marlow [Wed, 30 Jun 2010 13:42:52 +0000 (13:42 +0000)] 
Update Haddock output

9 years agosort modules alphabetically
Simon Marlow [Wed, 30 Jun 2010 13:42:31 +0000 (13:42 +0000)] 
sort modules alphabetically

9 years agoupdate to the latest Haddock style
Simon Marlow [Wed, 30 Jun 2010 13:42:04 +0000 (13:42 +0000)] 
update to the latest Haddock style

9 years agoremove DRAFT
Simon Marlow [Wed, 30 Jun 2010 13:04:00 +0000 (13:04 +0000)] 
remove DRAFT

9 years agodon't refer to ForeignFunctionInterface and friends as "extensions"
Simon Marlow [Wed, 30 Jun 2010 08:26:24 +0000 (08:26 +0000)] 
don't refer to ForeignFunctionInterface and friends as "extensions"

9 years agoAdd the library sources for Haskell 2010, generated by Haddock
Simon Marlow [Tue, 29 Jun 2010 15:02:49 +0000 (15:02 +0000)] 
Add the library sources for Haskell 2010, generated by Haddock

9 years agoimprove cleaning
Simon Marlow [Tue, 29 Jun 2010 14:15:19 +0000 (14:15 +0000)] 
improve cleaning

9 years agofix a double @
Simon Marlow [Tue, 29 Jun 2010 14:13:21 +0000 (14:13 +0000)] 
fix a double @

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!)