unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 06:07:21 +03:00
Code Issues Projects Releases Wiki Activity

Update parser-typechecker/src/Unison/PrintError.hs

Browse Source 
Co-authored-by: Paul Chiusano <paul.chiusano@gmail.com>
This commit is contained in:
Rúnar 2023-07-31 12:13:22 -04:00 committed by GitHub
parent 3ebf9f137e
commit 01ad6fc9b4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
parser-typechecker/src/Unison/PrintError.hs
View File

@ -611,19 +611,16 @@ renderTypeError e env src curPath = case e of
(annotatedAsErrorSite src loc)
UnknownTerm {..}
| Var.typeOf unknownTermV == Var.MissingResult ->
mconcat
[ "The last statement of a block must be an expression, ",
"but this is a definition:\n\n",
Pr.lines [
Pr.wrap "The last element of a block must be an expression, but this is a definition:",
"",
annotatedAsErrorSite src termSite,
"\nI don't know what the result of this block should be.\n",
"Did you forget to add an expression at the end of the block?\n",
case expectedType of
Type.Var' (TypeVar.Existential {}) -> "I don't know what type it should be either."
_ ->
"It should be of type "
<> style Type1 (renderType' env expectedType)
<> "."
Pr.wrap $ "Try adding an expression at the end of the block." <> msg
]
where
msg = case expectedType of
Type.Var' (TypeVar.Existential {}) -> mempty
_ -> Pr.wrap $ "It should be of type " <> Pr.group (style Type1 (renderType' env expectedType) <> ".")
UnknownTerm {..} ->
let (correct, wrongTypes, wrongNames) =
foldr sep id suggestions ([], [], [])