changeset 12490 | d2a2c479b3cb |
parent 12452 | 68493b92e7a6 |
child 12555 | e6d7f040fdc7 |
--- a/src/Pure/codegen.ML Thu Dec 13 16:48:34 2001 +0100 +++ b/src/Pure/codegen.ML Thu Dec 13 17:44:56 2001 +0100 @@ -73,7 +73,7 @@ | args_of (Ignore :: ms) (_ :: xs) = args_of ms xs | args_of (_ :: ms) xs = args_of ms xs; -val num_args = length o filter is_arg; +fun num_args x = length (filter is_arg x); (**** theory data ****)