soon,
without raising an exception,
without causing a side effect (e.g. writing a mutable variable)
soon,
without raising an exception,
without causing a side effect (e.g. writing a mutable variable)
|| idArity fun > valArgCount args -- Under-applied function
= check_args (idType fun) args
app_is_value (App f a) as = app_is_value f (a:as)
|| idArity fun > valArgCount args -- Under-applied function
= check_args (idType fun) args
app_is_value (App f a) as = app_is_value f (a:as)