ghc/tests/typecheck/should_compile/tc108.hs

   1 -- !!! Scopes in kind checking
   2
   3 -- Exposes a bizarre bug in 4.08.1
   4 --    TestSh.hs:6:
   5 --      `Shape' is not in scope
   6 --      When checking kinds in `HasConfigValue Shape nodeTypeParms'
   7 --      In the class declaration for `HasShape'
   8
   9 module ShouldCompile where
  10
  11 data Shape value = Box | Circle
  12
  13 class HasConfigValue Shape nodeTypeParms => HasShape nodeTypeParms where {}
  14
  15 class HasConfigValue option configuration where
  16    ($$$) :: option value -> configuration value -> configuration value
  17
  18