97413c71774dad40217fa05e22c63c2accaac28a
[ghc.git] / testsuite / tests / typecheck / should_compile / tc190.hs
1 {-# LANGUAGE CPP, KindSignatures #-}
2
3 -- The record update triggered a kind error in GHC 6.2
4
5 module Foo where
6
7 data HT (ref :: * -> *)
8 = HT { kcount :: Int }
9
10 set_kcount :: Int -> HT s -> HT s
11 set_kcount kc ht = ht{kcount=kc}