Polymorphic literals lead to strange error messages #1

New issue

Closed

opened 2026-06-15 12:08:57 +02:00 by st · 0 comments

st commented

2026-06-15 12:08:57 +02:00

Owner

error: cannot unify string with ?
 --> <input>:1:1
  |
1 | greet(67)
  | ^
> greet
: fn(string) -> string
(No instance Show for fn(string) -> string)
>

``` error: cannot unify string with ? --> <input>:1:1 | 1 | greet(67) | ^ > greet : fn(string) -> string (No instance Show for fn(string) -> string) > ```