diff options
| author | Graydon Hoare <graydon@pobox.com> | 2015-04-17 19:24:28 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@pobox.com> | 2015-04-17 19:24:28 -0700 |
| commit | 806d0247831d3b5a89ce8962cbf3546a18470a99 (patch) | |
| tree | 7e67df22c21471743416c903dbac5b7863e59124 | |
| parent | ca14b8121c94c68fdc44f12e58472a574846ac46 (diff) | |
| download | rust-806d0247831d3b5a89ce8962cbf3546a18470a99.tar.gz rust-806d0247831d3b5a89ce8962cbf3546a18470a99.zip | |
Trim florid language.
| -rw-r--r-- | src/doc/reference.md | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/doc/reference.md b/src/doc/reference.md index 57110df0f9e..fb03ba1600a 100644 --- a/src/doc/reference.md +++ b/src/doc/reference.md @@ -735,13 +735,11 @@ Rust syntax is restricted in two ways: # Crates and source files -Rust is a *compiled* language. Its semantics obey a *phase distinction* -between compile-time and run-time. Those semantic rules that have a *static -interpretation* govern the success or failure of compilation. We refer to -these rules as "static semantics". Semantic rules called "dynamic semantics" -govern the behavior of programs at run-time. A program that fails to compile -due to violation of a compile-time rule has no defined dynamic semantics; the -compiler should halt with an error report, and produce no executable artifact. +Rust is a *compiled* language. Its semantics obey a *phase distinction* between +compile-time and run-time. Those semantic rules that have a *static +interpretation* govern the success or failure of compilation. Those semantics +that have a *dynamic interpretation* govern the behavior of the program at +run-time. The compilation model centers on artifacts called _crates_. Each compilation processes a single crate in source form, and if successful, produces a single |