Commit 8f2d1112 authored by pcapriotti's avatar pcapriotti
Browse files

Add testcase for #6011.

parent 125a20ff
{-# LANGUAGE DataKinds, FlexibleInstances, ScopedTypeVariables, TypeFamilies #-}
module T6011 where
data family GenMod :: Modulus * -> * -> *
type Mod n = GenMod (FiniteRing n) Integer
data Modulus n = FiniteRing n
data instance GenMod (FiniteRing n) Integer = Mod Integer Integer
......@@ -376,4 +376,5 @@ test('T3108', normal, compile, [''])
test('T5792',normal,run_command,
['$MAKE -s --no-print-directory T5792'])
test('PolytypeDecomp', normal, compile, [''])
\ No newline at end of file
test('PolytypeDecomp', normal, compile, [''])
test('T6011', normal, compile, [''])
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