Validation error: Impure callable passed to @Pure parameter
#730
Assignees
Labels
enhancement 💡
New feature or request
released
Included in a release
validation ✔️
Improved or new static checks
Milestone
Comments
lars-reimann
added
enhancement 💡
lars-reimann
added a commit
that referenced
this issue
Nov 22, 2023
Closes #730 ### Summary of Changes Show an error if an impure callable is passed to a pure parameter.
lars-reimann
pushed a commit
that referenced
this issue
Nov 22, 2023
## [0.4.0](v0.3.0...v0.4.0) (2023-11-22) ### Features * add endless recursion as an impurity reason ([#788](#788)) ([98acdde](98acdde)) * call graph computer (without closures) ([#782](#782)) ([34bf182](34bf182)) * check types of constant parameters ([#775](#775)) ([0a02850](0a02850)), closes [#668](#668) * check whether purity of callable parameters of functions is set properly ([#777](#777)) ([f8fd907](f8fd907)), closes [#732](#732) * compute purity/side effects for expressions ([#785](#785)) ([9ed1c08](9ed1c08)), closes [#15](#15) * compute types of parameters of lambdas that are passed as default value ([#780](#780)) ([01a5c03](01a5c03)) * error if call leads to infinite recursion ([#783](#783)) ([f7eabd8](f7eabd8)), closes [#667](#667) * error if impure callable is passed to pure parameter ([#792](#792)) ([5536a4a](5536a4a)), closes [#730](#730) * error if parameter name in impurity reason is invalid ([#772](#772)) ([faa2012](faa2012)), closes [#741](#741) * error if purity of functions is not specified ([#768](#768)) ([a15b0af](a15b0af)), closes [#731](#731) * filter statements without effect for code generation ([#786](#786)) ([cd4f2c1](cd4f2c1)), closes [#542](#542) * improve location of warning about duplicate annotation target ([#771](#771)) ([87d2a48](87d2a48)) * info if `@Pure` annotation is called on parameter of pure function ([#778](#778)) ([c15c70e](c15c70e)) * purity computer ([#784](#784)) ([b09bb3a](b09bb3a)) * remove type parameters from enum variants ([#767](#767)) ([cb6556a](cb6556a)), closes [#766](#766) * short-circuit `and`, `or`, and `?:` if RHS has no side effects ([#789](#789)) ([9d9f4b7](9d9f4b7)), closes [#15](#15) * streamline purity information ([#779](#779)) ([75a9e5b](75a9e5b)) * stricter definition of `const` parameters ([#776](#776)) ([73a0d4e](73a0d4e)) * update snippets for functions and methods ([#769](#769)) ([061d3b1](061d3b1)) * validate impurity reasons of overriding methods ([#774](#774)) ([71fc5bd](71fc5bd)), closes [#665](#665) * warn about duplicate impurity reasons ([#773](#773)) ([8344356](8344356)), closes [#733](#733) * warn if statement has no effect ([#787](#787)) ([6f45dc4](6f45dc4)), closes [#664](#664) ### Bug Fixes * signature help for optional parameters ([#793](#793)) ([fd88ce8](fd88ce8)), closes [#791](#791) * wrong detection of useless statements that call parameters/unknown callables ([#790](#790)) ([a49b4b3](a49b4b3)) * wrong`"assignment/nothing-assigned"` error if RHS calls expression lambda ([#781](#781)) ([b909cb8](b909cb8))
|
🎉 This issue has been resolved in version 0.4.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
Is your feature request related to a problem?
A parameter with the
@Pureannotation only accepts pure callables. Currently, this is not checked, however.Desired solution
Show an error if an impure callable is passed to a
@Pureparameter. This also applies to the default value of that parameter. If the function is marked as@Pure, this implies that all parameters are@Pure.Possible alternatives (optional)
No response
Screenshots (optional)
No response
Additional Context (optional)
No response
The text was updated successfully, but these errors were encountered: