Merge pull request #5403 from unisonweb/fix-5402

parser-typechecker/src/Unison/Syntax/FileParser.hs

@@ -54,7 +54,10 @@ file = do
   maybeNamespace :: Maybe Name.Name <-
     optional (reserved "namespace") >>= \case
       Nothing -> pure Nothing
-      Just _ -> Just . L.payload <$> (importWordyId <|> importSymbolyId)
+      Just _ -> do
+        namespace <- importWordyId <|> importSymbolyId
+        void (optional semi)
+        pure (Just (L.payload namespace))
   let maybeNamespaceVar = Name.toVar <$> maybeNamespace
 
   -- The file may optionally contain top-level imports,

unison-src/transcripts/fix-5402.md

@@ -0,0 +1,13 @@
+`namespace` + top level `use` should work. Previously, they didn't.
+
+```unison
+namespace foo
+use bar baz
+x = 10
+```
+
+```unison
+use bar baz
+namespace foo
+x = 10
+```

unison-src/transcripts/fix-5402.output.md

@@ -0,0 +1,40 @@
+`namespace` + top level `use` should work. Previously, they didn't.
+
+``` unison
+namespace foo
+use bar baz
+x = 10
+```
+
+``` ucm
+
+  Loading changes detected in scratch.u.
+
+  I found and typechecked these definitions in scratch.u. If you
+  do an `add` or `update`, here's how your codebase would
+  change:
+  
+    ⍟ These new definitions are ok to `add`:
+    
+      foo.x : ##Nat
+
+```
+``` unison
+use bar baz
+namespace foo
+x = 10
+```
+
+``` ucm
+
+  Loading changes detected in scratch.u.
+
+  I found and typechecked these definitions in scratch.u. If you
+  do an `add` or `update`, here's how your codebase would
+  change:
+  
+    ⍟ These new definitions are ok to `add`:
+    
+      foo.x : ##Nat
+
+```