Commit 44629925 authored by Iavor S. Diatchki's avatar Iavor S. Diatchki
Browse files

Fix a failing test.

GHC.TypeLits does not export `Sing` anymore, so we just define it
locally.
parent cd504d85
......@@ -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
......
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