From 75102dcfa7c2c0afd32cb5bf5ac012df2db6a7a1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 5 Jan 2021 07:55:22 -0400 Subject: Added lexically-scoped templates. --- stdlib/source/poly/lux/abstract/equivalence.lux | 5 ++--- stdlib/source/poly/lux/abstract/functor.lux | 3 +-- 2 files changed, 3 insertions(+), 5 deletions(-) (limited to 'stdlib/source/poly') diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index fabd4b335..8ac11dbb1 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -21,10 +21,9 @@ ["." dictionary (#+ Dictionary)] ["." tree]]] [macro + [syntax (#+ syntax:)] ["." code] - ["." poly (#+ poly:)] - [syntax (#+ syntax:) - ["." common]]] + ["." poly (#+ poly:)]] [math [number ["." nat ("#\." decimal)] diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 741a1b851..66ea54f50 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -14,9 +14,8 @@ [collection ["." list ("#\." monad monoid)]]] [macro + [syntax (#+ syntax:)] ["." code] - [syntax (#+ syntax:) - ["." common]] ["." poly (#+ poly:)]] [math [number -- cgit v1.2.3