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

Deleted TODO comment in Scoping

Browse source 
Argh, the `git cl upload` was waiting for an `ENTER` press when I
landed CL 56487. This CL just deletes that TODO comment.

Change-Id: I58843d8ae984363ca1b8bacd2f735efa50c9b666
Reviewed-on: https://dart-review.googlesource.com/60249
Reviewed-by: Erik Ernst <eernst@google.com>
This commit is contained in:
Erik Ernst 2018-06-14 13:23:09 +00:00
parent 8dca855de1
commit 4a7ccd5c9a
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
docs/language/dartLangSpec.tex
View file

@ -362,14 +362,6 @@ To get multiple copies of a library running simultaneously, one needs to spawn a
\subsection{Scoping}
\LMLabel{scoping}
%% TODO(eernst): Perhaps this section is the right place for the following?: We
%% need to say that `\code{Object}` and a handful of other identifiers in this document
%% are intended to refer to `the built-in class \code{Object}` etc., such that we don't
%% have to say such a thing everywhere such names are used. Currently we have about 20
%% occurrences of `the built-in class ..` and such, so they should be deleted when we
%% specify the general rule here. It needs to be said that this may be a _violation_
%% of the current scope rules, or that we assume that programs don't shadow these names.
\LMHash{}
A {\em namespace} is a mapping of names denoting declarations to actual declarations.
Let $NS$ be a namespace.