Commit 6d106a42 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add a higher-kinded test

parent d529fb17
......@@ -211,6 +211,7 @@ test('tc198', normal, compile, [''])
test('tc199', expect_fail_if_compiler_type('ghc'), compile, [''])
test('tc200', normal, compile, [''])
test('tc201', normal, compile, [''])
test('tc202', normal, compile, [''])
# Omitting temporarily
# test('syn-perf', normal, compile, ['-fcontext-stack=30'])
......
-- Tests that subFunTys works when the arugment is a type of form (a ty1 ty2)
module ShouldCompile where
newtype StreamArrow a b c = Str (a [b] [c])
foo = Str $ (\x -> x)
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