From b6c1d3a9d0651aa25ea5f03d514a214a3347f7a4 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 5 Apr 2025 18:26:31 +0200 Subject: Split product lets before chad --- src/AST/Bindings.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/AST/Bindings.hs') diff --git a/src/AST/Bindings.hs b/src/AST/Bindings.hs index 2e63b42..3d99afe 100644 --- a/src/AST/Bindings.hs +++ b/src/AST/Bindings.hs @@ -45,7 +45,7 @@ weakenOver :: SList STy ts -> env :> env' -> Append ts env :> Append ts env' weakenOver SNil w = w weakenOver (SCons _ ts) w = WCopy (weakenOver ts w) -sinkWithBindings :: Bindings f env binds -> env' :> Append binds env' +sinkWithBindings :: forall env' env binds f. Bindings f env binds -> env' :> Append binds env' sinkWithBindings BTop = WId sinkWithBindings (BPush b _) = WSink .> sinkWithBindings b -- cgit v1.2.3-70-g09d2