From e8c582590d95244d85d8866eb1bc48a1f50936b2 Mon Sep 17 00:00:00 2001 From: Benjamin Peterson Date: Sun, 7 Sep 2014 17:44:27 -0400 Subject: [PATCH] =?UTF-8?q?replace=20LaTeX=20\bot=20with=20actual=20?= =?UTF-8?q?=E2=8A=A5=20symbol?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/doc/rust.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/doc/rust.md b/src/doc/rust.md index 3fd48d4532499..114e669bac3ef 100644 --- a/src/doc/rust.md +++ b/src/doc/rust.md @@ -1197,11 +1197,11 @@ fn my_err(s: &str) -> ! { ~~~~ We call such functions "diverging" because they never return a value to the -caller. Every control path in a diverging function must end with a -`fail!()` or a call to another diverging function on every -control path. The `!` annotation does *not* denote a type. Rather, the result -type of a diverging function is a special type called $\bot$ ("bottom") that -unifies with any type. Rust has no syntax for $\bot$. +caller. Every control path in a diverging function must end with a `fail!()` or +a call to another diverging function on every control path. The `!` annotation +does *not* denote a type. Rather, the result type of a diverging function is a +special type, ⊥ ("bottom"), that unifies with any type. Rust has no syntax for +⊥. It might be necessary to declare a diverging function because as mentioned previously, the typechecker checks that every control path in a function ends