Make sure exports treat dart: libs specially just like imports.

docs/language/dartLangSpec.tex

Index: docs/language/dartLangSpec.tex
===================================================================
--- docs/language/dartLangSpec.tex	(revision 28418)
+++ docs/language/dartLangSpec.tex	(working copy)
@@ -483,7 +483,7 @@
 
 \ref{constants}: Added constant conditional expressions.
 
-\ref{strings}: Allow adjacent single and multiine strings to concatenate. Allow escaped newlines in multiline strings.
+\ref{strings}: Allow adjacent single and multiline strings to concatenate. Allow escaped newlines in multiline strings.
 
 \ref{conditional}: Type promotion support added.
 
@@ -499,6 +499,8 @@
 
 \ref{return}: Added warning if \RETURN{} without expression mixed with \RETURN{} with an expression.
 
+\ref{exports}: Ensure that exports treat \code{dart:} libs specially, like imports do.
+
 \ref{typePromotion}: Added notion of type promotion.
 
 \ref{typedef}: Banned all recursion in typedefs.
@@ -5290,7 +5292,7 @@
 
 \rationale{The greatly increases the chance that a member can be added to a library without breaking its importers.}
 
-If a name $N$ is referenced by a library $L$ and $N$ would be introduced into the top level scope $L$ by an import from a library whose name begins with \code{dart:} and an import from a library whose name does not begin with \code{dart:}:
+If a name $N$ is referenced by a library $L$ and $N$ would be introduced into the top level scope of $L$ by an import from a library whose URI begins with \code{dart:} and an import from a library whose name does not begin with \code{dart:}:

[ahe, 2013/10/11 05:21:03]

This sentence contains another use of "name" that should be changed to URI.

[gbracha, 2013/10/11 19:13:42]

Done.

 \begin{itemize}
 \item The import from \code{dart:} is implicitly extended by a \code{\HIDE{} $N$} clause.
 \item A static warning is issued.
@@ -5302,7 +5304,7 @@
 It is recommended that tools that deploy Dart code produce output in which all imports use show clauses to ensure that additions to the namespace of a library never impact deployed code.
 }
 
-If a name $N$ is referenced by a library $L$ and $N$ is  introduced into  the top level scope $L$ by more than one import, and not all the imports denote the same declaration, then:
+If a name $N$ is referenced by a library $L$ and $N$ is  introduced into  the top level scope of $L$ by more than one import, and not all the imports denote the same declaration, then:
 \begin{itemize}
 \item A static warning occurs.
 \item If $N$ is referenced as a function, getter or setter, a \code{NoSuchMethodError} is raised. 
@@ -5390,8 +5392,20 @@
 \end{itemize}
 
 For each
-entry mapping key $k$ to declaration $d$ in $NS_n$ an entry mapping $k$ to $d$ is added to the exported namespace of $L$ unless a  top-level declaration with the name $k$ exists in $L$.  We say that $L$ {\em re-exports library } $B$, and also that $L$ {\em re-exports namespace } $NS_n$. When no confusion can arise, we may simply state that $L$ {\em re-exports }$B$, or that $L$ {\em re-exports }$NS_n$.
+entry mapping key $k$ to declaration $d$ in $NS_n$ an entry mapping $k$ to $d$ is added to the exported namespace of $L$ unless a  top-level declaration with the name $k$ exists in $L$.  
 
+If a name $N$ is referenced by a library $L$ and $N$ would be introduced into the exported namespace of $L$ by an export from a library whose URI begins with \code{dart:} and an export from a library whose name does not begin with \code{dart:}:

[ahe, 2013/10/11 05:21:03]

Ditto.

[gbracha, 2013/10/11 19:13:42]

Done.

+\begin{itemize}
+\item The export from \code{dart:} is implicitly extended by a \code{\HIDE{} $N$} clause.
+\item A static warning is issued.
+\end{itemize}
+
+\rationale{
+See the discussion in section \ref{imports} for the reasoning behind this rule.
+}
+
+We say that $L$ {\em re-exports library } $B$, and also that $L$ {\em re-exports namespace } $NS_n$. When no confusion can arise, we may simply state that $L$ {\em re-exports }$B$, or that $L$ {\em re-exports }$NS_n$.
+
 It is a compile-time error if a name $N$ is re-exported by a library $L$ and $N$ is  introduced into the export namespace of $L$ by more than one export, unless each all exports refer to same declaration for the name $N$.  It is a static warning to export two different libraries with the same name.