Hi Andy,
Thanks for the explanations.
On mar., 30 avril 2024 at 16:43, Andy Wingo wrote:
>> The first question is: is it still correct? Because this module had
>> been implemented before many Guile compiler improvements.
>
> No, the comment is incorrect. The type check on whatever accessor
Hi :)
On Sat 27 Apr 2024 19:04, Simon Tournier writes:
> In Guile module (ice-9 vlist), one reads:
>
> ;; Asserting that something is a vlist is actually a win if your next
> ;; step is to call record accessors, because that causes CSE to
> ;; eliminate the type checks in those accessors.
> ;;
Hi,
In Guile module (ice-9 vlist), one reads:
--8<---cut here---start->8---
;; Asserting that something is a vlist is actually a win if your next
;; step is to call record accessors, because that causes CSE to
;; eliminate the type checks in those accessors.