Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

Update type.scrbl to be more accurate about type bindings #551

Merged
merged 1 commit into from
Aug 8, 2024
Merged

Update type.scrbl to be more accurate about type bindings #551

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 1 addition & 4 deletions type.scrbl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -144,10 +144,7 @@ example, @racket[define-enum-type] creates a type binding using
@racket[define-syntax] and the corresponding syntax class @racket[enum-id]
extracts that binding.

At present, not all kinds of types support type bindings --- follow
@hyperlink["https://github.com/jackfirth/rebellion/issues/179"]{issue #179} for
updates on this feature and the current status of supported type bindings. More
advanced compile-time type functionality such as a full static type system and
More advanced compile-time type functionality such as a full static type system and
checker are out of scope for now, but it is hoped that such an effort can either
build on top of the Rebellion type libraries. If you are interested in such a
project please reach out to the Rebellion project owners, we'd love to hear
Expand Down