Commit 4605366b authored by Finn Teegen's avatar Finn Teegen
Browse files

Fix compiler warning

parent d234820a
......@@ -326,7 +326,7 @@ bindKind m tcEnv' clsEnv tcEnv (DataDecl _ tc tvs cs _) = do
tvs' = tvs ++ evs
PredType ps ty = expandConstrType m tcEnv' clsEnv qtc tvs' cx tys
tys' = arrowArgs ty
bindKind m _ _ tcEnv (ExternalDataDecl _ tc tvs) = do
bindKind _ _ _ tcEnv (ExternalDataDecl _ tc tvs) = do
bindTypeConstructor DataType tc tvs (Just KindStar) [] tcEnv
bindKind m tcEnv' _ tcEnv (NewtypeDecl _ tc tvs nc _) =
bindTypeConstructor RenamingType tc tvs (Just KindStar) (mkData nc) tcEnv
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment