Delete old namespace references

parser-typechecker/src/Unison/FileParser.hs

@@ -184,11 +184,6 @@ checkForDuplicateTermsAndConstructors uf = do
 -- Or it is a binding like:
 --   foo : Nat -> Nat
 --   foo x = x + 42
--- Or it is a namespace like:
---   namespace Woot where
---     x = 42
---     y = 17
--- which parses as [(Woot.x, 42), (Woot.y, 17)]
 
 data Stanza v term
   = WatchBinding UF.WatchKind Ann ((Ann, v), term)

parser-typechecker/src/Unison/PrintError.hs

@@ -1410,11 +1410,9 @@ prettyParseError s = \case
               Code
               " + 1",
           "\n  - An `ability` declaration, like "
-            <> style Code "ability Foo where ...",
+            <> style Code "unique|structural ability Foo where ...",
           "\n  - A `type` declaration, like "
             <> style Code "structural type Optional a = None | Some a",
-          "\n  - A `namespace` declaration, like "
-            <> style Code "namespace Seq where ...",
           "\n"
         ]
       where

unison-src/transcripts/error-messages.output.md

@@ -242,9 +242,8 @@ a ! b = 1
                       a : Nat
                       a = 42
     - A watch expression, like > a + 1
-    - An `ability` declaration, like ability Foo where ...
+    - An `ability` declaration, like unique|structural ability Foo where ...
     - A `type` declaration, like structural type Optional a = None | Some a
-    - A `namespace` declaration, like namespace Seq where ...
 
 
 ```

unison-src/transcripts/errors/unison-hide-all.output.md

@@ -26,8 +26,7 @@ The transcript failed due to an error in the stanza above. The error is:
                       g : Nat
                       g = 42
     - A watch expression, like > g + 1
-    - An `ability` declaration, like ability Foo where ...
+    - An `ability` declaration, like unique|structural ability Foo where ...
     - A `type` declaration, like structural type Optional a = None | Some a
-    - A `namespace` declaration, like namespace Seq where ...
 
 

unison-src/transcripts/errors/unison-hide.output.md

@@ -26,8 +26,7 @@ The transcript failed due to an error in the stanza above. The error is:
                       g : Nat
                       g = 42
     - A watch expression, like > g + 1
-    - An `ability` declaration, like ability Foo where ...
+    - An `ability` declaration, like unique|structural ability Foo where ...
     - A `type` declaration, like structural type Optional a = None | Some a
-    - A `namespace` declaration, like namespace Seq where ...