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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# LANGUAGE PartialTypeSignatures #-}

module T11192 where

fails :: a
fails =
   let go :: _
       go 0 a = a
   in go (0 :: Int) undefined

succeeds :: a
succeeds =
   let go :: _
       go _ a = a
   in go (0 :: Int) undefined