From 93eb82e1bf6d2f2a6b3b0adb85f4ab93cbb766a9 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 14 Mar 2022 03:33:01 -0400 Subject: De-sigil-ification: @ --- stdlib/source/program/aedifex/dependency.lux | 38 ++++++++++++++-------------- 1 file changed, 19 insertions(+), 19 deletions(-) (limited to 'stdlib/source/program/aedifex/dependency.lux') diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux index 3dd3d9c71..5bf2e4ef9 100644 --- a/stdlib/source/program/aedifex/dependency.lux +++ b/stdlib/source/program/aedifex/dependency.lux @@ -1,17 +1,17 @@ (.using - [library - [lux {"-" Type} - [abstract - [equivalence {"+" Equivalence}] - [order {"+" Order}] - [hash {"+" Hash}]] - [data - ["[0]" product] - ["[0]" text ("[1]#[0]" order) - ["%" format {"+" format}]]]]] - ["[0]" // "_" - ["[1]" artifact {"+" Artifact} ("[1]#[0]" order) - [type {"+" Type}]]]) + [library + [lux {"-" Type} + [abstract + [equivalence {"+" Equivalence}] + [order {"+" Order}] + [hash {"+" Hash}]] + [data + ["[0]" product] + ["[0]" text ("[1]#[0]" order) + ["%" format {"+" format}]]]]] + ["[0]" // "_" + ["[1]" artifact {"+" Artifact} ("[1]#[0]" order) + [type {"+" Type}]]]) (type: .public Dependency (Record @@ -36,10 +36,10 @@ ..equivalence) (def: (< reference subject) - (<| (or (//#< (value@ #artifact reference) - (value@ #artifact subject))) + (<| (or (//#< (the #artifact reference) + (the #artifact subject))) - (and (//#= (value@ #artifact reference) - (value@ #artifact subject))) - (text#< (value@ #type reference) - (value@ #type subject))))) + (and (//#= (the #artifact reference) + (the #artifact subject))) + (text#< (the #type reference) + (the #type subject))))) -- cgit v1.2.3