id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
1859	Type information doesn't survive calls to define-inline procedures	sjamaan		"Compile the following to C:

{{{#!scheme
(module foo ()
  (import scheme (chicken base) (chicken plist))

  (let ((x (gensym)))
    (put! 'foo x 1))

  (define-inline (put-one! sym prop)
    (put! sym prop 1))

  (let ((y (gensym)))
    (put-one! 'foo y)))
}}}

Note that the first call to put! gets rewritten to {{{C_a_i_putprop(&a,3,lf[1],t1,C_fix(1))}}}, but the second call remains a CPS call to {{{chicken.plist#put!}}} via procedure lookup.

This is unexpected, as inlining by hand should give the same results as calling a {{{define-inline}}} procedure.

If you restore the typing info by hand, it also works as expected:

{{{#!scheme
(define-inline (put-one! sym prop)
  (put! (the symbol sym) (the symbol prop) 1))
}}}"	defect	new	major	someday	scrutinizer	6.0.0				medium