Prefix unused type variables with an underscore.
[packages/hoopl.git] / 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