Commit 6b6381fe authored by simonpj's avatar simonpj
Browse files

New GADT desugaring test

parent 9104c51e
......@@ -16,6 +16,7 @@ test('gadt10', normal, compile_fail, [''])
test('gadt11', normal, compile_fail, [''])
test('gadt13', normal, compile_fail, [''])
test('gadt14', normal, compile, [''])
test('gadt15', normal, compile, [''])
test('red-black', normal, compile, [''])
test('type-rep', skip_if_fast, compile_and_run, [''])
{-# OPTIONS -fglasgow-exts #-}
-- Triggered a desugaring bug in earlier verison
module Shouldcompile where
data T a where
T1 :: Int -> T Int
f :: (T a, a) -> Int
f (T1 x, z) = z
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