Optional procedure signature for primitives and library procedures (wishlist)

[jpellegrini]

Hi @egallesio !
Not an essential thing, but I thought it would be nice to have a configure option that would turn signature generation early so the user could see signatures of imported libraries/SRFIs and core procedures.

[jpellegrini]

Some comments:

1. About core procedures:

In stklos.h, we have

struct primitive_obj {
  stk_header header;
  char *name;
  SCM (*code)();
  SCM plist;
};

#define PRIMITIVE_NAME(p)       (((struct primitive_obj *) (p))->name)
#define PRIMITIVE_FUNC(p)       (((struct primitive_obj *) (p))->code)
#define PRIMITIVE_PLIST(p)      (((struct primitive_obj *) (p))->plist)

I suppose we could also support formals here. Then, the user would opt for either compiling the formals with the C code or not compiling them - that would be a compile-time option. And if the user decides not to include the formals, they should not take any extra space in the generated binary (that's easy to do :)

2. bonus.stk, other closures (non-primitives) that come with STklos core, libraries and SRFIs:

Also a compilation option, I suppose, that would turn the parameter compiler:keep-formals on or off before compiling those...