Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
ta-ocaml_typerr
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
ta-ocaml_typerr
4y ago
It might help to make the difference more obvious by also showing the parts which unify properly, or introduce alias variables for complex type expressions (for instance "(int * float array) list as 'a") to move away some of