You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the bug
Type errors coming from the incremental compiler are much more verbose and unclear than those coming from the non-incremental compiler.
To Reproduce
Steps to reproduce the behavior:
Starting from following code snippet with a type error:
Compiled with morphir-elm make -f , this produces a fairly nice error:
Error: [
[
"errors_in_source_file",
"ExampleModule",
[
{
"errorMessage": "Type error in value 'typeErrorTest': Could not unify 'Morphir.SDK:String:string' with 'Morphir.SDK:Basics:bool' because the references do not match",
"sourceLocations": []
}
]
]
]
Describe the bug
Type errors coming from the incremental compiler are much more verbose and unclear than those coming from the non-incremental compiler.
To Reproduce
Steps to reproduce the behavior:
Starting from following code snippet with a type error:
Compiled with
morphir-elm make -f
, this produces a fairly nice error:Whereas comping with
morphir-elm make
, you get:Expected behavior
A more concise (/readable, /pretty-printed) error should be given in both instances.
Desktop (please complete the following information):
The text was updated successfully, but these errors were encountered: