eta (for GHC 9.0)

Author: kztk-m

ebu-examples/src/Unembedding/Examples/Forall.hs

@@ -161,7 +161,7 @@ instance L (UE.EnvI Ast) where
 
 
 toAst :: (forall e. L e => e a) -> Ast '[] a
-toAst = UE.runClose
+toAst h = UE.runClose h
 
 data S a where
   SO :: Int -> S O

ebu/tests/UnembeddingSpec.hs

@@ -74,10 +74,10 @@ instance HSTLCS (EnvI STLC) (EnvI STLCS) where
 
 
 fromHOAS :: (forall f. HSTLC f => f a) -> STLC '[] a
-fromHOAS = runClose
+fromHOAS h = runClose h
 
 fromHOASS :: (forall f s. HSTLCS f s => s a) -> STLCS '[] a
-fromHOASS = runClose'
+fromHOASS h = runClose' h
 
 
 sHOAS :: HSTLC f => f ((a -> b -> c) -> (a -> b) -> a -> c)