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

Test Trac #8557

parent 88d06d91
{-# LANGUAGE TypeFamilies, DataKinds, PolyKinds #-}
module T8557 where
data family Sing (a :: k)
data instance Sing (a :: [k]) = SNil
x :: Sing '[]
x = SNil
......@@ -86,3 +86,4 @@ test('T2740', normal, ghci_script, ['T2740.script'])
test('getargs', normal, ghci_script, ['getargs.script'])
test('T7386', normal, ghci_script, ['T7386.script'])
test('T8557', normal, ghci_script, ['T8557.script'])
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