path: root/testsuite/tests/typecheck/should_compile/tc017.hs

module ShouldSucceed where

v | True = v+1
  | False = v