Killing warnings

Author: kztk-m

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

@@ -36,8 +36,7 @@ import           Prelude         hiding (LT)
 
 -- unembedding tooling
 import qualified Unembedding     as UE
-import           Unembedding     (Dim (..), EnvI (..), TEnv, Variables (..),
-                                  ol0)
+import           Unembedding     (Dim, EnvI (..), TEnv, Variables (..), ol0)
 import           Unembedding.Env
 
 -- Step 1: Identity semantic domain

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

@@ -38,11 +38,10 @@ import           Data.Kind              (Type)
 import           Data.Proxy             (Proxy (Proxy))
 import           Prelude                hiding (LT, id, (.))
 import qualified Unembedding            as UE
-import           Unembedding            (Dim (..), EnvI (..), LiftVariables,
-                                         OfLength (..), Repeat, SNat (..),
-                                         Sig2 (..), TEnv, TermRep (..),
-                                         URep (..), Variables (..), Vec (..),
-                                         Weakenable)
+import           Unembedding            (EnvI (..), LiftVariables, Repeat,
+                                         SNat (..), Sig2 (..), TEnv,
+                                         TermRep (..), URep (..),
+                                         Variables (..), Vec (..), Weakenable)
 import           Unembedding.Env
 
 type Err = Either String

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

@@ -30,13 +30,14 @@ construct corresponds to the left-to-right conversion.
 {-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
 {-# HLINT ignore "Use section" #-}
 {-# LANGUAGE InstanceSigs              #-}
+{-# OPTIONS_GHC -Wno-missing-export-lists #-}
 
 module Unembedding.Examples.Forall where
 import           Data.Kind       (Type)
 import           Data.Proxy      (Proxy (Proxy))
 import qualified Unembedding     as UE
-import           Unembedding     (Dim (..), LiftVariables (..), Variables,
-                                  Weakenable, ol0, ol1)
+import           Unembedding     (LiftVariables (..), Variables, Weakenable,
+                                  ol0, ol1)
 import qualified Unembedding.Env as UE
 
 import           DeFun.Core      (App, type (@@), type (~>))
@@ -119,6 +120,7 @@ instance L (UE.EnvI Ast) where
   gen e = UE.liftFOF (\arg -> Gen (arg . MkP @f)) (\(MkP p) -> e p)
 
 
+
 toAst :: (forall e. L e => e a) -> Ast '[] a
 toAst = UE.runClose
 

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

@@ -32,7 +32,7 @@ import qualified Data.Sequence            as S
 
 -- unembedding tooling
 import qualified Unembedding              as UE
-import           Unembedding              (Dim (..), EnvI (..), LiftVariables,
+import           Unembedding              (EnvI (..), LiftVariables,
                                            Variables (..), Weakenable, ol0, ol1)
 import           Unembedding.Env
 

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

@@ -34,9 +34,9 @@ import qualified Data.Sequence         as S
 
 -- unembedding tooling
 import qualified Unembedding           as UE
-import           Unembedding           (Dim (..), EnvI (..), LiftVariables,
-                                        TEnv, Variables (..), Weakenable, ol0,
-                                        ol1, runOpen)
+import           Unembedding           (EnvI (..), LiftVariables, TEnv,
+                                        Variables (..), Weakenable, ol0, ol1,
+                                        runOpen)
 import           Unembedding.Env
 
 -- Unembedding recipe: