diff options
Diffstat (limited to 'stdlib/source/lux/type/auto.lux')
-rw-r--r-- | stdlib/source/lux/type/auto.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/type/auto.lux b/stdlib/source/lux/type/auto.lux index a1a795c80..f33314ac1 100644 --- a/stdlib/source/lux/type/auto.lux +++ b/stdlib/source/lux/type/auto.lux @@ -35,12 +35,12 @@ (find-member-type idx sig-type')) (#;ProdT left right) - (if (=+ +0 idx) + (if (n.= +0 idx) (:: Monad<Check> wrap left) - (find-member-type (dec+ idx) right)) + (find-member-type (n.dec idx) right)) _ - (if (=+ +0 idx) + (if (n.= +0 idx) (:: Monad<Check> wrap sig-type) (tc;fail (format "Can't find member type " (%n idx) " for " (%type sig-type)))))) @@ -207,5 +207,5 @@ (wrap (list retry))))) (comment - (::: map inc (list 0 1 2 3 4)) + (::: map i.inc (list 0 1 2 3 4)) ) |