[project @ 1999-06-17 09:51:16 by simonmar]

[ghc-hetmet.git] / ghc / compiler / deSugar / DsGRHSs.lhs

diff --git a/ghc/compiler/deSugar/DsGRHSs.lhs b/ghc/compiler/deSugar/DsGRHSs.lhs
index 80ace74..e5b823b 100644 (file)
--- a/ghc/compiler/deSugar/DsGRHSs.lhs
+++ b/ghc/compiler/deSugar/DsGRHSs.lhs
@@ -32,7 +32,7 @@ It desugars:
        where binds
 \end{verbatim}
 producing an expression with a runtime error in the corner if
-necessary.  The type argument gives the type of the ei.
+necessary.  The type argument gives the type of the @ei@.
 
 \begin{code}
 dsGuarded :: TypecheckedGRHSs -> DsM CoreExpr
@@ -103,7 +103,8 @@ matchGuard (BindStmt pat rhs locn : stmts) ctx
     matchSinglePat core_rhs ctx pat match_result
 \end{code}
 
--- Should *fail* if e returns D
-
+Should {\em fail} if @e@ returns @D@
+\begin{verbatim}
 f x | p <- e', let C y# = e, f y# = r1
     | otherwise         = r2 
+\end{verbatim}
\ No newline at end of file