mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 13:30:27 +03:00
0031542faf
This is for consistency with the `cmark` style. Now the blocks we still pretty-print ourselves will match the bulk of them that `cmark` produces.
2.3 KiB
2.3 KiB
Duplicate names in scratch file.
Term and ability constructor collisions should cause a parse error.
structural ability Stream where
send : a -> ()
Stream.send : a -> ()
Stream.send _ = ()
Loading changes detected in scratch.u.
❗️
I found multiple bindings with the name Stream.send:
2 | send : a -> ()
3 |
4 | Stream.send : a -> ()
5 | Stream.send _ = ()
Term and type constructor collisions should cause a parse error.
structural type X = x
X.x : a -> ()
X.x _ = ()
Loading changes detected in scratch.u.
❗️
I found multiple bindings with the name X.x:
1 | structural type X = x
2 |
3 | X.x : a -> ()
4 | X.x _ = ()
Ability and type constructor collisions should cause a parse error.
structural type X = x
structural ability X where
x : ()
Loading changes detected in scratch.u.
I found two types called X:
1 | structural type X = x
2 | structural ability X where
3 | x : ()
Field accessors and terms with the same name should cause a parse error.
structural type X = {x : ()}
X.x.modify = ()
X.x.set = ()
X.x = ()
Loading changes detected in scratch.u.
❗️
I found multiple bindings with the name X.x:
1 | structural type X = {x : ()}
2 | X.x.modify = ()
3 | X.x.set = ()
4 | X.x = ()
I found multiple bindings with the name X.x.modify:
1 | structural type X = {x : ()}
2 | X.x.modify = ()
I found multiple bindings with the name X.x.set:
1 | structural type X = {x : ()}
2 | X.x.modify = ()
3 | X.x.set = ()
Types and terms with the same name are allowed.
structural type X = Z
X = ()
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`:
structural type X
(also named builtin.Unit)
X : ()
scratch/main> add
⍟ I've added these definitions:
structural type X
(also named builtin.Unit)
X : ()
scratch/main> view X
structural type X = Z
X : ()
X = ()