Parameter bounds #18
Assignees
Labels
dsl 🗒️
Issues regarding the domain specific programming language
enhancement 💡
New feature or request
released
Included in a release
Milestone
Comments
lars-reimann
added
the
dsl 🗒️
This was referenced Jun 7, 2022
|
First batch of tasks done with Simple-ML/Simple-ML#123. |
lars-reimann
added a commit
that referenced
this issue
Nov 10, 2023
### Summary of Changes When we add more constraint types (e.g. #18), we might also have to change the overall concept. Thus, constraint lists are now marked as experimental (which also applies to the contained constraints).
lars-reimann
pushed a commit
that referenced
this issue
Nov 12, 2023
## [0.3.0](v0.2.0...v0.3.0) (2023-11-12) ### Features * annotations for the purity of functions ([#709](#709)) ([9d342e4](9d342e4)), closes [#559](#559) * call hierarchy provider ([#735](#735)) ([168d098](168d098)), closes [#680](#680) * compute type of elvis operators with nullable left operand ([#715](#715)) ([376b083](376b083)), closes [#541](#541) * customize rendering of `[@param](https://github.com/param)`, `[@Result](https://github.com/result)`, and `[@type](https://github.com/type)Param` tags ([#764](#764)) ([e049148](e049148)), closes [#669](#669) * ensure an overriding member matches the overridden one ([#758](#758)) ([a698a6a](a698a6a)), closes [#639](#639) * error if callable type is used in wrong context ([#763](#763)) ([9b1522f](9b1522f)), closes [#713](#713) * error if type parameter is used in nested named type declaration ([#750](#750)) ([52374aa](52374aa)), closes [#748](#748) * info if overriding member is not needed ([#759](#759)) ([23b340e](23b340e)), closes [#25](#25) * mark constraint lists as experimental ([#752](#752)) ([d48e1e0](d48e1e0)), closes [#18](#18) * mark type parameter lists and type argument lists as experimental ([#755](#755)) ([f1a052a](f1a052a)), closes [#753](#753) * mark unused internal/private segments as unnecessary ([#710](#710)) ([3ba8698](3ba8698)), closes [#682](#682) * minor improvements for purity info ([#728](#728)) ([8d59607](8d59607)) * partially evaluate lambdas and segments ([#734](#734)) ([c40347c](c40347c)), closes [#603](#603) * scoping for inherited members ([#706](#706)) ([4518aee](4518aee)), closes [#540](#540) * scoping for member access on literals and literal types ([#754](#754)) ([e60e456](e60e456)), closes [#80](#80) * scoping for references to containing declarations ([#708](#708)) ([3762c36](3762c36)), closes [#540](#540) * show an error if a pure parameter does not have a callable type ([#736](#736)) ([6c52868](6c52868)), closes [#729](#729) * show error if own declaration has same name as core one ([#762](#762)) ([8cb2120](8cb2120)), closes [#760](#760) * signature help ([#724](#724)) ([ed33676](ed33676)), closes [#24](#24) * Source Maps for Code Generation ([#714](#714)) ([64b9e07](64b9e07)), closes [#30](#30) * tooltips for inlay hints ([#721](#721)) ([3e71cad](3e71cad)) * type checker service ([#722](#722)) ([daad5c4](daad5c4)), closes [#666](#666) * type checking ([#723](#723)) ([a9eb3bb](a9eb3bb)), closes [#666](#666) * type checking for list & map literals ([#751](#751)) ([dc14223](dc14223)), closes [#712](#712) * type hierarchy provider ([#737](#737)) ([9fd5f0c](9fd5f0c)), closes [#681](#681) * VS Code snippets ([#757](#757)) ([fd6f432](fd6f432)), closes [#756](#756) ### Bug Fixes * assignability of static type to callable type ([#725](#725)) ([1d17900](1d17900)) * NPEs during validation ([#727](#727)) ([4b8196f](4b8196f)) * prevent overwriting core declarations ([#761](#761)) ([36663ca](36663ca)) * prevent references to following parameters from default values ([#707](#707)) ([182d64b](182d64b)), closes [#540](#540) * setup of CLI ([#698](#698)) ([0b5d90d](0b5d90d))
Closed
lars-reimann
added a commit
that referenced
this issue
Feb 19, 2024
Closes partially #18 ### Summary of Changes * Remove lower type parameter bounds. We don't have a use case for them and they vastly complicated the implementation. For instance, `Nothing` is no subtype of a type parameter type with a lower bound other than `Nothing`. This means, when computing the highest common subtype (#860), we could only return `$unknown` for a type parameter type with a lower bound of, say, `Int`, and another type like `Number`. * Specify the upper bound of a type parameter directly where it's declared. Since they cannot also have a lower bound anymore and previously could only have a single, acyclic upper bound, we don't lose additional expressiveness this way. Previous type parameters may be used as the upper bound of later ones. The scope provider prevents forward references. * Add syntax, formatting and scoping for parameter bounds (#18). We are doing this in this PR, since we would otherwise not have constraints to test constraint lists with.
lars-reimann
pushed a commit
that referenced
this issue
Feb 26, 2024
## [0.8.0](v0.7.0...v0.8.0) (2024-02-26) ### Features * check the runner version to be compatible ([#888](#888)) ([83378a3](83378a3)), closes [#880](#880) * check type parameter bounds for default values and named types ([#919](#919)) ([7003ea6](7003ea6)), closes [#614](#614) * clamp default values of parameter types to upper bound ([#921](#921)) ([76ad869](76ad869)) * compute highest common subtype ([#901](#901)) ([5630a9f](5630a9f)), closes [#860](#860) * compute type parameters for calls ([#920](#920)) ([35dc826](35dc826)), closes [#861](#861) * consider nullability of upper type parameter bound in various checks ([#892](#892)) ([940515a](940515a)) * constraints for segments ([#911](#911)) ([e57f886](e57f886)), closes [#903](#903) * EDA on pipeline Tables ([#834](#834)) ([f42c9aa](f42c9aa)) * error if parent type is nullable ([#891](#891)) ([add650d](add650d)) * escape characters in string conversion of string constants ([#908](#908)) ([72a9c3c](72a9c3c)), closes [#904](#904) * format upper bound of type parameters ([#898](#898)) ([9d6ce28](9d6ce28)) * handle invariant/covariant type parameters when computing lowest common supertype ([#868](#868)) ([4d6cb4e](4d6cb4e)), closes [#860](#860) [#861](#861) * improve handling of subclasses of lists/maps ([#890](#890)) ([bb0c94b](bb0c94b)) * improvements to constraints ([#896](#896)) ([b81bef9](b81bef9)), closes [#18](#18) [#860](#860) [#18](#18) * include enum name in string conversion of enum variant types ([#907](#907)) ([1f6502e](1f6502e)), closes [#902](#902) * scoping for member accesses if receiver has type parameter type ([#889](#889)) ([1277bd1](1277bd1)) * shorter message if runner is started but files have errors ([#912](#912)) ([b611b44](b611b44)), closes [#910](#910) * simplify union types containing type parameter types disregarding entry order ([#894](#894)) ([cf6e77e](cf6e77e)) * singular type is its own lowest common supertype ([#893](#893)) ([79d611d](79d611d)) * substitute type parameter when type checking calls ([#923](#923)) ([2e09306](2e09306)), closes [#915](#915) * substitute type parameters when checking overridden members ([#922](#922)) ([0e657cf](0e657cf)), closes [#917](#917) * update to `safe-ds-runner` v0.7.0 ([#906](#906)) ([070f406](070f406)) * use bounds of type system where possible ([#899](#899)) ([cf92762](cf92762)) ### Bug Fixes * lenient type checking involving type parameter types ([#916](#916)) ([b9d3641](b9d3641)), closes [#915](#915) [#915](#915) * runner startup silent failure ([#914](#914)) ([8812944](8812944)), closes [#909](#909) * save dirty files before running pipeline ([#918](#918)) ([4302ca6](4302ca6)) * simplification of union types ([#897](#897)) ([4c577a3](4c577a3))
lars-reimann
added a commit
that referenced
this issue
Feb 27, 2024
Closes #18 ### Summary of Changes Add the following checks for parameter bounds: * Referenced parameter must be Int/Float * Referenced parameter must be const * Right operand can be evaluated by partial evaluator to IntConstant/FloatConstant after substituting constant parameters * Arguments match the bounds * Default values must match the bounds
lars-reimann
pushed a commit
that referenced
this issue
Apr 1, 2024
## [0.9.0](v0.8.0...v0.9.0) (2024-04-01) ### Features * `unknown` default value of stub parameters ([#952](#952)) ([78103e3](78103e3)), closes [#951](#951) * `unknown` type ([#973](#973)) ([4638249](4638249)), closes [#967](#967) * add constraints to stubs ([#953](#953)) ([dc5bf3b](dc5bf3b)) * allow any widening/narrowing type cast ([#948](#948)) ([ce01628](ce01628)) * checking of parameter bounds ([#925](#925)) ([610604f](610604f)), closes [#18](#18) * Markdown documentation generator ([#963](#963)) ([77d04de](77d04de)), closes [#663](#663) * stubs for `safe-ds` library ([#950](#950)) ([155b1c0](155b1c0)), closes [#926](#926) * VS Code command to dump diagnostics into a JSON file ([#928](#928)) ([34fa884](34fa884)), closes [#927](#927) ### Bug Fixes * do not memoize calls containing lambdas calling segments ([#944](#944)) ([114fee6](114fee6)) * language server crash on startup ([#947](#947)) ([9923074](9923074)), closes [#945](#945) * type checking of two union types ([#949](#949)) ([21fc485](21fc485))
|
🎉 This issue has been resolved in version 0.9.0 🎉 The release is available on: Your semantic-release bot 📦🚀 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add missing features for parameter bounds:
Int/Floatconst(only if type is correct)IntConstant/FloatConstantThe text was updated successfully, but these errors were encountered: