Safe-DS / DSL

Statically checked Data Science programs.
https://dsl.safeds.com
MIT License
11 stars 0 forks source link

Arbitrary upper bounds for type parameters #1081

Closed lars-reimann closed 2 months ago

lars-reimann commented 2 months ago

Is your feature request related to a problem?

Currently, upper bounds of type parameters must be named types. Literal types would be useful to track whether a model has been fitted, for example. Generally, our implementation should be able to handle any upper bound, so there's no need for this restriction.

Desired solution

Remove the check.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response

lars-reimann commented 2 months ago

:tada: This issue has been resolved in version 0.14.0 :tada:

The release is available on:

Your semantic-release bot :package::rocket: