anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-15 01:52:11 +03:00
Code Issues Projects Releases Wiki Activity

[typecheck] Updates to error message copy

Browse Source
This commit is contained in:
Paul Cadman 2022-03-31 09:19:36 +01:00
parent a030b97e8f
commit d297322b7d
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/MiniJuvix/Syntax/MicroJuvix/Error/Pretty/Base.hs
View File

@ -52,10 +52,9 @@ instance PrettyError WrongType where
<> line <> indent' (ppCode (e ^. wrongTypeExpectedType)) <> line <> indent' (ppCode (e ^. wrongTypeExpectedType))
instance PrettyError ExpectedFunctionType where instance PrettyError ExpectedFunctionType where
ppError e = "Type error." ppError e = "Type error in the expression:"
<> line <> "The expression:"
<> line <> indent' (ppCode (e ^. expectedFunctionTypeExpression)) <> line <> indent' (ppCode (e ^. expectedFunctionTypeExpression))
<> line <> "is expected to be a function application but" <+> ppCode (e ^. expectedFunctionTypeApp) <+> "has type:" <> line <> "the expression" <+> ppCode (e ^. expectedFunctionTypeApp) <+> "is expected to have a function type but has type:"
<> line <> indent' (ppCode (e ^. expectedFunctionTypeType)) <> line <> indent' (ppCode (e ^. expectedFunctionTypeType))
instance PrettyError TooManyPatterns where instance PrettyError TooManyPatterns where