From 289a3d2799fce6c452dc66d309fa0e471ba34597 Mon Sep 17 00:00:00 2001 From: "Lasse R.H. Nielsen" Date: Fri, 23 Mar 2018 22:39:29 +0000 Subject: [PATCH] Remove ~/ special casing in static type system. The "special case" text just says that the return type of `~/` on `int` is `int`, which is also its declared type, so the text isn't necessary. Bug: http://dartbug/com/15650 Change-Id: Iba7fcc621e27dcba24dfdede2a0960f2f5ecd2f9 Reviewed-on: https://dart-review.googlesource.com/48144 Reviewed-by: Erik Ernst Commit-Queue: Lasse R.H. Nielsen --- docs/language/dartLangSpec.tex | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex index 51a6dc74d8f..b30b5623a42 100644 --- a/docs/language/dartLangSpec.tex +++ b/docs/language/dartLangSpec.tex @@ -6415,11 +6415,9 @@ A multiplicative expression of the form \SUPER{} $op$ $e_2$ is equivalent to the \LMHash{} The static type of an multiplicative expression is usually determined by the signature given in the declaration of the operator used. -However, invocations of the operators \code{*}, \code{\%} and \code{\~{}/} of class \code{int} are treated specially by the typechecker. +However, invocations of the operators \code{*} and \code{\%} of class \code{int} are treated specially by the typechecker. The static type of an expression $e_1 * e_2$ where $e_1$ has static type \code{int} is \code{int} if the static type of $e_2$ is \code{int}, and \code{double} if the static type of $e_2$ is \code{double}. The static type of an expression $e_1 \% e_2$ where $e_1$ has static type \code{int} is \code{int} if the static type of $e_2$ is \code{int}, and \code{double} if the static type of $e_2$ is \code{double}. -The static type of an expression \code{$e_1$ \~{}/ $e_2$} where $e_1$ has static type \code{int} is \code{int} if the static type of $e_2$ is \code{int}. - \subsection{Unary Expressions} \LMLabel{unaryExpressions}