fix: in a pure function, all callables are assumed to be pure

Safe-DS · Nov 15, 2023 · bbf537c · bbf537c
1 parent b0ad279
commit bbf537c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/packages/safe-ds-lang/src/language/validation/purity.ts b/packages/safe-ds-lang/src/language/validation/purity.ts
@@ -55,6 +55,7 @@ export const callableParameterPurityMustBeSpecified = (services: SafeDsServices)
                     },
                 );
             } else if (
+                !builtinAnnotations.isPure(node) &&
                 !builtinAnnotations.isPure(parameter) &&
                 !impurityReasons.some((it) => it.equals(expectedImpurityReason))
             ) {

diff --git a/...s/resources/validation/purity/callable parameter with unspecified purity/function.sdstest b/...s/resources/validation/purity/callable parameter with unspecified purity/function.sdstest
@@ -15,7 +15,7 @@ fun pureFunction(
     »p1«: Int,
     // $TEST$ no error "The purity of a callable parameter must be specified. Call the annotation '@Pure' or add the impurity reason 'PotentiallyImpureParameterCall' to the containing function."
     @Pure »p2«: () -> (),
-    // $TEST$ error "The purity of a callable parameter must be specified. Call the annotation '@Pure' or add the impurity reason 'PotentiallyImpureParameterCall' to the containing function."
+    // $TEST$ no error "The purity of a callable parameter must be specified. Call the annotation '@Pure' or add the impurity reason 'PotentiallyImpureParameterCall' to the containing function."
     »p3«: () -> ()
 )