languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-16 02:27:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add missing clause for LUB(Bottom, T)

Browse source 
BUG=
R=paulberry@google.com

Review URL: https://codereview.chromium.org//1179113010.
This commit is contained in:
Gilad Bracha 2015-06-15 16:20:30 -07:00
parent 696fbdf440
commit b34c19d0ce
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
docs/language/dartLangSpec.tex
View file

@ -7510,7 +7510,8 @@ where $depth(T)$ is the number of steps in the longest inheritance path from $T$
\LMHash{}
The least upper bound of \DYNAMIC{} and any type $T$ is \DYNAMIC{}.
The least upper bound of \VOID{} and any type $T \ne \DYNAMIC{}$ is \VOID{}.
Let $U$ be a type variable with upper bound $B$. The least upper bound of $U$ and a type $T$ is the least upper bound of $B$ and $T$.
The least upper bound of $\bot$ and any type $T$ is $T$.
Let $U$ be a type variable with upper bound $B$. The least upper bound of $U$ and a type $T \ne \bot$ is the least upper bound of $B$ and $T$.
\LMHash{}
The least upper bound relation is symmetric and reflexive.