Commit 9bd9f197 authored by Simon Marlow's avatar Simon Marlow
Browse files

one more "bottom"

parent d5c9e08f
......@@ -159,7 +159,7 @@ also {\em ad hoc} polymorphism, or {\em overloading} (using
{\em type classes}).\index{type class}
Errors in \Haskell{} are semantically equivalent to
$\bot$. Technically, they are not distinguishable
$\bot$ (``bottom''\index{bottom}). Technically, they are indistinguishable
from nontermination, so the language includes no mechanism
for detecting or acting upon errors. However, implementations
will probably try to provide useful information about
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment