Skip to content

Commit

Permalink
update message again
Browse files Browse the repository at this point in the history
  • Loading branch information
Arya Irani committed Dec 13, 2023
1 parent 5b5d2c6 commit 84ace9d
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 11 deletions.
5 changes: 2 additions & 3 deletions unison-cli/src/Unison/CommandLine/OutputMessages.hs
Original file line number Diff line number Diff line change
Expand Up @@ -2200,9 +2200,8 @@ notifyUser dir = \case
<> operationName
<> "because one of your types,"
<> P.group (prettyName typeName <> ",")
<> "has unnamed constructors.",
"",
P.wrap $ "I currently need each constructor to have a name somewhere under the type name.",
<> "has unnamed constructors."
<> "(I currently need each constructor to have a name somewhere under the type name.)",
"",
P.wrap $
"You can use"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -54,10 +54,8 @@ unique type Foo = Bar Nat Nat
updated...
I couldn't complete the update because one of your types, Foo,
has unnamed constructors.
I currently need each constructor to have a name somewhere
under the type name.
has unnamed constructors. (I currently need each constructor
to have a name somewhere under the type name.)
You can use `view Foo` and
`alias.term <hash> Foo.<ConstructorName>` to give names to
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -56,10 +56,8 @@ Note that the constructor name shown here (implied to be called `Foo.Stray.Bar`)
updated...
I couldn't complete the update because one of your types, Foo,
has unnamed constructors.
I currently need each constructor to have a name somewhere
under the type name.
has unnamed constructors. (I currently need each constructor
to have a name somewhere under the type name.)
You can use `view Foo` and
`alias.term <hash> Foo.<ConstructorName>` to give names to
Expand Down

0 comments on commit 84ace9d

Please sign in to comment.