Skip to content

Fix FFI::DataConverter non-generic usage - #1134

Merged
larskanis merged 1 commit into
ffi:masterfrom
larskanis:master
Dec 30, 2024
Merged

larskanis merged 1 commit into
ffi:masterfrom
larskanis:master

Conversation

@larskanis

Copy link
Copy Markdown
Member

Error was RBS::InvalidTypeApplication:

Type `::FFI::DataConverter` is generic but used as a non generic type

at:

def typedef: [T < Type] (T old, Symbol | DataConverter add, ?untyped) -> T

DataConverter being a generic type, it needs type arguments, which in turn needs these generic type arguments declared beforehand for typedef.

This is extracted from #1108 .

Error was `RBS::InvalidTypeApplication`:

    Type `::FFI::DataConverter` is generic but used as a non generic type

at:

    def typedef: [T < Type] (T old, Symbol | DataConverter add, ?untyped) -> T

DataConverter being a generic type, it needs type arguments, which in
turn needs these generic type arguments declared beforehand for `typedef`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants