From 5bafba704f5e5b837b68bafbd02f22beaeafda02 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 17 Jun 2017 20:44:50 -0400 Subject: - Changed the way lux/data/product;both works. --- stdlib/source/lux/data/product.lux | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/stdlib/source/lux/data/product.lux b/stdlib/source/lux/data/product.lux index fe31c2020..d38350929 100644 --- a/stdlib/source/lux/data/product.lux +++ b/stdlib/source/lux/data/product.lux @@ -31,7 +31,8 @@ [y x])) (def: #export (both f g) - (All [a b c] (-> (-> a b) (-> a c) - (-> a [b c]))) - (function [input] - [(f input) (g input)])) + (All [a b c d] + (-> (-> a c) (-> b d) + (-> [a b] [c d]))) + (function [[x y]] + [(f x) (g y)])) -- cgit v1.2.3