Hello! This is an interesting approach, thank you.
Le vendredi 10 mai 2024 à 09:47 +0200, Dr. Arne Babenhauserheide a écrit : > │ ;; get the result > │ (let ((res (helper))) > │ ;; typecheck the result > │ (unless (ret? res) > │ (error "type error: return value ~a does not match ~a" > │ res ret?)) > │ ;; return the result > │ res)) A nice improvement would be to support multiple return values, for instance by using call-with-values, and checking the return value with (apply ret? res) instead of (ret? res). What do you think? Best regards, Vivien
