Commit 6ea9c2bb authored by Simon Peyton Jones's avatar Simon Peyton Jones

Merge branch 'master' of http://darcs.haskell.org/testsuite

parents f98194b2 d2e2e137
{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
module T5938 where
type family KindFam a
type instance KindFam (a :: *) = Int
type instance KindFam (a :: Bool) = Bool
type instance KindFam (a :: Maybe k) = Char -- doesn't work
......@@ -31,4 +31,5 @@ test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881'])
test('T5716', normal, compile_fail, [''])
test('T5937', normal, compile, [''])
test('T5935', normal, compile, [''])
test('T5938', normal, compile, [''])
test('T5948', normal, compile, [''])
......@@ -21,8 +21,8 @@ Total ticks: 11
1 f
1 m
1 a
1 b
1 m
1 b
1 m
1 a
8 SimplifierDone 8
......
{-# 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, [''])
......@@ -29,11 +29,11 @@ tc141.hs:13:13:
in v
tc141.hs:15:18:
Couldn't match expected type `a1' with actual type `t1'
`a1' is a rigid type variable bound by
the type signature for v :: a1 at tc141.hs:14:19
`t1' is a rigid type variable bound by
the inferred type of g :: t -> t1 -> a at tc141.hs:13:1
Couldn't match expected type `a2' with actual type `t'
`a2' is a rigid type variable bound by
the type signature for v :: a2 at tc141.hs:14:19
`t' is a rigid type variable bound by
the inferred type of g :: a -> t -> a1 at tc141.hs:13:1
In the expression: b
In an equation for `v': v = b
In the expression:
......
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