avoid needing StarIsType extension

Got a deprecation warning suggesting this change. Data.Kind
is available since base-4.9.0.0 and git-annex depends on a newer base.
This commit is contained in:
Joey Hess 2022-06-28 15:17:41 -04:00
parent f7c7a5ca7e
commit 4174ee33a4
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -45,6 +45,7 @@ import qualified Data.Text as T
import qualified Data.Map as M
import Data.Char
import Data.Ord
import Data.Kind
import qualified Text.Hamlet as Hamlet
data RepositoryPath = RepositoryPath Text
@ -54,7 +55,7 @@ data RepositoryPath = RepositoryPath Text
-
- Validates that the path entered is not empty, and is a safe value
- to use as a repository. -}
repositoryPathField :: forall (m :: * -> *). (MonadIO m, HandlerSite m ~ WebApp) => Bool -> Field m Text
repositoryPathField :: forall (m :: Type -> Type). (MonadIO m, HandlerSite m ~ WebApp) => Bool -> Field m Text
repositoryPathField autofocus = Field
{ fieldParse = \l _ -> parse l
, fieldEnctype = UrlEncoded