Add common instances to Interpreting.Dup.
[haskell/symantic.git] / symantic / Language / Symantic / Typing / Unify.hs
index ec2129c820ae803633a86db4edac33b75b7e2633..c0709df4d36902bde818bebe67b15a153b770e8c 100644 (file)
@@ -146,7 +146,7 @@ spineTy ::
  (TypeT src vs, [TypeT src vs])
 spineTy typ = go [] typ
        where
-       go :: forall x. [TypeT src vs] -> Type src vs x -> (TypeT src vs, [TypeT src vs])
+       go :: forall kx (x::kx). [TypeT src vs] -> Type src vs x -> (TypeT src vs, [TypeT src vs])
        go ctx (TyApp _ (TyApp _ (TyConst _ _ c) _q) t)
         | Just HRefl <- proj_ConstKi @(K (#>)) @(#>) c
         = go ctx t -- NOTE: skip the constraint @q@.