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