Commit 0f75a3f0 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #10041

parent dda65282
{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
{-# LANGUAGE TypeOperators, GADTs, InstanceSigs #-}
module T10041 where
data family Sing (a :: k)
data instance Sing (xs :: [k]) where
SNil :: Sing '[]
class SingI (a :: ĸ) where
\ No newline at end of file
......@@ -114,3 +114,5 @@ test('T9838', normal, multimod_compile, ['T9838.hs','-v0'])
test('T9574', normal, compile_fail, [''])
test('T9833', normal, compile, [''])
test('T7908', normal, compile, [''])
test('T10041', 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