docs/language/dart.sty - Issue 2433943002: Spec: Rewrite lambdas to simpler semantics instead.

Side by Side Diff: docs/language/dart.sty

Issue 2433943002: Spec: Rewrite lambdas to simpler semantics instead. (Closed)

Patch Set: More LMHash. Created 4 years, 1 month ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

OLD	NEW
1 \def\keyword#1{\textbf{#1}}	1 \def\keyword#1{\textbf{#1}}

2 \def\builtinId#1{\textbf{#1}}	2 \def\builtinId#1{\textbf{#1}}

3 \def\comment#1{\textit{#1}}	3 \def\comment#1{\textit{#1}}

4 \def\capt#1{\rmfamily \caption{#1}}	4 \def\capt#1{\rmfamily \caption{#1}}

5 \newcommand{\cd}[1]{\textsf{#1}}	5 \newcommand{\cd}[1]{\textsf{#1}}

6 \def\lt{$<$}	6 \def\lt{$<$}

7 \def\gt{$>$}	7 \def\gt{$>$}

8 \def\<{$\langle$}	8 \def\<{$\langle$}

9 \def\>{$\rangle$}	9 \def\>{$\rangle$}

10	10 \def\metavar#1{\ensuremath{\mathit{#1}}}

11 \def\ABSTRACT{\builtinId{abstract}}	11 \def\ABSTRACT{\builtinId{abstract}}

12 \def\AS{\builtinId{as}}	12 \def\AS{\builtinId{as}}

13 \def\ASSERT{\keyword{assert}}	13 \def\ASSERT{\keyword{assert}}

14 \def\ASYNC{\keyword{async}}	14 \def\ASYNC{\keyword{async}}

15 \def\AWAIT{\keyword{await}}	15 \def\AWAIT{\keyword{await}}

16 \def\BOOLEAN{\keyword{boolean}}	16 \def\BOOLEAN{\keyword{boolean}}

17 \def\BREAK{\keyword{break}}	17 \def\BREAK{\keyword{break}}

18 \def\CASE{\keyword{case}}	18 \def\CASE{\keyword{case}}

19 \def\CLASS{\keyword{class}}	19 \def\CLASS{\keyword{class}}

20 \def\CALL{\keyword{call}}	20 \def\CALL{\keyword{call}}

21 \def\CATCH{\keyword{catch}}	21 \def\CATCH{\keyword{catch}}

22 \def\CONST{\keyword{const}}	22 \def\CONST{\keyword{const}}

23 \def\CONTINUE{\keyword{continue}}	23 \def\CONTINUE{\keyword{continue}}

24 \def\DEFAULT{\keyword{default}}	24 \def\DEFAULT{\keyword{default}}

25 \def\DEFERRED{\keyword{deferred}}	25 \def\DEFERRED{\keyword{deferred}}

26 \def\DYNAMIC{\builtinId{dynamic}}	26 \def\DYNAMIC{\builtinId{dynamic}}

27 \def\DO{\keyword{do}}	27 \def\DO{\keyword{do}}

28 \def\ELSE{\keyword{else}}	28 \def\ELSE{\keyword{else}}

29 \def\ENUM{\keyword{enum}}	29 \def\ENUM{\keyword{enum}}

30 \def\EQUALS{\keyword{equals}}	30 \def\EQUALS{\keyword{equals}}

31 \def\EXPORT{\builtinId{export}}	31 \def\EXPORT{\builtinId{export}}

32 \def\EXTENDS{\keyword{extends}}	32 \def\EXTENDS{\keyword{extends}}

33 \def\EXTERNAL{\builtinId{external}}	33 \def\EXTERNAL{\builtinId{external}}

34 \def\FACTORY{\builtinId{factory}}	34 \def\FACTORY{\builtinId{factory}}

35 \def\FALSE{\keyword{false}}	35 \def\FALSE{\keyword{false}}

36 \def\FINAL{\keyword{final}}	36 \def\FINAL{\keyword{final}}

37 \def\FINALLY{\keyword{finally}}	37 \def\FINALLY{\keyword{finally}}

38 \def\FOR{\keyword{for}}	38 \def\FOR{\keyword{for}}

39 \def\GET{\builtinId{get}}	39 \def\GET{\builtinId{get}}

40 \def\HIDE{\keyword{hide}}	40 \def\HIDE{\keyword{hide}}

41 \def\IF{\keyword{if}}	41 \def\IF{\keyword{if}}

42 \def\IMPLEMENTS{\builtinId{implements}}	42 \def\IMPLEMENTS{\builtinId{implements}}

43 \def\IMPORT{\builtinId{import}}	43 \def\IMPORT{\builtinId{import}}

44 \def\IN{\keyword{in}}	44 \def\IN{\keyword{in}}

45 \def\INT{\keyword{int}}	45 \def\INT{\keyword{int}}

46 \def\INTERFACE{\keyword{interface}}	46 \def\INTERFACE{\keyword{interface}}

47 \def\IS{\keyword{is}}	47 \def\IS{\keyword{is}}

48 \def\LIBRARY{\builtinId{library}}	48 \def\LIBRARY{\builtinId{library}}

49 \def\NATIVE{\keyword{native}}	49 \def\NATIVE{\keyword{native}}

50 \def\NEGATE{\keyword{negate}}	50 \def\NEGATE{\keyword{negate}}

51 \def\NEW{\keyword{new}}	51 \def\NEW{\keyword{new}}

52 \def\NULL{\keyword{null}}	52 \def\NULL{\keyword{null}}

53 \def\ON{\keyword{on}}	53 \def\ON{\keyword{on}}

54 \def\OF{\keyword{of}}	54 \def\OF{\keyword{of}}

55 \def\OPERATOR{\builtinId{operator}}	55 \def\OPERATOR{\builtinId{operator}}

56 \def\PART{\builtinId{part}}	56 \def\PART{\builtinId{part}}

57 \def\PRIVATE{\keyword{private}}	57 \def\PRIVATE{\keyword{private}}

58 \def\RETHROW{\keyword{rethrow}}	58 \def\RETHROW{\keyword{rethrow}}

59 \def\RETURN{\keyword{return}}	59 \def\RETURN{\keyword{return}}

60 \def\SET{\builtinId{set}}	60 \def\SET{\builtinId{set}}

61 \def\SHOW{\keyword{show}}	61 \def\SHOW{\keyword{show}}

62 \def\SOURCE{\keyword{source}}	62 \def\SOURCE{\keyword{source}}

63 \def\STATIC{\builtinId{static}}	63 \def\STATIC{\builtinId{static}}

64 \def\SUPER{\keyword{super}}	64 \def\SUPER{\keyword{super}}

65 \def\SWITCH{\keyword{switch}}	65 \def\SWITCH{\keyword{switch}}

66 \def\SYNC{\keyword{sync}}	66 \def\SYNC{\keyword{sync}}

67 \def\THIS{\keyword{this}}	67 \def\THIS{\keyword{this}}

68 \def\THROW{\keyword{throw}}	68 \def\THROW{\keyword{throw}}

69 \def\TRUE{\keyword{true}}	69 \def\TRUE{\keyword{true}}

70 \def\TRY{\keyword{try}}	70 \def\TRY{\keyword{try}}

71 \def\TYPEDEF{\builtinId{typedef}}	71 \def\TYPEDEF{\builtinId{typedef}}

72 \def\THIS{\keyword{this}}	72 \def\THIS{\keyword{this}}

73 \def\VAR{\keyword{var}}	73 \def\VAR{\keyword{var}}

74 \def\VOID{\keyword{void}}	74 \def\VOID{\keyword{void}}

75 \def\WHILE{\keyword{while}}	75 \def\WHILE{\keyword{while}}

76 \def\WITH{\keyword{with}}	76 \def\WITH{\keyword{with}}

77 \def\YIELD{\keyword{yield}}	77 \def\YIELD{\keyword{yield}}

78	78 \def\TRUE{\keyword{true}}

79

80

81

82 % \def\PUBLIC{\keyword{public}}

83

84 %\def\PROTECTED{\keyword{protected}}

85

86

87

88

89

90

91

92

93

94

95 % \def\OUTER{\keyword{outer}}

96

97 \def\TRUE{\keyword{true}}

98

99	79

100 \newenvironment{Q}[1]{{\bf #1}}	80 \newenvironment{Q}[1]{{\bf #1}}

101	81

102 \newenvironment{rationale}[1]{{\it #1}}	82 \newenvironment{rationale}[1]{{\it #1}}

103	83

104 \newenvironment{commentary}[1]{{\sf #1}}	84 \newenvironment{commentary}[1]{{\sf #1}}

105	85

106 \newenvironment{dartCode}[1][!ht] {	86 \newenvironment{dartCode}[1][!ht] {

107 % \begin{verbatim}[#1]	87 % \begin{verbatim}[#1]

108 \def\@programcr{\@addfield\strut}	88 \def\@programcr{\@addfield\strut}

109 \let\\=\@programcr	89 \let\\=\@programcr

110 \relax\@vobeyspaces\obeylines	90 \relax\@vobeyspaces\obeylines

111	91

112 \sffamily	92 \sffamily

113 }{	93 }{

114 %\end{verbatim}	94 %\end{verbatim}

115 }	95 }

116	96

117

118 % ----------------------------------------------------------------------	97 % ----------------------------------------------------------------------

119 % Support for hash valued Location Markers	98 % Support for hash valued Location Markers

120	99

121 % very small font, to enable 40 char hash values in the margin	100 % very small font, to enable 40 char hash values in the margin

122 \makeatletter	101 \makeatletter

123 \ifcase \@ptsize \relax% 10pt	102 \ifcase \@ptsize \relax% 10pt

124 \newcommand{\miniscule}{\@setfontsize\miniscule{2}{3}}% \tiny: 5/6	103 \newcommand{\miniscule}{\@setfontsize\miniscule{2}{3}}% \tiny: 5/6

125 \or% 11pt	104 \or% 11pt

126 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7	105 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7

127 \or% 12pt	106 \or% 12pt

128 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7	107 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7

129 \fi	108 \fi

130 \makeatother	109 \makeatother

131	110

132 % white: location markers should not create visual noise	111 % white: location markers should not create visual noise

133 \definecolor{LMdim}{gray}{1.0}	112 \definecolor{LMdim}{gray}{1.0}

134	113

135 % insert location marker showing hash value of following paragraph	114 % insert location marker showing hash value of following paragraph

136 \newcommand{\LMHash}[1]{%	115 \newcommand{\LMHash}[1]{%

137 \hspace{0pt}\marginpar{\raisebox{0.5ex}{\miniscule{\color{LMdim}#1}}}}	116 \hspace{0pt}\marginpar{\raisebox{0.5ex}{\miniscule{\color{LMdim}#1}}}}

138	117

139 % support convenient renewcommand	118 % support convenient renewcommand

140 \let\OriginalLMHash\LMHash	119 \let\OriginalLMHash\LMHash

141	120

142 % define a label, and show the associated logical location marker	121 % define a label, and show the associated logical location marker

143 \newcommand{\LMLabel}[1]{%	122 \newcommand{\LMLabel}[1]{%

144 \vspace{-\baselineskip}\hspace{0pt}\OriginalLMHash{\raisebox{10ex}{#1}}%	123 \vspace{-\baselineskip}\hspace{0pt}\OriginalLMHash{\raisebox{10ex}{#1}}%

145 \label{#1}}	124 \label{#1}}

146 % ----------------------------------------------------------------------	125 % ----------------------------------------------------------------------

147

OLD	NEW

« no previous file with comments | « no previous file | docs/language/dartLangSpec.tex » ('j') | docs/language/dartLangSpec.tex » ('J')