liquidhaskell-0.9.0.2.1: tests/pos/Profcrasher.hs

module Profcrasher () where

import Language.Haskell.Liquid.Prelude

x :: Int
x = 4