tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-09-11 11:47:03 +03:00
Code Issues Projects Releases Wiki Activity

Update test snapshots

Browse Source
This commit is contained in:
Joe Neeman 2024-08-07 11:11:53 +07:00
parent 36c7b471f8
commit c4c975d54b
7 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cli/tests/snapshot/snapshots/snapshot__eval_stderr_array_at_empty_array.ncl.snap
View File

@ -4,9 +4,9 @@ expression: err
---
error: contract broken by the caller of `at`
invalid array indexing
┌─ <stdlib/std.ncl>:169:9
┌─ <stdlib/std.ncl>:167:9
│
169 │ | std.contract.unstable.IndexedArrayFun 'Index
167 │ | std.contract.unstable.IndexedArrayFun 'Index
│ -------------------------------------------- expected type
│
┌─ [INPUTS_PATH]/errors/array_at_empty_array.ncl:3:16

4
cli/tests/snapshot/snapshots/snapshot__eval_stderr_array_at_out_of_bound.ncl.snap
View File

@ -4,9 +4,9 @@ expression: err
---
error: contract broken by the caller of `at`
invalid array indexing
┌─ <stdlib/std.ncl>:169:9
┌─ <stdlib/std.ncl>:167:9
│
169 │ | std.contract.unstable.IndexedArrayFun 'Index
167 │ | std.contract.unstable.IndexedArrayFun 'Index
│ -------------------------------------------- expected type
│
┌─ [INPUTS_PATH]/errors/array_at_out_of_bound.ncl:3:16

4
cli/tests/snapshot/snapshots/snapshot__eval_stderr_array_range_reversed_indices.ncl.snap
View File

@ -4,9 +4,9 @@ expression: err
---
error: contract broken by the caller of `range`
invalid range
┌─ <stdlib/std.ncl>:795:9
┌─ <stdlib/std.ncl>:771:9
│
795 │ | std.contract.unstable.RangeFun Dyn
771 │ | std.contract.unstable.RangeFun Dyn
│ ---------------------------------- expected type
│
┌─ [INPUTS_PATH]/errors/array_range_reversed_indices.ncl:3:19

4
cli/tests/snapshot/snapshots/snapshot__eval_stderr_array_range_step_negative_step.ncl.snap
View File

@ -4,9 +4,9 @@ expression: err
---
error: contract broken by the caller of `range_step`
invalid range step
┌─ <stdlib/std.ncl>:770:9
┌─ <stdlib/std.ncl>:746:9
│
770 │ | std.contract.unstable.RangeFun (std.contract.unstable.RangeStep -> Dyn)
746 │ | std.contract.unstable.RangeFun (std.contract.unstable.RangeStep -> Dyn)
│ ----------------------------------------------------------------------- expected type
│
┌─ [INPUTS_PATH]/errors/array_range_step_negative_step.ncl:3:27

4
cli/tests/snapshot/snapshots/snapshot__eval_stderr_caller_contract_violation.ncl.snap
View File

@ -4,9 +4,9 @@ expression: err
---
error: contract broken by the caller of `map`
expected an array
┌─ <stdlib/std.ncl>:153:33
┌─ <stdlib/std.ncl>:151:33
│
153 │ : forall a b. (a -> b) -> Array a -> Array b
151 │ : forall a b. (a -> b) -> Array a -> Array b
│ ------- expected type of the argument provided by the caller
│
┌─ [INPUTS_PATH]/errors/caller_contract_violation.ncl:3:31

4
doc/manual/typing.md
View File

@ -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>:437:25
┌─ <stdlib/std.ncl>:433:25
│
437 │ : forall a. (a -> Bool) -> Array a -> Array a
433 │ : forall a. (a -> Bool) -> Array a -> Array a
│ ---- expected return type of a function provided by the caller
│
┌─ <repl-input-6>:1:55

2
lsp/nls/tests/snapshots/main__lsp__nls__tests__inputs__hover-stdlib-type.ncl.snap
View File

@ -11,7 +11,7 @@ String -> Number
```nickel
std.string.to_number "123"
=> 123
# => 123
```, ```nickel
NumberLiteral -> Dyn
```, ```nickel