author | wenzelm |
Thu, 13 Dec 2001 17:44:56 +0100 | |
changeset 12490 | d2a2c479b3cb |
parent 12489 | c92e38c3cbaa |
child 12491 | e28870d8b223 |
--- 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 ****)