purescript-free icon indicating copy to clipboard operation
purescript-free copied to clipboard

Add role annotation to `Free`

Open jterbraak opened this issue 2 years ago • 1 comments

data Free f a = Free (FreeView f Val Val) (CatList (ExpF f))

a is never used in the implementation of Free so it gets inferred as phantom which causes problems when using coerce.

jterbraak avatar Nov 02 '23 14:11 jterbraak

Ah, right. This should be representational instead.

thomashoneyman avatar Nov 02 '23 14:11 thomashoneyman