From 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 3 Jun 2022 20:02:46 -0400 Subject: Extensible import syntax [Part 4] --- stdlib/source/test/aedifex/dependency/status.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'stdlib/source/test/aedifex/dependency/status.lux') diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index ca0f9002d..9b5f089f1 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -7,15 +7,15 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" binary "_" + ["[0]" binary ["[1]T" \\test]]] [math ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] - ["$[0]" /// "_" + ["$[0]" /// ["[1][0]" hash]] [\\program - ["[0]" / - ["//[1]" /// "_" + ["[0]" / (.only) + ["//[1]" /// ["[1][0]" hash]]]]) (def: .public random -- cgit v1.2.3