Commit fb084a48 authored by Jan Rasmus Tikovsky 's avatar Jan Rasmus Tikovsky
Browse files

Removed redundant type class context

parent 7f2e0d67
......@@ -958,7 +958,7 @@ checkAlt :: Alt -> SCM Alt
checkAlt (Alt p t rhs) = inNestedScope $
Alt p <$> bindPattern "case expression" p t <*> checkRhs rhs
addBoundVariables :: (QuantExpr t, Show t) => Bool -> t -> SCM t
addBoundVariables :: (QuantExpr t) => Bool -> t -> SCM t
addBoundVariables checkDuplicates ts = do
when checkDuplicates $ mapM_ (report . errDuplicateVariables)
(findMultiples bvs)
......
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