Commit 24644bb7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix comments on isValArg

parent 2627e626
......@@ -1324,8 +1324,9 @@ isRuntimeVar = isId
isRuntimeArg :: CoreExpr -> Bool
isRuntimeArg = isValArg
-- | Returns @False@ iff the expression is a 'Type' or 'Coercion'
-- expression at its top level
-- | Returns @True@ for value arguments, false for type args
-- NB: coercions are value arguments (zero width, to be sure,
-- like State#, but still value args).
isValArg :: Expr b -> Bool
isValArg e = not (isTypeArg e)
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