search

rmculpepper / iracket

Jupyter kernel for Racket
BSD 3-Clause "New" or "Revised" License
95 stars 14 forks source link

Question: where does the `make-header` come from? #22

Closed lihebi closed 3 weeks ago

lihebi commented 3 weeks ago

Hi,

This is a question rather than issue.

Could you help me point out where does the make-header come from? It was used twice, but I didn't find where it is defined/imported.

https://github.com/rmculpepper/iracket/blob/9af0e87d61565a9ecb41119c481e7e36c0c5287d/private/jupyter.rkt#L33-L38

rmculpepper commented 3 weeks ago

It's defined later in the same file by (define-struct/contract header ___).

lihebi commented 3 weeks ago

Ah, yes, thanks!! I kind-of forgot that the define-struct syntax automatically defines make-XXX.