Skip to content

Commit

Permalink
Update Topiary flake input, format Nickel stdlib
Browse files Browse the repository at this point in the history
  • Loading branch information
yannham committed May 16, 2024
1 parent c8069f9 commit 7eaacc5
Show file tree
Hide file tree
Showing 2 changed files with 31 additions and 112 deletions.
8 changes: 3 additions & 5 deletions core/stdlib/std.ncl
Original file line number Diff line number Diff line change
Expand Up @@ -812,7 +812,7 @@
=> true
```
"%
= fun l x => if x then true else %blame% l,
= fun l x => if x then true else %blame% l,

# We can't use a static type because x | Assert is not of type bool. We
# could use additional contracts to make it work but it's not worth the
Expand Down Expand Up @@ -840,7 +840,7 @@
```

"%
= std.array.fold_left (fun acc test => (test | Assert) && acc) true,
= std.array.fold_left (fun acc test => (test | Assert) && acc) true,

Equal
| doc m%"
Expand Down Expand Up @@ -969,8 +969,7 @@
|> blame,

# Outside of lazy data structures, we just use (==)
_ =>
fun ctr_label value =>
_ => fun ctr_label value =>
value
|> check_typeof_eq ctr_label
|> from_predicate ((==) constant) ctr_label,
Expand Down Expand Up @@ -3411,5 +3410,4 @@
```
"%
= fun msg => null | FailWith msg,

}
135 changes: 28 additions & 107 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit 7eaacc5

Please sign in to comment.