search

unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.65k stars 266 forks source link

missing type-provenance coloring #2851

Open aryairani opened 2 years ago

aryairani commented 2 years ago

image

Here base and shift both have type Int. So why is Nat.mod selected to begin with, instead of Int.mod? The answer is because the second argument has type Nat.

I think it should be highlighted in the same color as Nat, right? Why isn't anything that color?

aryairani commented 6 days ago

Updated example:

rot =
  base = +30
  shift = +1
  mod (base + shift) 26
image

The first arg is formatted better (the whole expression is green), but the second arg still doesn't have formatting to match Nat.