hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / tc130.hs
1 {-# LANGUAGE ImplicitParams #-}
2
3 -- !!! Desugaring of record updates
4 -- Showed up a bug in the newtype-squashing machinery
5
6
7 module ShouldCompile where
8
9 data R = R {field :: Int}
10
11 test:: (?param :: R) => a -> Int
12 test x = field (?param {field = 42})
13 -- The type of the record to be updated is
14 -- {?param :: R} as well as plain R
15 -- which confused the compiler
16