Fix a failing test.
authorIavor S. Diatchki <diatchki@galois.com>
Fri, 4 Oct 2013 00:39:11 +0000 (17:39 -0700)
committerIavor S. Diatchki <diatchki@galois.com>
Fri, 4 Oct 2013 00:39:11 +0000 (17:39 -0700)
GHC.TypeLits does not export `Sing` anymore, so we just define it
locally.

testsuite/tests/indexed-types/should_fail/T7786.hs

index 59c5fec..72cf061 100644 (file)
@@ -4,8 +4,8 @@
              FlexibleContexts, ScopedTypeVariables #-}
 module T7786 where
 
-
-import GHC.TypeLits
+import GHC.TypeLits(Symbol,Nat)
+data family Sing (a :: k)
 
 data Inventory a = Empty | More (Inventory a) a