Added kind signatures in boot files

dhall-lang · Jun 6, 2024 · c6d09e3 · c6d09e3
1 parent 2ac0404
commit c6d09e3
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/dhall/src/Dhall/Syntax/Chunks.hs-boot b/dhall/src/Dhall/Syntax/Chunks.hs-boot
@@ -1,3 +1,8 @@
+{-# LANGUAGE StandaloneKindSignatures #-}
+
 module Dhall.Syntax.Chunks where
 
+import Data.Kind (Type)
+
+type Chunks :: Type -> Type -> Type
 data Chunks s a
diff --git a/dhall/src/Dhall/Syntax/Types.hs-boot b/dhall/src/Dhall/Syntax/Types.hs-boot
@@ -1,9 +1,14 @@
+{-# LANGUAGE StandaloneKindSignatures #-}
+
 module Dhall.Syntax.Types where
 
+import Data.Kind (Type)
+
 data DhallDouble
 
 data PreferAnnotation
 
+type FieldSelection :: Type -> Type
 data FieldSelection s
 
 data WithComponent