Commit 66dc5964 authored by Finn Teegen's avatar Finn Teegen
Browse files

Fix some warnings

parent ae71820e
......@@ -255,7 +255,6 @@ inferPredSet clsEnv p tc (PredType ps inst) tys cls = do
noPolyPred (Pred _ (TypeVariable _)) = False
noPolyPred (Pred _ _ ) = True
isDataPred _ (Pred qid _) = qid == qDataId
inferPredSet _ _ _ _ _ _ = internalError "InstanceCheck.inferPredSet"
updatePredSets :: [((InstIdent, PredSet), Bool)] -> INCM Bool
updatePredSets = fmap or . mapM (uncurry updatePredSet)
......
......@@ -270,7 +270,6 @@ values m (IFunctionDecl _ f (Just tv) _ qty) =
let mcls = case qty of
QualTypeExpr _ ctx _ -> fmap (\(Constraint _ qcls _) -> qcls) $
find (\(Constraint _ _ ty) -> isVar ty) ctx
_ -> Nothing
in [Value (qualQualify m f) mcls 0 (typeScheme (toQualPredType m [tv] qty))]
where
isVar (VariableType _ i) = i == tv
......
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