From ae8306fe81376eefb7416a1d5c6b8d2ed3cd8f6c Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 2 Aug 2017 23:21:54 -0400 Subject: - Re-implemented polytypic matchers in terms of lux/control/parser. --- stdlib/source/lux.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stdlib/source/lux.lux') diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 30f38897b..caf38c7b6 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -2598,7 +2598,7 @@ (#Cons [_ (#Symbol "" name)] (#Cons body #Nil)) (let' [body' (replace-syntax (list [name (` (#Apply (~ (make-bound +1)) (~ (make-bound +0))))]) (update-bounds body))] - (return (list (` (#Apply Void (#UnivQ #Nil (~ body'))))))) + (return (list (` (#Apply #;Void (#UnivQ #Nil (~ body'))))))) _ (fail "Wrong syntax for Rec"))) -- cgit v1.2.3