testsuite/tests/deSugar/should_compile/T13870.hs


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

-- !!! T13870 -- missing-fields warnings for recprd-construction

module ShouldCompile where

import Data.Functor.Identity

test1 :: Maybe Int
test1 = Just{}

test2 :: Maybe Int
test2 = Nothing{}

test3 :: Identity Int
test3 = Identity{}