diff --git a/checks/UsageCheckUtils.hs b/checks/UsageCheckUtils.hs index dc4e164..2db150a 100644 --- a/checks/UsageCheckUtils.hs +++ b/checks/UsageCheckUtils.hs @@ -191,11 +191,13 @@ variableToVar = Var annotateVars :: A.ExpressionList -> [A.Variable] -> [(A.Variable, Maybe A.Expression)] annotateVars (A.FunctionCallList {}) vs = zip vs (repeat Nothing) +annotateVars (A.IntrinsicFunctionCallList {}) vs = zip vs (repeat Nothing) annotateVars (A.ExpressionList _ es) vs = zip vs (map Just es ++ repeat Nothing) getVarExpList :: A.ExpressionList -> Vars getVarExpList (A.ExpressionList _ es) = foldUnionVars $ map getVarExp es getVarExpList (A.FunctionCallList _ _ es) = foldUnionVars $ map getVarExp es --TODO record stuff in passed as well? +getVarExpList (A.IntrinsicFunctionCallList _ _ es) = foldUnionVars $ map getVarExp es --TODO record stuff in passed as well? getVarExp :: A.Expression -> Vars getVarExp = everything unionVars (emptyVars `mkQ` getVarExp')