haskell-tools-refactor-1.0.1.1: examples/Type/Wildcard.hs
{-# OPTIONS_GHC -fno-warn-partial-type-signatures #-}
{-# LANGUAGE PartialTypeSignatures #-}
module Type.Wildcard where
not' :: Bool -> _
not' x = not x
-- Inferred: Bool -> Bool
{-# OPTIONS_GHC -fno-warn-partial-type-signatures #-}
{-# LANGUAGE PartialTypeSignatures #-}
module Type.Wildcard where
not' :: Bool -> _
not' x = not x
-- Inferred: Bool -> Bool