Prefix unused type variables with an underscore.
authorMichał Sośnicki <sosnicki.michal@gmail.com>
Sun, 6 Dec 2015 23:41:55 +0000 (00:41 +0100)
committerMichał Sośnicki <sosnicki.michal@gmail.com>
Sun, 6 Dec 2015 23:41:55 +0000 (00:41 +0100)
src/Compiler/Hoopl/Block.hs

index de3b4c3..92ee28d 100644 (file)
@@ -58,8 +58,8 @@ data C
 
 -- | Either type indexed by closed/open using type families
 type family IndexedCO ex a b :: *
-type instance IndexedCO C a b = a
-type instance IndexedCO O a b = b
+type instance IndexedCO C a _b = a
+type instance IndexedCO O _a b = b
 
 -- | Maybe type indexed by open/closed
 data MaybeO ex t where