liquidhaskell-0.4.0.0: tests/pos/profcrasher.hs

module Test0 () where

import Language.Haskell.Liquid.Prelude

x :: Int
x = 4