You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems that in some cases compiler does not recognize that "(foo" :: Symbol) ~ ("foo" :: Symbol) in presence of row types and their magic constraints.
Description
It seems that in some cases compiler does not recognize that
"(foo" :: Symbol) ~ ("foo" :: Symbol)
in presence of row types and their magic constraints.To Reproduce
Consider the code
These functions do not typecheck:
Cons "foo"
;Proxy "foo"
Cons foo
;Proxy "foo"
Cons "foo"
;Proxy foo
Type error
Type error
Type error
And this one typechecks:
Cons foo
;Proxy foo
Expected behavior
Either all the examples cases typecheck well, or none of them do.
Additional context
Note, that if any of the functions was implemented, it would work well with
foo ~ "foo"
. For instance this typechecks well:PureScript version
0.15.8
The text was updated successfully, but these errors were encountered: