diff options
Diffstat (limited to 'ghc/compiler/tests/typecheck/should_succeed/tc048.hs')
| -rw-r--r-- | ghc/compiler/tests/typecheck/should_succeed/tc048.hs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc048.hs b/ghc/compiler/tests/typecheck/should_succeed/tc048.hs new file mode 100644 index 0000000000..eea6f10e79 --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_succeed/tc048.hs @@ -0,0 +1,21 @@ +module ShouldSucceed where + +data OL a = MkOL [a] +data FG a b = MkFG (OL (a,b)) +data AFE n a b = MkAFE (OL (n,(FG a b))) + +--ranOAL :: OL (a,v) -> [a] +ranOAL :: OL (a,v) -> [v] +ranOAL (MkOL xs) = mAp sNd xs + +mAp f [] = [] +mAp f (x:xs) = (f x) : mAp f xs + +sNd (f,s) = s + +ranAFE :: AFE n a b -> [FG a b] -- ? +ranAFE (MkAFE nfs) = ranOAL nfs + + + + |