August release
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 23 Aug 2001 16:41:41 +0000 (16:41 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 23 Aug 2001 16:41:41 +0000 (16:41 +0000)
haskell98-bugs.html
libraries/Makefile
libraries/library.verb
report/Makefile
report/decls.verb
report/haskell.verb
report/index-extra.verb
report/lexemes.verb
report/modules.verb
report/plain_haskell.verb
report/pragmas.verb

index 14479fd..fbf8c87 100644 (file)
@@ -261,7 +261,7 @@ This footnote qualifies the otherwise over-strong statement.
 Replace the first paragrah of this item with:
 <p>
 "The form "<tt>module</tt> M" abbreviates the set of all entities whose
-<em>unqualified</em> names are brought into scope by one or more <tt>import</tt> declarations
+names are brought into scope by one or more <em>unqualified</em> <tt>import</tt> declarations
 of the form "<tt>import</tt> M [impspec]" or "<tt>import</tt> A <tt>as</tt> M [impspec]".  This set may be empty.
 For example:"
 
@@ -301,7 +301,7 @@ be imported...".
 Delete the two sentences "The hiding clause only applies to unqualified
 names...  A hiding clause has no effect....".
 
-<p><li> [July 2001] <strong>Page 66, Section 5.3, Import Declarations, numbered item 2.</strong>
+<p><li> [Aug 2001] <strong>Page 66, Section 5.3, Import Declarations, numbered item 2.</strong>
 Add "It is not an error to hide an entity that is not, in fact, exported by
 the imported module, although compilers are encouraged to flag a warning in this case."
 (This is different from what I proposed by email, which made this case an error,
@@ -325,7 +325,7 @@ The last example in the section should read:
        import Foo as A(f)
 </pre>
 
-<p><li> <strong>Page 68, Section 5.5.1, Qualified names.</strong>
+<p><li> [Aug 2001] <strong>Page 68, Section 5.5.1, Qualified names.</strong>
 Replace the second example in the first bullet by:
 <pre>
   module M where
@@ -378,7 +378,7 @@ just as <tt>A</tt> does.  Thus there is little danger of accidentally shadowing
 Prelude names."
 
 <p><li> [Aug 2001]  <strong>Page 74, Section 6.1.3, Lists.</strong>  In the last sentence,
-after "@Monad@" add ", @Functor@".  (The list type is an instance of @Functor@.)
+after "<tt>Monad</tt>" add ", <tt>Functor</tt>".  (The list type is an instance of <tt>Functor</tt>.)
 
 <p><li> [May 2001]  <strong>Page 74, Section 6.1.4, Tuples.</strong>
 Replace the first paragraph of this section with:
@@ -402,7 +402,7 @@ Delete the sentence "Functions are an instance of the <tt>Show</tt> class but no
 
 <p><li> [Aug 2001]  <strong>Page 75, Section 6.1.7, The IO and IOError Types.</strong>
 In the second sentence, replace "<tt>Show</tt>" by "<tt>Functor</tt>".  
-(@IO@ is an instance of @Functor@, but not @Show@.)
+(<tt>IO</tt> is an instance of <tt>Functor</tt>, but not <tt>Show</tt>.)
 
 <p><li>  [Apr 2001] <strong>Page 76, Section 6.3, Standard Haskell classes.</strong>
 There is a formatting error in the example.  There should be a new line
index 12a605f..ec7fece 100644 (file)
@@ -28,8 +28,8 @@ MAKEINDEX = makeindex
 # 'expand' expands tabs to spaces
 # On my machine the windows program (which does something
 # quite different) shadows it.  Sigh.
-EXPAND = expand
-EXPAND = c:/cygwin/bin/expand
+EXPAND = expand
+EXPAND = c:/cygwin/bin/expand
 
 
 #########################################
index 3aacdb8..1286986 100644 (file)
@@ -1,5 +1,5 @@
 %
-% $Header: /home/cvs/root/haskell-report/libraries/library.verb,v 1.7 2001/08/23 16:16:57 simonpj Exp $
+% $Header: /home/cvs/root/haskell-report/libraries/library.verb,v 1.8 2001/08/23 16:41:41 simonpj Exp $
 %
 % NOTE:--------------------------------------------------------------
 % The formatting of this report and the ``new font selection scheme''
@@ -74,7 +74,7 @@
 
 \makeindex
 % an extra thing for makeindex
-\renewcommand{\seealso}[2]{{\em see also\/} #1}
+\newcommand{\seealso}[2]{{\em see also\/} #1}
 
 % NEWCOMMANDS
 
index 04f3485..00b29b6 100644 (file)
@@ -29,8 +29,8 @@ MAKEINDEX = makeindex
 # 'expand' expands tabs to spaces
 # On my machine the windows program (which does something
 # quite different) shadows it.  Sigh.
-EXPAND = expand
-EXPAND = c:/cygwin/bin/expand
+EXPAND = expand
+EXPAND = c:/cygwin/bin/expand
 
 
 #########################################
index edc046a..7668489 100644 (file)
@@ -1,5 +1,5 @@
 %
-% $Header: /home/cvs/root/haskell-report/report/decls.verb,v 1.6 2001/08/23 16:16:57 simonpj Exp $
+% $Header: /home/cvs/root/haskell-report/report/decls.verb,v 1.7 2001/08/23 16:41:41 simonpj Exp $
 %
 %**<title>The Haskell 98 Report: Declarations</title>
 %*section 4
@@ -507,7 +507,7 @@ An algebraic datatype declaration has the form:
 where "cx" is a context.
 %\index{context!in data declaration@@in {\tt data} declaration}
 This declaration
-introduces a new \emph{type constructor} "T" with one or more constituent \emph{data
+introduces a new {\em type constructor} "T" with one or more constituent {\em data
 constructors} "K_1, ..., K_n".
 \index{data constructor}\index{type constructor}
 In this Report, the unqualified term ``constructor'' always means ``data constructor''.
index ce4bf33..27b7b56 100644 (file)
@@ -1,5 +1,5 @@
 %
-% $Header: /home/cvs/root/haskell-report/report/haskell.verb,v 1.7 2001/08/23 16:16:57 simonpj Exp $
+% $Header: /home/cvs/root/haskell-report/report/haskell.verb,v 1.8 2001/08/23 16:41:41 simonpj Exp $
 %
 
 % NOTE:--------------------------------------------------------------
@@ -83,7 +83,7 @@
 
 \makeindex
 % an extra thing for makeindex
-\renewcommand{\seealso}[2]{{\em see also\/} #1}
+\newcommand{\hseealso}[2]{{\em see also\/} #1}
 
 % NEWCOMMANDS
 
 {\LARGE\bf Programming Language} \\[.3in]
 {\huge\bf Haskell 98} \\[.3in]
 {\Large\bf A Non-strict, Purely Functional Language} \\[.3in]
-{\large\bf Revised: July 2001}
+{\large\bf Revised: FILL IN DATE!!}
 \end{center}
 \vspace{.15in}
 \begin{center} \large
 \begin{tabular}{l@@{\hspace{5mm}}l}
-Simon Peyton Jones$^8$ [editor] & Lennart Augustsson$^9$ \\
-Dave Barton$^7$                & Brian Boutel$^4$ \\
-Warren Burton$^5$              & Joseph Fasel$^6$ \\
-Kevin Hammond$^2$              & Ralf Hinze$^{12}$  \\
-Paul Hudak$^1$                         & John Hughes$^3$ \\
-Thomas Johnsson$^3$            & Mark Jones$^{14}$ \\
+Simon Peyton Jones$^8$ [editor] & John Hughes$^3$ [editor] \\
+Lennart Augustsson$^3$         & Dave Barton$^7$ \\
+Brian Boutel$^4$               & Warren Burton$^5$ \\
+Joseph Fasel$^6$               & Kevin Hammond$^2$ \\
+Ralf Hinze$^{12}$              & Paul Hudak$^1$ \\
+Thomas Johnsson$^3$            & Mark Jones$^9$ \\
 John Launchbury$^{14}$                 & Erik Meijer$^{10}$ \\
-John Peterson$^1$              & Alastair Reid$^{15}$ \\
+John Peterson$^1$              & Alastair Reid$^1$ \\
 Colin Runciman$^{13}$          & Philip Wadler$^{11}$
 \end{tabular}
 \end{center}
@@ -454,22 +454,21 @@ Authors' affiliations:
 (6)~Los Alamos National Laboratory
 (7)~Intermetrics
 (8)~Microsoft Research, Cambridge
-(9)~Sandburst Corporation
-(10)~Microsoft Corporation
-(11)~Avaya Labs
+(9)~University of Nottingham
+(10)~Utrecht University
+(11)~Bell Labs
 (12)~University of Bonn
 (13)~York University
 (14)~Oregon Graduate Institute
-(15)~University of Utah
 \end{quotation}
 \vspace{.2in}
 
 \begin{center}
-Copyright (c) Simon Peyton Jones. 
+Copyright (c) Simon Peyton Jones and John Hughes
 \end{center}
 {\em The authors intend this Report to belong to the entire Haskell
 community, and so we grant permission to copy and distribute it for
-any purpose, provided that it is reproduced in its entirety,
+any purpose, provided that it is reproduced in its entirity,
 including this Notice. Modified versions of this Report may also be
 copied and distributed for any purpose, provided that the modified
 version is clearly presented as such, and that it does not claim to be
index 230f5c6..1da7859 100644 (file)
 \index{type signature!for an expression|see{expression type-signature}}
 %
 \index{(aaa)@@{\tt ()}|see{trivial type and unit expression}}%
-\index{-@@{\tt -}|seealso{negation}}
-\index{+@@{\tt +}|seealso{"n@+@k" pattern}}
+\index{-@@{\tt -}|hseealso{negation}}
+\index{+@@{\tt +}|hseealso{"n@+@k" pattern}}
 \index{~@@{\tt {\char'176}}|see{irrefutable pattern}}
-\index{derived instance|seealso{instance declaration}}
+\index{derived instance|hseealso{instance declaration}}
 \index{if-then-else expression|see{conditional expression}}
-\index{instance declaration|seealso{derived instance}}
-\index{layout|seealso{off-side rule}}
-\index{off-side rule|seealso{layout}}
+\index{instance declaration|hseealso{derived instance}}
+\index{layout|hseealso{off-side rule}}
+\index{off-side rule|hseealso{layout}}
 \index{method|see{class method}}
 \index{overloaded pattern|see{pattern-matching}}
-\index{precedence|seealso{fixity}}
-\index{section|seealso{operator application}}
+\index{precedence|hseealso{fixity}}
+\index{section|hseealso{operator application}}
 \index{signature|see{type signature}}
-\index{standard prelude|seealso{{\tt Prelude}}}
+\index{standard prelude|hseealso{{\tt Prelude}}}
 \index{synonym|see{type synonym}}
 \index{type class|see{class}}
-\index{type synonym|seealso{datatype}}
+\index{type synonym|hseealso{datatype}}
 \index{unit datatype|see{trivial type}}
 \index{name!qualified|see{qualified name}}
 \index{name!special|see{special name}}
index 4b3fb9e..6a23b36 100644 (file)
@@ -1,5 +1,5 @@
 %
-% $Header: /home/cvs/root/haskell-report/report/lexemes.verb,v 1.4 2001/08/23 16:16:57 simonpj Exp $
+% $Header: /home/cvs/root/haskell-report/report/lexemes.verb,v 1.5 2001/08/23 16:41:41 simonpj Exp $
 %
 %*section 2
 %**<title>Haskell 98 Lexical Structure</title>
@@ -110,7 +110,7 @@ Comments\index{comment} are valid whitespace.
 
 An ordinary comment\index{comment!end-of-line} begins with a sequence of
 two or more consecutive dashes (e.g. @--@) and extends to the following newline.
-\emph{The sequence of dashes must not form part of a legal lexeme.}
+{\em The sequence of dashes must not form part of a legal lexeme.}
 For example, ``@-->@'' or ``@|--@'' do {\em not} begin
 a comment, because both of these are legal lexemes; however ``@--foo@''
 does start a commment.
index c447cf6..dd82fae 100644 (file)
@@ -1,5 +1,5 @@
 %
-% $Header: /home/cvs/root/haskell-report/report/modules.verb,v 1.7 2001/08/23 16:19:27 simonpj Exp $
+% $Header: /home/cvs/root/haskell-report/report/modules.verb,v 1.8 2001/08/23 16:41:41 simonpj Exp $
 %
 %**<title>The Haskell 98 Report: Modules</title>
 %*section 5
@@ -199,7 +199,7 @@ that are in scope (whether qualified or not).
 
 \item
 The form `"@module@ M"' abbreviates the set of all entities whose
-names are brought into scope by one or more \emph{unqualified} @import@ declarations
+names are brought into scope by one or more {\em unqualified} @import@ declarations
 of the form `"@import@~M~[impspec]"' or `"@import@~A~@as@~M~[impspec]"'.  This set may be empty.
 For example:
 \bprog
index dc0d82f..576a720 100644 (file)
@@ -1,5 +1,5 @@
 %
-% $Header: /home/cvs/root/haskell-report/report/plain_haskell.verb,v 1.2 2001/05/29 15:40:00 simonpj Exp $
+% $Header: /home/cvs/root/haskell-report/report/plain_haskell.verb,v 1.3 2001/08/23 16:41:41 simonpj Exp $
 %
 
 % NOTE:--------------------------------------------------------------
@@ -83,7 +83,7 @@
 
 \makeindex
 % an extra thing for makeindex
-\newcommand{\seealso}[2]{{\em see also\/} #1}
+\newcommand{\hseealso}[2]{{\em see also\/} #1}
 
 % NEWCOMMANDS
 
index 076578b..f8c768b 100644 (file)
@@ -1,5 +1,5 @@
 %
-% $Header: /home/cvs/root/haskell-report/report/pragmas.verb,v 1.2 2001/08/23 16:16:57 simonpj Exp $
+% $Header: /home/cvs/root/haskell-report/report/pragmas.verb,v 1.3 2001/08/23 16:41:41 simonpj Exp $
 %
 %**<title>The Haskell 98 Report: Pragmas</title>
 %*section E
@@ -59,23 +59,5 @@ parameter is either @Int@ or @Integer@ will
 use specialized versions of @factorial@ which do not involve
 overloaded numeric operations.
 
-% \subsection{Optimization}
-% @@@
-% decl -> optdecl
-% exp^0  -> optdecl exp^0
-% optdecl -> @{-#@ @optimize@ optd_1 @,@ ... @,@ optd_k @#-}@ & (k >= 1)
-% optd  -> digit
-%        | @speed@ digit
-%        | @space@ digit 
-%        | @compilationSpeed@ digit
-%        | @debug@ digit
-% @@@
-% The @optimize@ pragma
-% provides  explicit control over the optimization levels
-% of the compiler.  If used as a declaration, this applies to all values
-% defined in the declaration group (and recursively to any nested
-% values).  Used as an expression, it applies only to the prefixed
-% expression.  If no attribute is named, the @speed@ attribute is
-% assumed.
 
 %**~footer