Commit 9b44c3dc authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add tc206; edit a couple of others

parent 146d22fc
......@@ -4,10 +4,10 @@ module ShouldSucceed3 where
data T a where
C :: (T b) -> b -> T Int
C :: T b -> b -> T Int
D :: T Bool
-- Tests scoped annotations
foo :: T a -> a -> a
foo (C (x::b)) (z::a) = z + 1
foo (C y (x::b)) (z::a) = z + 1
......@@ -215,6 +215,7 @@ test('tc202', normal, compile, [''])
test('tc203', normal, compile, [''])
test('tc204', normal, compile, [''])
test('tc205', normal, compile, [''])
test('tc206', normal, compile, [''])
# Omitting temporarily
# test('syn-perf', normal, compile, ['-fcontext-stack=30'])
......
{-# OPTIONS -fglasgow-exts #-}
-- This one showed up a bug in pre-subsumption
module ShouldCompile where
class Data a where {}
type GenericQ r = forall a. Data a => a -> r
everything :: (r -> r -> r) -> GenericQ r
everything k f = error "urk"
-- | Get a list of all entities that meet a predicate
listify :: (r -> Bool) -> GenericQ [r]
listify p = everything (++)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment