liquidhaskell-0.8.10.1: tests/pos/T1547.hs
{-@ LIQUID "--reflection" @-}
module T1547 where
{-@ myfst :: () -> {v:((a,b) -> a) | v == fst } @-}
myfst :: () -> (a,b) -> a
myfst _ = fst {-@ LIQUID "--reflection" @-}
module T1547 where
{-@ myfst :: () -> {v:((a,b) -> a) | v == fst } @-}
myfst :: () -> (a,b) -> a
myfst _ = fst