Fix comments on isValArg
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 28 Jan 2013 18:21:04 +0000 (18:21 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 28 Jan 2013 18:21:04 +0000 (18:21 +0000)
compiler/coreSyn/CoreSyn.lhs

index 685975f..6423c7e 100644 (file)
@@ -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)