From 9ca82858b0e15800972ca7b2a776190a8d4b371c Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 29 May 2017 22:01:12 -0400 Subject: - Small refactorings. --- stdlib/source/lux/type.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'stdlib/source') diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index a58c87360..76620ea40 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -102,8 +102,8 @@ _ [num-args type])))] - [flatten-univq #;UnivQ] - [flatten-exq #;ExQ] + [flatten-univ-q #;UnivQ] + [flatten-ex-q #;ExQ] ) (def: #export (flatten-function type) @@ -320,8 +320,8 @@ +0 body _ ( (list) ( (n.dec size) body))))] - [univq #;UnivQ] - [exq #;ExQ] + [univ-q #;UnivQ] + [ex-q #;ExQ] ) (def: #export (quantified? type) -- cgit v1.2.3