Commit ae2c5344 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Merge branch 'master' of

parents 65f10e42 8f2d1112
{-# 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
......@@ -377,3 +377,4 @@ test('T5792',normal,run_command,
['$MAKE -s --no-print-directory T5792'])
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