typed-records: define-record-type constructor with arguments is specialized erroneously

[Moritz Heidkamp]

This program

(use typed-records)

(define-record-type foo
  (make-foo bar)
  foo?
  (bar foo-bar foo-bar-set!))


(display (make-foo 1))

fails with Error: unbound variable: bar when compiled with -specialize. Tested with 4.8.0rc2.

[megane]

The generated specializations had slot symbols in them where one would expect #(1) style references to the arguments.

For example

(make-foo
  (#(procedure) make-foo (fixnum) (struct foo))
  ((fixnum) (##sys#make-structure 'foo bar)))

instead of

(make-foo
  (#(procedure) make-foo (fixnum) (struct foo))
  ((fixnum) (##sys#make-structure 'foo #(1))))

[megane]

I also noticed the egg uses `:' syntax to specify specializations (that get exported to the types file) although it's not documented anywhere that this is possible!

[felix winkelmann]

Thanks - patch applied (0.3).