liquidhaskell-0.8.10.7: tests/datacon/pos/AdtPeano2.hs

-- TAG: adt

{-@ LIQUID "--reflection" @-}

module Peano where

data Influx = Silly { goo :: Int }

{-@ test:: n:Int -> m:Int -> { v:() | Silly n == Silly m } -> { n == m } @-}
test :: Int -> Int -> () -> ()
test n m z = ()