Changes between Version 14 and Version 15 of ExplicitForall

Timestamp:

11/19/10 16:14:21 (3 years ago)

Author:

igloo

Comment:

--

ExplicitForall

@@ -283 +283 @@
 <pre>
 <span style="background: #fbb">fdecl  →  import callconv [safety] impent var :: ftype  (define variable)
-       |  export callconv expent var :: ftype    (expose variable)</span>
+       |  export callconv expent var :: ftype           (expose variable)</span>
 </pre>
 </div>
@@ -318 +318 @@
 }}}
 
-[forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .]
-[context =>] type  (type signature, k ≥ 0)</span>
+-----
+
+In [http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#TBL-103-4- Section 10.2]:
+
+Replace:
+{{{
+#!html
+<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
+<pre>
+<span style="background: #fbb"> | foreign | if | import | in | infix | infixl</span>
+</pre>
+</div>
+}}}
+with:
+{{{
+#!html
+<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
+<pre>
+<span style="background: #bfb"> | forall | foreign | if | import | in | infix | infixl</span>
+</pre>
+</div>
+}}}
+
+-----
+
+In [http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#TBL-105-60-2 Section 10.5]:
+
+Replace:
+{{{
+#!html
+<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
+<pre>
+<span style="background: #fbb">gendecl  →  vars :: [context =>] type  (type signature)</span>
+</pre>
+</div>
+}}}
+with:
+{{{
+#!html
+<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
+<pre>
+<span style="background: #bfb">gendecl  →  vars :: [forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .] [context =>] type  (type signature, k ≥ 0)</span>
+</pre>
+</div>
+}}}
+
+-----
+
+In [http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#TBL-105-118- Section 10.5]:
+
+Replace:
+{{{
+#!html
+<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
+<pre>
+<span style="background: #fbb">fdecl  →  import callconv [safety] impent var :: ftype  (define variable)
+       |  export callconv expent var :: ftype           (expose variable)</span>
+</pre>
+</div>
+}}}
+with:
+{{{
+#!html
+<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
+<pre>
+<span style="background: #bfb">fdecl  →  import callconv [safety] impent var :: [forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .] ftype  (define variable, k ≥ 0)
+       |  export callconv expent var :: [forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .] ftype           (expose variable, k ≥ 0)</span>
+</pre>
+</div>
+}}}
+
+-----
+
+In [http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#TBL-105-153- Section 10.5]:
+
+Replace:
+{{{
+#!html
+<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
+<pre>
+<span style="background: #fbb">exp  →  infixexp :: [context =>] type  (expression type signature)</span>
+</pre>
+</div>
+}}}
+with:
+{{{
+#!html
+<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
+<pre>
+<span style="background: #bfb">exp  →  infixexp :: [forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .] [context =>] type  (expression type signature, k ≥ 0)</span>
+</pre>
+</div>
+}}}
 
 == References ==