liquidhaskell-0.9.0.2.1: tests/pos/ResolveBLib.hs

module ResolveBLib where

{-@ measure getFoo :: Foo -> Int
      getFoo (Foo x) = x
  @-}

data Foo = Foo Int

data Bar = A | B | C