Commit 15bb7799 authored by simonpj's avatar simonpj
Browse files

Test for empty type indices (Trac #2888)

parent ebccce19
{-# LANGUAGE TypeFamilies #-}
-- Test for no type indices
module T2888 where
class C w where
data D:: * -> *
Type family constructor `D' must have at least one type index parameter
In the class declaration for `C'
......@@ -47,3 +47,4 @@ test('T2157', normal, compile_fail, [''])
test('T2203a', normal, compile_fail, [''])
test('T2627b', normal, compile_fail, [''])
test('T2693', normal, compile_fail, [''])
test('T2888', normal, compile_fail, [''])
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