Spec: Rewrite lambdas to simpler semantics instead.

docs/language/dart.sty

Index: docs/language/dart.sty
diff --git a/docs/language/dart.sty b/docs/language/dart.sty
index 6b2181541b1263d71181ba5ee7cfeb90816d4e7e..d22dde61305695619a89aec8edacc358ae7a3cfb 100644
--- a/docs/language/dart.sty
+++ b/docs/language/dart.sty
@@ -7,95 +7,75 @@
 \def\gt{$>$}
 \def\<{$\langle$}
 \def\>{$\rangle$}
-
-  \def\ABSTRACT{\builtinId{abstract}}
-  \def\AS{\builtinId{as}}  
-  \def\ASSERT{\keyword{assert}}
-  \def\ASYNC{\keyword{async}}
-  \def\AWAIT{\keyword{await}}
-  \def\BOOLEAN{\keyword{boolean}}
-  \def\BREAK{\keyword{break}}
-  \def\CASE{\keyword{case}}
-  \def\CLASS{\keyword{class}}
-   \def\CALL{\keyword{call}}
-  \def\CATCH{\keyword{catch}}
-  \def\CONST{\keyword{const}}
-  \def\CONTINUE{\keyword{continue}}
-  \def\DEFAULT{\keyword{default}}
-  \def\DEFERRED{\keyword{deferred}}
-  \def\DYNAMIC{\builtinId{dynamic}}
-  \def\DO{\keyword{do}}
-  \def\ELSE{\keyword{else}}
-  \def\ENUM{\keyword{enum}}
-  \def\EQUALS{\keyword{equals}}
-  \def\EXPORT{\builtinId{export}}
-  \def\EXTENDS{\keyword{extends}}
-  \def\EXTERNAL{\builtinId{external}}
-  \def\FACTORY{\builtinId{factory}}  
-  \def\FALSE{\keyword{false}}  
-  \def\FINAL{\keyword{final}} 
-  \def\FINALLY{\keyword{finally}}
-  \def\FOR{\keyword{for}}
-  \def\GET{\builtinId{get}}  
-  \def\HIDE{\keyword{hide}}
-  \def\IF{\keyword{if}}  
-  \def\IMPLEMENTS{\builtinId{implements}}
-  \def\IMPORT{\builtinId{import}}
-  \def\IN{\keyword{in}}
-  \def\INT{\keyword{int}}
-  \def\INTERFACE{\keyword{interface}}
-  \def\IS{\keyword{is}}
-  \def\LIBRARY{\builtinId{library}}
-  \def\NATIVE{\keyword{native}}  
-  \def\NEGATE{\keyword{negate}}  
-  \def\NEW{\keyword{new}}      
-  \def\NULL{\keyword{null}}
-  \def\ON{\keyword{on}}  
-  \def\OF{\keyword{of}}  
-  \def\OPERATOR{\builtinId{operator}}
-  \def\PART{\builtinId{part}} 
-  \def\PRIVATE{\keyword{private}}
-  \def\RETHROW{\keyword{rethrow}}
-  \def\RETURN{\keyword{return}}
-  \def\SET{\builtinId{set}} 
-  \def\SHOW{\keyword{show}} 
-  \def\SOURCE{\keyword{source}}  
-  \def\STATIC{\builtinId{static}}
-  \def\SUPER{\keyword{super}}  
-  \def\SWITCH{\keyword{switch}}  
-  \def\SYNC{\keyword{sync}}  
-  \def\THIS{\keyword{this}}
-  \def\THROW{\keyword{throw}}
-  \def\TRUE{\keyword{true}}
-  \def\TRY{\keyword{try}}
-  \def\TYPEDEF{\builtinId{typedef}}
-  \def\THIS{\keyword{this}}
-  \def\VAR{\keyword{var}}  
-  \def\VOID{\keyword{void}}
-  \def\WHILE{\keyword{while}}
-  \def\WITH{\keyword{with}}
-  \def\YIELD{\keyword{yield}} 
-
-
-
- 
- % \def\PUBLIC{\keyword{public}}
-
-  %\def\PROTECTED{\keyword{protected}}
-
-
-
-
-    
-
- 
-
-
-
- % \def\OUTER{\keyword{outer}}
-
-  \def\TRUE{\keyword{true}}
-
+\def\metavar#1{\ensuremath{\mathit{#1}}}
+\def\ABSTRACT{\builtinId{abstract}}
+\def\AS{\builtinId{as}}
+\def\ASSERT{\keyword{assert}}
+\def\ASYNC{\keyword{async}}
+\def\AWAIT{\keyword{await}}
+\def\BOOLEAN{\keyword{boolean}}
+\def\BREAK{\keyword{break}}
+\def\CASE{\keyword{case}}
+\def\CLASS{\keyword{class}}
+\def\CALL{\keyword{call}}
+\def\CATCH{\keyword{catch}}
+\def\CONST{\keyword{const}}
+\def\CONTINUE{\keyword{continue}}
+\def\DEFAULT{\keyword{default}}
+\def\DEFERRED{\keyword{deferred}}
+\def\DYNAMIC{\builtinId{dynamic}}
+\def\DO{\keyword{do}}
+\def\ELSE{\keyword{else}}
+\def\ENUM{\keyword{enum}}
+\def\EQUALS{\keyword{equals}}
+\def\EXPORT{\builtinId{export}}
+\def\EXTENDS{\keyword{extends}}
+\def\EXTERNAL{\builtinId{external}}
+\def\FACTORY{\builtinId{factory}}
+\def\FALSE{\keyword{false}}
+\def\FINAL{\keyword{final}}
+\def\FINALLY{\keyword{finally}}
+\def\FOR{\keyword{for}}
+\def\GET{\builtinId{get}}
+\def\HIDE{\keyword{hide}}
+\def\IF{\keyword{if}}
+\def\IMPLEMENTS{\builtinId{implements}}
+\def\IMPORT{\builtinId{import}}
+\def\IN{\keyword{in}}
+\def\INT{\keyword{int}}
+\def\INTERFACE{\keyword{interface}}
+\def\IS{\keyword{is}}
+\def\LIBRARY{\builtinId{library}}
+\def\NATIVE{\keyword{native}}
+\def\NEGATE{\keyword{negate}}
+\def\NEW{\keyword{new}}
+\def\NULL{\keyword{null}}
+\def\ON{\keyword{on}}
+\def\OF{\keyword{of}}
+\def\OPERATOR{\builtinId{operator}}
+\def\PART{\builtinId{part}}
+\def\PRIVATE{\keyword{private}}
+\def\RETHROW{\keyword{rethrow}}
+\def\RETURN{\keyword{return}}
+\def\SET{\builtinId{set}}
+\def\SHOW{\keyword{show}}
+\def\SOURCE{\keyword{source}}
+\def\STATIC{\builtinId{static}}
+\def\SUPER{\keyword{super}}
+\def\SWITCH{\keyword{switch}}
+\def\SYNC{\keyword{sync}}
+\def\THIS{\keyword{this}}
+\def\THROW{\keyword{throw}}
+\def\TRUE{\keyword{true}}
+\def\TRY{\keyword{try}}
+\def\TYPEDEF{\builtinId{typedef}}
+\def\THIS{\keyword{this}}
+\def\VAR{\keyword{var}}
+\def\VOID{\keyword{void}}
+\def\WHILE{\keyword{while}}
+\def\WITH{\keyword{with}}
+\def\YIELD{\keyword{yield}}
+\def\TRUE{\keyword{true}}
 
 \newenvironment{Q}[1]{{\bf #1}}
 
@@ -114,7 +94,6 @@
   %\end{verbatim}
 }
 
-
 % ----------------------------------------------------------------------
 % Support for hash valued Location Markers
 
@@ -144,4 +123,3 @@
   \vspace{-\baselineskip}\hspace{0pt}\OriginalLMHash{\raisebox{10ex}{#1}}%
   \label{#1}}
 % ----------------------------------------------------------------------
-