We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
For some reason, using the generated ~ pattern expanders for types does not work in (define-syntax-class ...). As a simple example,
#lang turnstile (define-type-constructor List #:arity = 1) (begin-for-syntax (define-syntax-class list-τ (pattern (~List _))))
produces the error
pattern: required attribute is not defined: g86 ; in: (pattern (~List _))
I think this has something to do with the temporary generated for use in producing the "Expected _, got: _" error.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
For some reason, using the generated ~ pattern expanders for types does not work in (define-syntax-class ...). As a simple example,
produces the error
I think this has something to do with the temporary generated for use in producing the "Expected _, got: _" error.
The text was updated successfully, but these errors were encountered: