Skip to content

Commit 5ef2a3f

Browse files
committed
Re-run transcripts
1 parent 58b0db0 commit 5ef2a3f

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

unison-src/transcripts/idempotent/duplicate-names.md

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,6 @@ Stream.send _ = ()
2323
2 | send : a -> ()
2424
3 |
2525
4 | Stream.send : a -> ()
26-
5 | Stream.send _ = ()
2726
```
2827

2928
Term and type constructor collisions should cause a parse error.
@@ -44,7 +43,6 @@ X.x _ = ()
4443
1 | structural type X = x
4544
2 |
4645
3 | X.x : a -> ()
47-
4 | X.x _ = ()
4846
```
4947

5048
Ability and type constructor collisions should cause a parse error.

0 commit comments

Comments
 (0)