blob: 6cb496464bd37e1def94198f78da87a7fddff388 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE PartialTypeSignatures #-}
module ExtraConstraintsWildcardNotPresent where
show' :: a -> _
show' x = show x
-- With an extra-constraints wildcard present, this would lead to the
-- type Show a => a -> String.
-- This test makes sure that not merely having a partial type
-- signature is enough to generate extra constraints, an
-- extra-constraints wildcard is needed.
|
