Hi David,
Yes, both ->* and ->i are supported. The forms in social-contract expand to
flat or arrow contracts, which, since these work within ->* and ->i there
shouldn't be any issues there.
The only built-in form it doesn't support yet is case->, and that's because
at the moment case-> specifical
Hi Siddhartha,
Will this package handle ->* and ->i, either now or in the future?
On Sat, Aug 14, 2021 at 1:40 PM Siddhartha Kasivajhula
wrote:
> Fellow Scheming Racketeers,
> When you've written a function that takes an integer and returns another
> one, you may write a contract for it as (->
The essential primitive here seems to me to be:
(define-syntax (splice stx)
(syntax-case stx ()
[(_ e ...)
(eval-syntax #'(begin e ...))]))
With with-quasisyntax being:
(define-syntax-rule
(with-quasisyntax ([a b] ...) template)
(splice (with-syntax ([a b] ...) (quasisyntax templa
3 matches
Mail list logo
