NEWS and minor doc update for global scope fixes

[ci skip]

Author: JeffBezanson

NEWS.md

@@ -35,9 +35,6 @@ New language features
 Language changes
 ----------------
 
-  * Unsigned `BigInt` literal syntax has been removed ([#11105]).
-    Unsigned literals larger than `UInt128` now throw a syntax error.
-
   * Tuple types are now written as `Tuple{A, B}` instead of as `(A, B)`.
     Tuples of bits types are inlined into structs and arrays, like other
     immutable types.
@@ -78,18 +75,21 @@ Language changes
   * `[x,y]` constructs a vector of `x` and `y` instead of concatenating them
     ([#3737], [#2488], [#8599]).
 
+  * Unsigned `BigInt` literal syntax has been removed ([#11105]).
+    Unsigned literals larger than `UInt128` now throw a syntax error.
+
   * `error(::Exception)` and `error(::Type{Exception})` have been deprecated
      in favor of using an explicit `throw` ([#9690]).
 
   * `Uint` etcetera are renamed to `UInt` ([#8905]).
 
   * `String` is renamed to `AbstractString` ([#8872]).
 
-  * `None` is deprecated; use `Union()` instead ([#8423]).
+  * `None` is deprecated; use `Union{}` instead ([#8423]).
 
   * `Nothing` (the type of `nothing`) is renamed to `Void` ([#8423]).
 
-  * Arrays can be constructed with the syntax `Array{T}(m,n)` ([#3214], [#10075])
+  * Arrays can be constructed with the syntax `Array{T}(m,n)` ([#3214], [#10075]).
 
   * `Dict` literal syntax `[a=>b,c=>d]` is replaced by `Dict(a=>b,c=>d)`,
     `{a=>b}` is replaced by `Dict{Any,Any}(a=>b)`, and
@@ -122,6 +122,9 @@ Language changes
   * Unions of types should now be written with curly braces instead of parentheses, i.e.
     `Union{Type1, Type2}` instead of `Union(Type1, Type2)` ([#11432]).
 
+  * The keyword `local` is no longer allowed in global scope. Use `let` instead of
+    `begin` to create a new scope from the top level ([#7234], [#10472]).
+
 Command line option changes
 ---------------------------
 

doc/manual/variables-and-scoping.rst

@@ -284,16 +284,7 @@ block without creating any new bindings:
 
 .. doctest::
 
-    julia> begin
-             local x = 1
-             begin
-               local x = 2
-             end
-             x
-           end
-    ERROR: syntax: local "x" declared twice
-
-    julia> begin
+    julia> let
              local x = 1
              let
                local x = 2
@@ -302,9 +293,7 @@ block without creating any new bindings:
            end
     1
 
-The first example is invalid because you cannot declare the same
-variable as local in the same scope twice. The second example is valid
-since the ``let`` introduces a new scope block, so the inner local ``x``
+Since ``let`` introduces a new scope block, the inner local ``x``
 is a different variable than the outer local ``x``.
 
 For Loops and Comprehensions