testsuite/tests/partial-sigs/should_compile/SomethingShowable.hs


1
2
3
4
5
6

{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
module SomethingShowable where

somethingShowable :: Show _x => _x -> _
somethingShowable x = show (not x)
-- Inferred type: Bool -> String