From 376c3e472fbb1e2656f8c61b26e0276570609aa1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 13 Sep 2021 00:29:57 -0400 Subject: Updated only/except import syntax to take into account record => variant syntax change. --- licentia/source/test/licentia.lux | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'licentia/source/test/licentia.lux') diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index 40e0f5677..6a945b65c 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - [program {"+" [program:]}] - ["_" test {"+" [Test]}] + [program {"+" program:}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" io] ["[0]" maybe ("[1]#[0]" functor)]] @@ -14,22 +14,22 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat ("[1]#[0]" interval)]]]]] [\\program ["[0]" output] - ["[0]" license {"+" [Identification - Termination - Liability - Distribution - Commercial - Extension - Entity Black_List - URL Attribution - Addendum - License]} - ["[0]" time {"+" [Period]}] + ["[0]" license {"+" Identification + Termination + Liability + Distribution + Commercial + Extension + Entity Black_List + URL Attribution + Addendum + License} + ["[0]" time {"+" Period}] ["[0]" copyright] ["[0]" notice] ["[0]" definition] -- cgit v1.2.3