liquidhaskell-0.8.10.7: tests/basic/pos/infer00.hs

module Infer00 () where 

import Language.Haskell.Liquid.Prelude 

myId :: Int -> Int 
myId x = x 

prop n = liquidAssertB (n == m) 
  where 
     m = myId n