corrected contract annotation position.

tweag · Feb 7, 2024 · 5a10769 · 5a10769
1 parent e1a5e74
commit 5a10769
Showing 1 changed file with 8 additions and 9 deletions.
diff --git a/core/stdlib/std.ncl b/core/stdlib/std.ncl
@@ -1325,6 +1325,7 @@
  (fun start => RangeSecond start -> Codomain),
 
  IndexedArrayFun
+ | [| 'Index, 'Split |] -> Dyn -> Dyn
  | doc m%"
  **Warning**: this is an unstable item. It might be renamed,
  modified or deleted in any subsequent minor Nickel version.
@@ -1379,15 +1380,13 @@
  else
  value
  in
- let contract
- | [| 'Index, 'Split |] -> Dyn -> Dyn
- = fun type label function =>
- DependentFun
- ArrayIndexFirst
- (fun index => ArrayIndexSecond type index -> Dyn)
- label
- function
- in contract,
+ let contract = fun type label function =>
+ DependentFun
+ ArrayIndexFirst
+ (fun index => ArrayIndexSecond type index -> Dyn)
+ label
+ function
+ in contract,
 
  ArraySliceFun
  | doc m%"