diff options
Diffstat (limited to 'stdlib/source/library/lux/type/poly.lux')
| -rw-r--r-- | stdlib/source/library/lux/type/poly.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/type/poly.lux b/stdlib/source/library/lux/type/poly.lux index f4b2e0d4f..108cca485 100644 --- a/stdlib/source/library/lux/type/poly.lux +++ b/stdlib/source/library/lux/type/poly.lux @@ -88,7 +88,7 @@ (|> (dictionary.value idx env) maybe.trusted product.left (code env)) (` (.$ (~ (code.nat (-- idx))))))) - (#.Apply (#.Named [(~~ (static .prelude_module)) "Nothing"] _) + (#.Apply (#.Primitive "" #.End) (#.Parameter idx)) (case (<type>.adjusted_idx env idx) 0 (|> env (dictionary.value 0) maybe.trusted product.left (code env)) |