Lysxia/first-class-families
1
1
Fork 0
mirror of https://github.com/Lysxia/first-class-families.git synced 2024-07-14 23:10:43 +03:00
Code Issues Projects Releases Wiki Activity

Remove remaining TypeInType in doctests

Browse Source
This commit is contained in:
Li-yao Xia 2024-04-02 17:56:37 +02:00
parent bbb9d87d16
commit 1b4e1f559b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Fcf/Class/Functor.hs
View File

@ -13,7 +13,7 @@ module Fcf.Class.Functor
import Fcf.Core (Exp, Eval)
-- $setup
-- >>> :set -XUndecidableInstances -XTypeInType -XGADTs
-- >>> :set -XUndecidableInstances -XDataKinds -XPolyKinds -XGADTs
-- >>> import Fcf.Core (Eval, Exp)
-- >>> import Fcf.Data.Nat
-- >>> import qualified GHC.TypeLits as TL