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 84ace9d commit a62aece
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 8 deletions.
4 changes: 2 additions & 2 deletions unison-cli/src/Unison/CommandLine/OutputMessages.hs
Original file line number Diff line number Diff line change
Expand Up @@ -2198,8 +2198,8 @@ notifyUser dir = \case
[ P.wrap $
"I couldn't complete the"
<> operationName
<> "because one of your types,"
<> P.group (prettyName typeName <> ",")
<> "because the type"
<> prettyName typeName
<> "has unnamed constructors."
<> "(I currently need each constructor to have a name somewhere under the type name.)",
"",
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -53,9 +53,9 @@ unique type Foo = Bar Nat Nat
Okay, I'm searching the branch for code that needs to be
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.)
I couldn't complete the update because the type Foo 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 @@ -55,9 +55,9 @@ Note that the constructor name shown here (implied to be called `Foo.Stray.Bar`)
Okay, I'm searching the branch for code that needs to be
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.)
I couldn't complete the update because the type Foo 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 a62aece

Please sign in to comment.