Changes between Version 27 and Version 28 of Holes

Timestamp:

05/04/12 03:09:03 (13 months ago)

Author:

spl

Comment:

Minor changes

Holes

@@ -216 +216 @@
 f = _?h >>= _?i
 }}}
-Thus, we prefer that this program be considered well-typed with {{{f :: Monad m => m b}}} and the holes reported to have the types {{{_?h :: Monad m => m a}}} and {{{_?i :: Monad m => a -> m b}}}.
-
-If the extension `-XNoMonomorphismRestriction` is used, we expect that the typing of the holes will not change.
+Thus, we prefer that this program be considered well-typed with {{{f :: Monad m => m b}}} and the holes {{{_?h :: Monad m => m a}}} and {{{_?i :: Monad m => a -> m b}}}.
+
+If `-XNoMonomorphismRestriction` is used, we expect that the typing of the holes will not change.
 
 === Type of a hole ===
 
-The type of a hole should be the resolved type with minimum constraints. That is, the type of a hole should only have constraints that have not been solved but are either inferred from the context (e.g. {{{show _?h}}}) or given in a type annotation/signature (e.g. {{{_?h :: Show a => a}}}.
+The type of a hole should be the resolved type with minimum constraints. That is, the type of a hole should only have constraints that have not been solved but are either inferred from the context (e.g. {{{show _?h}}}) or given in a type annotation/signature (e.g. {{{_?h :: Show a => a}}}).