WIP

eernstg · eernstg · commit 1f00fec48d3b · 2023-05-31T11:59:03.000+02:00
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -52,6 +52,8 @@
 % Dec 2022
 % - Change the definition of the type function 'flatten' to resolve soundness
 %   issue, cf. SDK issue #49396.
+% - Introducing null-safety related changes to the sections about variables
+%   and local variables.
 % - Change 'primitive operator ==' to 'primitive equality', and include
 %   constraints on `hashCode` corresponding to the ones we have on `==`.
 %

Original file line number	Diff line number	Diff line change
`@@ -52,6 +52,8 @@`
`52`	`52`	`% Dec 2022`
`53`	`53`	`% - Change the definition of the type function 'flatten' to resolve soundness`
`54`	`54`	`% issue, cf. SDK issue #49396.`
	`55`	`+% - Introducing null-safety related changes to the sections about variables`
	`56`	`+% and local variables.`
`55`	`57`	`% - Change 'primitive operator ==' to 'primitive equality', and include`
`56`	`58`	% constraints on `hashCode` corresponding to the ones we have on `==`.
`57`	`59`	`%`