Changes between Version 14 and Version 15 of Status/Nov07

Timestamp:

12/10/07 00:55:27 (6 years ago)

Author:

simonpj

Comment:

--

Status/Nov07

@@ -22 +22 @@
 == Syntactic and front-end enhancements ==
 
-Several people have developed superficial but perhaps-very-useful
-syntactic innovations, which are (or will shortly be) in the HEAD:
-
- * Three improvements to records[[BR]][[BR]]
-   * '''Wild-card patterns for records'''.  If you have
+Several people have developed syntactic innovations, which are (or will shortly be) in the HEAD:
+
+ * '''Three improvements to records'''[[BR]][[BR]]
+   * ''Wild-card patterns for records''.  If you have
 {{{
         data T = MkT {x,y::Int, z::Bool}
@@ -43 +42 @@
     record; while in a record construction it uses variables with
     those names to initialise the record fields. Here's the [http://www.haskell.org/ghc/dist/current/docs/users_guide/syntax-extns.html#record-wildcards user manual entry][[BR]][[BR]]
-   * '''Record puns''' is a slightly less abbreviated approach. You can write 'f' like this:
+   * ''Record puns'' is a slightly less abbreviated approach. You can write 'f' like this:
 {{{
         f (MkT {x,y}) = x+y
@@ -49 +48 @@
     whereas Haskell 98 requires you to write "x=x,y=y" in the pattern. Similarly 
     in record construction.[[BR]][[BR]]
-   * '''Record field disambiguation''' is useful when there are several types in
+   * ''Record field disambiguation'' is useful when there are several types in
     scope, all with the same field name.  For example, suppose another data type S
     had an 'x' field. Then if you write
@@ -158 +157 @@
 
  * Michael Adams came for an internship and built a CPS converter
-  for GHC's internal C-- data type.  He had barely left when Norman
-  Ramsey arrived for a short sabbatical.  Based on his experience of
-  building back ends for the Quick C-- compiler, he worked on a new
-  zipper-based data structure to represent C-- code, and a sophisticated
-  dataflow framework so that you can write new dataflow analyses in 
-  30 mins.  
+  for GHC's internal C-- data type.  
+
+ * He had barely left when Norman Ramsey arrived for a short sabbatical.  Based on his experience of building back ends for the Quick C-- compiler, he worked on a new zipper-based data structure to represent C-- code, and a sophisticated dataflow framework so that you can write new dataflow analyses in 30 mins.  
 
  * Ben Lippmeir spent his internship building a graph-colouring,