Skip to content

Error message not aligned in ability mismatch reportΒ #5948

@pchiusano

Description

@pchiusano

Anytime we're showing the user two types, they should start at the same column, on two separate lines. Otherwise it's very hard to read, for instance:

Image

I don't have a minimal repro but it should be pretty easy to track down where this is being done.

A better message would be:

 I found an ability mismatch when checking the expression in red
  
     92 |         |> Remote.boundedParMap 8 continue |> discard
  
 When trying to match 

    [(UID, Unit ->{Process e3803} Unit)] ->{Remote} [Unit] 
      with 
    [(UID, 𝕩5017 ->{𝕖5018, 𝕖5019, Stream a5022} 𝕩5017)] ->{𝕖5029} b5032 

 I could not make these compatible: 
    
    {𝕖5018, 𝕖5019, Stream a5022} 
    {Process e3803}

Metadata

Metadata

Assignees

No one assigned

    Labels

    error-messageRequest for improved error message

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions