Commit 1055776e authored by simonpj's avatar simonpj
Browse files

NonLinearSigErr is actually OK

parent 376902ee
{-# LANGUAGE TypeFamilies #-}
-- This is actually perfectly ok!
module NonLinearSigErr where
type family E a b
Repeat variable occurrence may not have a kind signature: `a'
......@@ -28,7 +28,7 @@ test('TyFamArity2', normal, compile_fail, [''])
test('TyFamUndec', normal, compile_fail, [''])
test('NotRelaxedExamples', normal, compile_fail, [''])
test('NonLinearSigErr', normal, compile_fail, [''])
test('NonLinearSigErr', normal, compile, [''])
test('GADTwrong1', normal, compile_fail, [''])
Supports Markdown
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