B-Lang-org/bsc
Better error message for -> instead of => in type signature
オープン
#337 opened on 2021/03/19
good first issue
Repository metrics
- Stars
- (1,108 個のスター)
- PR merge metrics
- (平均マージ 17d 1h) (30d で 18 merged PRs)
説明
We've seen all sorts of hilarity including things like:
Type error at: d
Expected type: t
Inferred type: (Prelude.IsModule m mType, Prelude.Bits t st) (ironically one of the easier-to-diagnose variants).
I suspect some sort of up-front check that classes aren't where they aren't supposed to be in a type signature would help here. Add comment