liquidhaskell-0.4.0.0: tests/neg/datacon-eq.hs
module Blank (foo) where
-- This is a blank file.
data G = A | B
{-@ foo :: {v:Int | true} -> {v:G | v = B} @-}
foo :: Int -> G
foo _ = A
module Blank (foo) where
-- This is a blank file.
data G = A | B
{-@ foo :: {v:Int | true} -> {v:G | v = B} @-}
foo :: Int -> G
foo _ = A