Marc:
The documentation says:
The default declarations used by the compiler are equivalent to:
(declare
(ieee-scheme)
(separate)
(inline)
(inlining-limit 300)
(constant-fold)
(lambda-lift)
(not standard-bindings)
(not extended-bindings)
(not run-time-bindings)
(safe)
(interrupts-enabled)
(generic)
(mostly-fixnum)
)
but it appears that standard-bindings is also assumed, by the following
test. I think this is a bug.
Brad
[descartes:~] lucier% gsc -c -expansion test.scm
loading /usr/local/Gambit-C/gambcext.scm
Expansion:
(define a (lambda (b) (if (##pair? b) (##car b) (car b))))
[descartes:~] lucier% cat test.scm
(define (a b)
(car b))
[descartes:~] lucier% cat test.c
<stuff deleted>
#undef ___PH_PROC
#define ___PH_PROC ___H_a
#undef ___PH_LBL0
#define ___PH_LBL0 3
#undef ___PD_ALL
#define ___PD_ALL ___D_FP ___D_R0 ___D_R1 ___D_R4
#undef ___PR_ALL
#define ___PR_ALL ___R_FP ___R_R0 ___R_R1 ___R_R4
#undef ___PW_ALL
#define ___PW_ALL ___W_R1 ___W_R4
___BEGIN_P_COD
___BEGIN_P_HLBL
___DEF_P_HLBL_INTRO
___DEF_P_HLBL(___L0_a)
___DEF_P_HLBL(___L1_a)
___END_P_HLBL
___BEGIN_P_SW
___DEF_SLBL(0,___L0_a)
___IF_NARGS_EQ(1,___NOTHING)
___WRONG_NARGS(0,1,0,0)
___DEF_GLBL(___L_a)
___IF(___PAIRP(___R1))
___GOTO(___L2_a)
___END_IF
___POLL(1)
___DEF_SLBL(1,___L1_a)
___JUMPGLOSAFE(___SET_NARGS(1),2,___G_car)
___DEF_GLBL(___L2_a)
___SET_R1(___CAR(___R1))
___JUMPPRM(___NOTHING,___R0)
___END_P_SW
___END_P_COD
