Fix doctests

fizruk · Jun 18, 2024 · 5e5f2f2 · 5e5f2f2
1 parent b839b8f
commit 5e5f2f2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/haskell/lambda-pi/src/Language/LambdaPi/Impl/Foil.hs b/haskell/lambda-pi/src/Language/LambdaPi/Impl/Foil.hs
@@ -50,7 +50,7 @@ import           Unsafe.Coerce                   (unsafeCoerce)
 -- $setup
 -- >>> :set -XOverloadedStrings
 -- >>> :set -XDataKinds
--- import Control.Monad.Foil
+-- >>> import Control.Monad.Foil
 
 -- | Type of scope-safe \(\lambda\Pi\)-terms with pairs.
 data Expr n where

diff --git a/haskell/lambda-pi/src/Language/LambdaPi/Impl/FreeFoil.hs b/haskell/lambda-pi/src/Language/LambdaPi/Impl/FreeFoil.hs
@@ -39,6 +39,7 @@ import           System.Exit                     (exitFailure)
 
 -- $setup
 -- >>> import qualified Control.Monad.Foil as Foil
+-- >>> import Control.Monad.Free.Foil
 -- >>> :set -XOverloadedStrings
 -- >>> :set -XDataKinds