Skip to content

Commit

Permalink
Remove old references to namespace blocks
Browse files Browse the repository at this point in the history
Co-authored-by: Karthik Ravikanti <karthik.ravikanti@gmail.com>
  • Loading branch information
Alberto Flores and plumenator committed May 24, 2022
1 parent 51429e4 commit 77a8f02
Show file tree
Hide file tree
Showing 5 changed files with 0 additions and 10 deletions.
5 changes: 0 additions & 5 deletions parser-typechecker/src/Unison/FileParser.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down
2 changes: 0 additions & 2 deletions parser-typechecker/src/Unison/PrintError.hs
Original file line number Diff line number Diff line change
Expand Up @@ -1413,8 +1413,6 @@ prettyParseError s = \case
<> style Code "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
Expand Down
1 change: 0 additions & 1 deletion unison-src/transcripts/error-messages.output.md
Original file line number Diff line number Diff line change
Expand Up @@ -244,7 +244,6 @@ a ! b = 1
- A watch expression, like > a + 1
- An `ability` declaration, like ability Foo where ...
- A `type` declaration, like structural type Optional a = None | Some a
- A `namespace` declaration, like namespace Seq where ...
```
1 change: 0 additions & 1 deletion unison-src/transcripts/errors/unison-hide-all.output.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,5 @@ The transcript failed due to an error in the stanza above. The error is:
- A watch expression, like > g + 1
- An `ability` declaration, like ability Foo where ...
- A `type` declaration, like structural type Optional a = None | Some a
- A `namespace` declaration, like namespace Seq where ...


1 change: 0 additions & 1 deletion unison-src/transcripts/errors/unison-hide.output.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,5 @@ The transcript failed due to an error in the stanza above. The error is:
- A watch expression, like > g + 1
- An `ability` declaration, like ability Foo where ...
- A `type` declaration, like structural type Optional a = None | Some a
- A `namespace` declaration, like namespace Seq where ...


0 comments on commit 77a8f02

Please sign in to comment.