From 891b1cfc82322f8017f0a4f6b707d6fe52024545 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 3 Sep 2021 21:51:30 -0400 Subject: Unified tuple and record syntax. --- stdlib/source/program/aedifex/profile.lux | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'stdlib/source/program/aedifex/profile.lux') diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index b861e1601..7621f0848 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -34,8 +34,8 @@ (def: .public default_compiler Dependency - {#dependency.artifact ["com.github.luxlang" "lux-jvm" "0.6.0-SNAPSHOT"] - #dependency.type type.jvm_library}) + [#dependency.artifact ["com.github.luxlang" "lux-jvm" "0.6.0-SNAPSHOT"] + #dependency.type type.jvm_library]) (type: .public Distribution (Variant @@ -101,13 +101,13 @@ (type: .public Info (Record - {#url (Maybe URL) + [#url (Maybe URL) #scm (Maybe SCM) #description (Maybe Text) #licenses (List License) #organization (Maybe Organization) #developers (List Developer) - #contributors (List Contributor)})) + #contributors (List Contributor)])) (def: info_equivalence (Equivalence Info) @@ -122,13 +122,13 @@ (def: .public default_info Info - {#url #.None + [#url #.None #scm #.None #description #.None #licenses (list) #organization #.None #developers (list) - #contributors (list)}) + #contributors (list)]) (type: .public Source Path) @@ -157,7 +157,7 @@ (type: .public Profile (Record - {#parents (List Name) + [#parents (List Name) #identity (Maybe Artifact) #info (Maybe Info) #repositories (Set Address) @@ -172,7 +172,7 @@ #js Runtime #python Runtime #lua Runtime - #ruby Runtime})) + #ruby Runtime])) (def: .public equivalence (Equivalence Profile) @@ -214,7 +214,7 @@ (Monoid Profile) (def: identity - {#parents (list) + [#parents (list) #identity #.None #info #.None #repositories (set.empty text.hash) @@ -229,14 +229,14 @@ #js runtime.default_js #python runtime.default_python #lua runtime.default_lua - #ruby runtime.default_ruby}) + #ruby runtime.default_ruby]) (def: (composite override baseline) (template.let [(!runtime ) [(if (runtime\= (value@ override)) (value@ baseline) (value@ override))]] - {#parents (list\composite (value@ #parents baseline) (value@ #parents override)) + [#parents (list\composite (value@ #parents baseline) (value@ #parents override)) #identity (maybe\composite (value@ #identity override) (value@ #identity baseline)) #info (maybe\composite (value@ #info override) (value@ #info baseline)) #repositories (set.union (value@ #repositories baseline) (value@ #repositories override)) @@ -255,6 +255,6 @@ #js (!runtime #js runtime.default_js) #python (!runtime #python runtime.default_python) #lua (!runtime #lua runtime.default_lua) - #ruby (!runtime #ruby runtime.default_ruby)}))) + #ruby (!runtime #ruby runtime.default_ruby)]))) (exception: .public no_identity) -- cgit v1.2.3