Skip to content

head.hackage: winery fails core lint (Kinds don't match in type application)

*** Core Lint errors : in result of CorePrep ***
<no location info>: warning:
    Kinds don't match in type application:
    Type variable: a_11 :: *
    Arg type: Typeable (Term -> Vector Int) :: Constraint
    Linted Arg kind: Constraint
    In the RHS of $dTypeable_rZgX :: Typeable (Term -> Vector Int)
    In a case alternative: (Fingerprint unbx_s10uJ :: Word64#,
                                        unbx1_s10uK :: Word64#)
    Substitution: <InScope = {}
                   IdSubst   = []
                   TvSubst   = []
                   CvSubst   = []>

Example pipeline: https://gitlab.haskell.org/ghc/head.hackage/-/pipelines/60402

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information