Update manual snippets and snapshot tests

tweag · May 29, 2024 · 9e407ac · 9e407ac
1 parent db42b47
commit 9e407ac
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/cli/tests/snapshot/snapshots/snapshot__eval_stderr_array_range_reversed_indices.ncl.snap b/cli/tests/snapshot/snapshots/snapshot__eval_stderr_array_range_reversed_indices.ncl.snap
@@ -4,9 +4,9 @@ expression: err
 ---
 error: contract broken by the caller of `range`
  invalid range
- ┌─ <stdlib/std.ncl>:672:9
+ ┌─ <stdlib/std.ncl>:673:9
  │
-672 │ | std.contract.unstable.RangeFun Dyn
+673 │ | std.contract.unstable.RangeFun Dyn
  │ ---------------------------------- expected type
  │
  ┌─ [INPUTS_PATH]/errors/array_range_reversed_indices.ncl:3:19

diff --git a/cli/tests/snapshot/snapshots/snapshot__eval_stderr_array_range_step_negative_step.ncl.snap b/cli/tests/snapshot/snapshots/snapshot__eval_stderr_array_range_step_negative_step.ncl.snap
@@ -4,9 +4,9 @@ expression: err
 ---
 error: contract broken by the caller of `range_step`
  invalid range step
- ┌─ <stdlib/std.ncl>:647:9
+ ┌─ <stdlib/std.ncl>:648:9
  │
-647 │ | std.contract.unstable.RangeFun (std.contract.unstable.RangeStep -> Dyn)
+648 │ | std.contract.unstable.RangeFun (std.contract.unstable.RangeStep -> Dyn)
  │ ----------------------------------------------------------------------- expected type
  │
  ┌─ [INPUTS_PATH]/errors/array_range_step_negative_step.ncl:3:27

diff --git a/doc/manual/typing.md b/doc/manual/typing.md
@@ -588,9 +588,9 @@ calling to the statically typed `std.array.filter` from dynamically typed code:
 ```nickel #repl
 > std.array.filter (fun x => if x % 2 == 0 then x else null) [1,2,3,4,5,6]
 error: contract broken by the caller of `filter`
- ┌─ <stdlib/std.ncl>:349:25
+ ┌─ <stdlib/std.ncl>:373:25
  │
-349 │ : forall a. (a -> Bool) -> Array a -> Array a
+373 │ : forall a. (a -> Bool) -> Array a -> Array a
  │ ---- expected return type of a function provided by the caller
  │
  ┌─ <repl-input-6>:1:55