From 86bcfadb774618defaa27bbb9361a93d288fb985 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 12 Jul 2021 22:51:25 -0400 Subject: A bit more clarity for Licentia licenses. --- licentia/source/test/licentia.lux | 61 ++++++++++++++++++++------------------- 1 file changed, 31 insertions(+), 30 deletions(-) (limited to 'licentia/source/test') diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index bf0f4929e..5ae86cfdb 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -5,7 +5,7 @@ [abstract [monad (#+ do)]] [control - [io (#+ io)]] + ["." io]] [data ["." bit ("#\." equivalence)] ["." maybe ("#\." functor)] @@ -16,33 +16,32 @@ ["." random (#+ Random)] [number ["n" nat ("#\." interval)]]]] - {#program - [/ - ["." license (#+ Identification - Termination - Liability - Distribution - Commercial - Extension - Entity Black_List - URL Attribution - Addendum - License) - ["." time (#+ Period)] - ["." copyright] - ["." notice] - ["." definition] - ["." grant] - ["." limitation] - ["." submission] - ["." liability] - ["." distribution] - ["." commercial] - ["." extension] - ["." miscellaneous] - ["." black_list] - ["." addendum]] - ["." output]]}) + [\\program + ["." license (#+ Identification + Termination + Liability + Distribution + Commercial + Extension + Entity Black_List + URL Attribution + Addendum + License) + ["." time (#+ Period)] + ["." copyright] + ["." notice] + ["." definition] + ["." grant] + ["." limitation] + ["." submission] + ["." liability] + ["." distribution] + ["." commercial] + ["." extension] + ["." miscellaneous] + ["." black_list] + ["." addendum]] + ["." output]]) (def: period (Random (Period Nat)) @@ -364,5 +363,7 @@ ))) (program: args - (io (_.run! (<| (_.times 100) - ..test)))) + (<| io.io + _.run! + (_.times 100) + ..test)) -- cgit v1.2.3