Thread Index - June 2026 - srfi-273@srfi.schemers.org

New draft (#2) of SRFI 273: Extensions to Data (Type-)Checking Arthur A. Gleckler (04 Jun 2026 04:18 UTC)

Re: questions for `derive-check` Peter McGoron (04 Jun 2026 13:05 UTC)

Make derive-check procedure-oriented and not expression-oriented Artyom Bologov (08 Jun 2026 21:27 UTC)

Re: Make derive-check procedure-oriented and not expression-oriented Peter McGoron (14 Jun 2026 02:16 UTC)

Re: Make derive-check procedure-oriented and not expression-oriented Artyom Bologov (14 Jun 2026 21:46 UTC)

Re: Make derive-check procedure-oriented and not expression-oriented Peter McGoron (24 Jun 2026 15:09 UTC)

Re: Make derive-check procedure-oriented and not expression-oriented Artyom Bologov (24 Jun 2026 20:02 UTC)

Add *-checked-inferred API? Artyom Bologov (17 Jun 2026 19:04 UTC)

New draft (#3) of SRFI 273: Extensions to Data (Type-)Checking Arthur A. Gleckler (20 Jun 2026 06:04 UTC)