Various doc/comment cleanup, and remove the "helpful for Cpp1 transition" check for * following a type

Closes #1194

Author: hsutter

docs/cpp2/contracts.md

@@ -19,7 +19,7 @@ Notes:
 
 The order of evaluation is:
 
-- First, if the contract group is `unevaluated` then the contract is ignored; `condition` is never evaluated. This special group is designates conditions intended for use by static analyzers only, and the only requirement is that the condition be grammatically valid.
+- First, if the contract group is `unevaluated` then the contract is ignored; `condition` is never evaluated. This special group designates conditions intended for use by static analyzers only, and the only requirement is that the condition be grammatically valid.
 
 - Next, predicates are evaluated in order. If any predicate evaluates to `#!cpp false`, stop.
 

docs/cpp2/functions.md

@@ -80,7 +80,7 @@ A function can return either of the following. The default is `#!cpp -> void`.
 
 (1) **`#!cpp -> X`** to return a single unnamed value of type `X`, which can be  `#!cpp void` to signify the function has no return value. If `X` is not `#!cpp void`, the function body must have a `#!cpp return /*value*/;` statement that returns a value of type `X` on every path that exits the function.
 
-To deduce the return type, write `-> _`. A function whose body returns a single expression `expr` can deduce the return type and omit writing `-> _ = { return /*expr*/ ; }`.
+To deduce the return type, write `-> _`. A function whose body returns a single expression `expr` can deduce the return type, and omit writing the leading `-> _ = { return` and trailing `; }`.
 
 For example:
 

docs/cppfront/options.md

@@ -59,7 +59,7 @@ Disable mixed-sign comparison safety checks. If not disabled, mixed-sign compari
 
 ### `-no-div-zero-checks`, `-no-d`
 
-Disable integer division by zero checks. If not disabled, integer division by zero checks are performed by default.
+Disable integer division by zero checks. If not disabled, integer division by zero checks are performed by default when both the numerator and denominator are integer types.
 
 ### `-no-null-checks`, `-no-n`
 

docs/index.md

@@ -32,7 +32,7 @@ We can't make an improvement that large to C++ via gradual evolution to today's
 
 ## <a id="what-is-cppfront"></a> What is cppfront?
 
-[**Cppfront**](https://github.com/hsutter/cppfront) is a compiler that compiles Cpp2 syntax to today's Cpp1 syntax. This lets you start trying out Cpp2 syntax in any existing C++ project and build system just by renaming a source file from `.cpp` to `.cpp2` and [adding a build step](#adding-cppfront-in-your-ide-build-system), and the result Just Works with every C++20 or higher compiler and all existing C++ tools (debuggers, build systems, sanitizers, etc.).
+[**Cppfront**](https://github.com/hsutter/cppfront) is a compiler that compiles Cpp2 syntax to today's Cpp1 syntax. This lets you start trying out Cpp2 syntax in any existing C++ project and build system just by renaming a source file from `.cpp` to `.cpp2` and [adding a build step](welcome/integration.md), and the result Just Works with every C++20 or higher compiler and all existing C++ tools (debuggers, build systems, sanitizers, etc.).
 
 This deliberately follows Bjarne Stroustrup's wise approach with [**cfront**](https://en.wikipedia.org/wiki/Cfront), the original C++ compiler: In the 1980s and 1990s, Stroustrup created cfront to translate C++ to pure C, and similarly ensured that C++ could be interleaved with C in the same source file, and that C++ could always call any C code with no wrapping/marshaling/thunking. By providing a C++ compiler that emitted pure C, Stroustrup ensured full compatibility with the C ecosystems that already existed, and made it easy for people to start trying out C++ code in any existing C project by adding just another build step to translate the C++ to C first, and the result Just Worked with existing C tools.
 

regression-tests/test-results/version

@@ -1,5 +1,5 @@
 
-cppfront compiler v0.7.2   Build 9731:1008
+cppfront compiler v0.7.2   Build 9731:1430
 Copyright(c) Herb Sutter   All rights reserved
 
 SPDX-License-Identifier: CC-BY-NC-ND-4.0

source/build.info

@@ -1 +1 @@
-"9731:1008"
+"9731:1430"

source/parse.h

@@ -6030,7 +6030,7 @@ class parser
     //G     postfix-expression '(' expression-list? ','? ')'
     //G     postfix-expression '.' id-expression
     //G     postfix-expression '..' id-expression
-    //G     postfix-expression '...' primary-expression
+    //G     postfix-expression '..<' primary-expression
     //G     postfix-expression '..=' primary-expression
     //G
     auto postfix_expression()
@@ -6750,11 +6750,6 @@ class parser
             return {};
         }
 
-        if (curr().type() == lexeme::Multiply) {
-            error("'T*' is not a valid Cpp2 type; use '*T' for a pointer instead", false);
-            return {};
-        }
-
         if (
             allow_constraint
             && n->is_wildcard()