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: Remove \LET Created 4 years, 2 months 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

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

79	79

80	80

81	81

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

83	83

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

85	85

86	86

87	87

88	88

89

90

91

92	89

93	90

94	91

	92

	93

	94
	eernst 2016/11/03 18:07:02 As far as I can see this file has white space fixe As far as I can see this file has white space fixes only. I suggest we take a round of formatting fixes separately. Alternatively, we should do a bit more about it now: Remove the white space before each \def, remove all empty lines except for a single one at each "new stuff starts here" location, and remove some comments containing material that we consider obsolete, e.g., \PUBLIC. Lasse Reichstein Nielsen 2016/11/08 11:42:33 Done. Show quoted text On 2016/11/03 18:07:02, eernst wrote: > As far as I can see this file has white space fixes only. I suggest we take a > round of formatting fixes separately. > > Alternatively, we should do a bit more about it now: Remove the white space > before each \def, remove all empty lines except for a single one at each "new > stuff starts here" location, and remove some comments containing material that > we consider obsolete, e.g., \PUBLIC. Done.
95 % \def\OUTER{\keyword{outer}}	95 % \def\OUTER{\keyword{outer}}

96	96

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

98	98

99	99

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

101	101

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

103	103

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

(...skipping 33 matching lines...) Expand 10 before \| Expand all \| Expand 10 after Loading...
138	138

139 % support convenient renewcommand	139 % support convenient renewcommand

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

141	141

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

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

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

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

146 % ----------------------------------------------------------------------	146 % ----------------------------------------------------------------------

147	147

OLD	NEW

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