Commit 39428d8e authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

TFs: fixed should_compile/Simple8 & wibbles

parent 411ee0eb
{-# LANGUAGE TypeFamilies, GADTs #-}
module GADT13 where
data family HiThere a :: *
data instance HiThere () where
......
......@@ -5,11 +5,11 @@ module GADT7 where
data Pair p where
Pair :: p~(a,b) => a -> b -> Pair p
-- this works:
-- Pair :: a -> b -> Pair (a,b)
-- Pair :: a -> b -> Pair (a,b)
foo :: a
foo = case Pair () () of
-- this works:
-- case Pair () () : Pair ((), ()) of
-- case Pair () () :: Pair ((), ()) of
Pair x y -> undefined
{-# LANGUAGE TypeFamilies, TypeOperators #-}
{-# LANGUAGE TypeFamilies, TypeOperators, RankNTypes #-}
module HO where
......
......@@ -8,7 +8,7 @@ test('Simple4', normal, compile, [''])
test('Simple5', normal, compile, [''])
test('Simple6', normal, compile, [''])
test('Simple7', normal, compile, [''])
test('Simple8', expect_fail, compile, [''])
test('Simple8', normal, compile, [''])
test('Simple9', normal, compile, [''])
test('Simple10', normal, compile, [''])
test('Simple11', normal, compile, [''])
......@@ -71,7 +71,7 @@ test('GADT9', normal, compile, [''])
test('GADT10', expect_fail, compile, [''])
test('GADT11', normal, compile, [''])
test('GADT12', normal, compile_fail, [''])
test('GADT13', expect_fail, compile, [''])
test('GADT13', normal, compile, [''])
test('GADT14', normal, compile, [''])
test('Class1', normal, compile, [''])
......
Supports Markdown
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