Embrace the PartialTypeSignatures

1 files changed, 4 insertions, 4 deletions

diff --git a/src/CHAD.hs b/src/CHAD.hs
index d232fee..4c6cb0b 100644
--- a/src/CHAD.hs
+++ b/src/CHAD.hs
@@ -11,13 +11,13 @@
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE EmptyCase #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
-{-# LANGUAGE PartialTypeSignatures #-}
 {-# LANGUAGE UndecidableInstances #-}
 
 -- I want to bring various type variables in scope using type annotations in
 -- patterns, but I don't want to have to mention all the other type parameters
 -- of the types in question as well then. Partial type signatures (with '_') are
 -- useful here.
+{-# LANGUAGE PartialTypeSignatures #-}
 {-# OPTIONS -Wno-partial-type-signatures #-}
 module CHAD (
   drev,
@@ -66,7 +66,7 @@ sinkWithBindings (BPush b _) = WSink .> sinkWithBindings b
 
 bconcat :: forall f env binds1 binds2. Bindings f env binds1 -> Bindings f (Append binds1 env) binds2 -> Bindings f env (Append binds2 binds1)
 bconcat b1 BTop = b1
-bconcat b1 (BPush (b2 :: Bindings f (Append binds1 env) binds2C) (t, x))
+bconcat b1 (BPush (b2 :: Bindings _ (Append binds1 env) binds2C) (t, x))
   | Refl <- lemAppendAssoc @binds2C @binds1 @env
   = BPush (bconcat b1 b2) (t, x)
 
@@ -397,9 +397,9 @@ rebaseRetPair b1 b2 (RetPair p sub d)
 
 retConcat :: forall env0 sto list. SList (Ret env0 sto) list -> Rets env0 sto (D1E env0) list
 retConcat SNil = Rets BTop SNil
-retConcat (SCons (Ret (b :: Bindings Ex (D1E env0) shbinds) p sub d) list)
+retConcat (SCons (Ret (b :: Bindings _ _ shbinds) p sub d) list)
   | Rets binds1 pairs1 <- retConcat list
-  , Rets (binds :: Bindings Ex (Append shbinds (D1E env0)) shbinds2) pairs <- weakenRets (sinkWithBindings b) (Rets binds1 pairs1)
+  , Rets (binds :: Bindings _ _ shbinds2) pairs <- weakenRets (sinkWithBindings b) (Rets binds1 pairs1)
   , Refl <- lemAppendAssoc @shbinds2 @shbinds @(D1E env0)
   = Rets (bconcat b binds)
          (SCons (RetPair (weakenExpr (sinkWithBindings binds) p)