From 2d07e46c670157944130a1e50971febc86a2ec03 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 4 Jun 2021 16:20:14 +0200 Subject: [PATCH] Fix and add copyright notices --- OLD-syndicate/dataspace.rkt | 2 ++ OLD-syndicate/lang.rkt | 2 ++ OLD-syndicate/pattern.rkt | 2 ++ OLD-syndicate/syntax.rkt | 4 +++- OLD-syndicate/test/core/skeleton.rkt | 2 ++ syndicate-examples/speed-tests/box-and-client/protocol.rkt | 2 ++ syndicate-examples/speed-tests/box-and-client/stats.rkt | 2 ++ .../speed-tests/box-and-client/with-dataspace.rkt | 2 ++ .../speed-tests/box-and-client/without-dataspace.rkt | 2 ++ syndicate/actor.rkt | 2 ++ syndicate/bag.rkt | 6 +++--- syndicate/dataflow.rkt | 6 +++--- syndicate/dataspace.rkt | 5 ++--- syndicate/engine.rkt | 2 ++ syndicate/event-expander.rkt | 2 +- syndicate/field.rkt | 2 ++ syndicate/gensym.rkt | 2 ++ syndicate/info.rkt | 2 +- syndicate/lang.rkt | 2 +- syndicate/main.rkt | 2 +- syndicate/pattern-expander.rkt | 2 +- syndicate/pattern.rkt | 2 +- syndicate/private/install.rkt | 2 ++ syndicate/rewrite.rkt | 2 ++ syndicate/schema-compiler.rkt | 2 ++ syndicate/skeleton.rkt | 2 +- syndicate/sturdy.rkt | 3 +++ syndicate/support/counter.rkt | 2 ++ syndicate/support/hash.rkt | 2 +- syndicate/support/struct.rkt | 2 +- syndicate/syntax.rkt | 2 +- syndicate/test/core/dataflow.rkt | 2 ++ 32 files changed, 58 insertions(+), 20 deletions(-) diff --git a/OLD-syndicate/dataspace.rkt b/OLD-syndicate/dataspace.rkt index e01deb0..c0a3901 100644 --- a/OLD-syndicate/dataspace.rkt +++ b/OLD-syndicate/dataspace.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones (provide make-dataspace ;; TODO: how to cleanly provide this? with-current-facet ;; TODO: shouldn't be provided diff --git a/OLD-syndicate/lang.rkt b/OLD-syndicate/lang.rkt index 6bd003c..a9de987 100644 --- a/OLD-syndicate/lang.rkt +++ b/OLD-syndicate/lang.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones (provide (rename-out [module-begin #%module-begin]) activate diff --git a/OLD-syndicate/pattern.rkt b/OLD-syndicate/pattern.rkt index 87eee22..2df2f9e 100644 --- a/OLD-syndicate/pattern.rkt +++ b/OLD-syndicate/pattern.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones (provide (struct-out discard) (struct-out capture) diff --git a/OLD-syndicate/syntax.rkt b/OLD-syndicate/syntax.rkt index 5a757e2..84dc0f7 100644 --- a/OLD-syndicate/syntax.rkt +++ b/OLD-syndicate/syntax.rkt @@ -1,5 +1,7 @@ #lang racket/base -;; DSL syntax over the API of dataspace.rkt +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; DSL syntax over the API of dataspace.rkt (provide spawn spawn* diff --git a/OLD-syndicate/test/core/skeleton.rkt b/OLD-syndicate/test/core/skeleton.rkt index 17c1917..7c18d30 100644 --- a/OLD-syndicate/test/core/skeleton.rkt +++ b/OLD-syndicate/test/core/skeleton.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones (require "../../skeleton.rkt") (require (submod "../../skeleton.rkt" for-test)) diff --git a/syndicate-examples/speed-tests/box-and-client/protocol.rkt b/syndicate-examples/speed-tests/box-and-client/protocol.rkt index 3896e4e..2388c0b 100644 --- a/syndicate-examples/speed-tests/box-and-client/protocol.rkt +++ b/syndicate-examples/speed-tests/box-and-client/protocol.rkt @@ -1,4 +1,6 @@ #lang preserves-schema #:plugin syndicate/schema-compiler +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones version 1 . diff --git a/syndicate-examples/speed-tests/box-and-client/stats.rkt b/syndicate-examples/speed-tests/box-and-client/stats.rkt index 10e3c38..a900c64 100644 --- a/syndicate-examples/speed-tests/box-and-client/stats.rkt +++ b/syndicate-examples/speed-tests/box-and-client/stats.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (provide report-stats) diff --git a/syndicate-examples/speed-tests/box-and-client/with-dataspace.rkt b/syndicate-examples/speed-tests/box-and-client/with-dataspace.rkt index 31ca547..c2f7005 100644 --- a/syndicate-examples/speed-tests/box-and-client/with-dataspace.rkt +++ b/syndicate-examples/speed-tests/box-and-client/with-dataspace.rkt @@ -1,4 +1,6 @@ #lang syndicate +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (require "protocol.rkt") (require "stats.rkt") diff --git a/syndicate-examples/speed-tests/box-and-client/without-dataspace.rkt b/syndicate-examples/speed-tests/box-and-client/without-dataspace.rkt index 372440b..3dd24a5 100644 --- a/syndicate-examples/speed-tests/box-and-client/without-dataspace.rkt +++ b/syndicate-examples/speed-tests/box-and-client/without-dataspace.rkt @@ -1,4 +1,6 @@ #lang syndicate +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (require "stats.rkt") diff --git a/syndicate/actor.rkt b/syndicate/actor.rkt index f4bc0a3..63cff90 100644 --- a/syndicate/actor.rkt +++ b/syndicate/actor.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (provide (except-out (struct-out entity) entity) (rename-out [make-entity entity]) diff --git a/syndicate/bag.rkt b/syndicate/bag.rkt index 58f7796..367761c 100644 --- a/syndicate/bag.rkt +++ b/syndicate/bag.rkt @@ -1,7 +1,7 @@ -;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones - #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2018-2021 Tony Garnock-Jones + ;; Bags and Deltas (which are Bags where item-counts can be negative). (provide make-bag ;; mutable diff --git a/syndicate/dataflow.rkt b/syndicate/dataflow.rkt index 55e5907..6132e23 100644 --- a/syndicate/dataflow.rkt +++ b/syndicate/dataflow.rkt @@ -1,7 +1,7 @@ -;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones - #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2016-2021 Tony Garnock-Jones + ;; Simple lazy dataflow. (provide dataflow-graph? diff --git a/syndicate/dataspace.rkt b/syndicate/dataspace.rkt index 4a8f136..c68402f 100644 --- a/syndicate/dataspace.rkt +++ b/syndicate/dataspace.rkt @@ -1,7 +1,6 @@ -;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones - #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (provide (all-from-out "schemas/gen/dataspace.rkt") (all-from-out "schemas/gen/dataspace-patterns.rkt") diff --git a/syndicate/engine.rkt b/syndicate/engine.rkt index 515bb38..f1c0e59 100644 --- a/syndicate/engine.rkt +++ b/syndicate/engine.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (provide engine? engine-thread diff --git a/syndicate/event-expander.rkt b/syndicate/event-expander.rkt index a2b21d9..c6e05b9 100644 --- a/syndicate/event-expander.rkt +++ b/syndicate/event-expander.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2018-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/field.rkt b/syndicate/field.rkt index b5a30c1..b8569bf 100644 --- a/syndicate/field.rkt +++ b/syndicate/field.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2016-2021 Tony Garnock-Jones (provide field? (rename-out [make-field field]) diff --git a/syndicate/gensym.rkt b/syndicate/gensym.rkt index a2d7666..d69ef9b 100644 --- a/syndicate/gensym.rkt +++ b/syndicate/gensym.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2019-2021 Tony Garnock-Jones (provide strong-gensym) diff --git a/syndicate/info.rkt b/syndicate/info.rkt index 7c3fc07..2a2c2d2 100644 --- a/syndicate/info.rkt +++ b/syndicate/info.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2018-2021 Tony Garnock-Jones #lang setup/infotab (define collection "syndicate") diff --git a/syndicate/lang.rkt b/syndicate/lang.rkt index be63908..084f3ef 100644 --- a/syndicate/lang.rkt +++ b/syndicate/lang.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/main.rkt b/syndicate/main.rkt index a7f2e28..3b7ff6c 100644 --- a/syndicate/main.rkt +++ b/syndicate/main.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/pattern-expander.rkt b/syndicate/pattern-expander.rkt index 6d6984a..d883366 100644 --- a/syndicate/pattern-expander.rkt +++ b/syndicate/pattern-expander.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2018-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/pattern.rkt b/syndicate/pattern.rkt index 92b0dde..d54d008 100644 --- a/syndicate/pattern.rkt +++ b/syndicate/pattern.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2015-2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/private/install.rkt b/syndicate/private/install.rkt index 1a859cc..a5024c6 100644 --- a/syndicate/private/install.rkt +++ b/syndicate/private/install.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (provide pre-installer) diff --git a/syndicate/rewrite.rkt b/syndicate/rewrite.rkt index 8ccef21..0519232 100644 --- a/syndicate/rewrite.rkt +++ b/syndicate/rewrite.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (provide run-rewrites) diff --git a/syndicate/schema-compiler.rkt b/syndicate/schema-compiler.rkt index c94d131..2efbfe1 100644 --- a/syndicate/schema-compiler.rkt +++ b/syndicate/schema-compiler.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (provide schema-compiler-plugin schema-compiler-plugin-mode) diff --git a/syndicate/skeleton.rkt b/syndicate/skeleton.rkt index e6c2486..3df2f27 100644 --- a/syndicate/skeleton.rkt +++ b/syndicate/skeleton.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2018-2021 Tony Garnock-Jones #lang racket/base ;; "Skeletons" describe the indexed structure of a dataspace. diff --git a/syndicate/sturdy.rkt b/syndicate/sturdy.rkt index 664ad46..b0fabfa 100644 --- a/syndicate/sturdy.rkt +++ b/syndicate/sturdy.rkt @@ -1,4 +1,7 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones + ;; Basically Macaroons [1] in a Dataspace context ;; ;; [1]: Birgisson, Arnar, Joe Gibbs Politz, Úlfar Erlingsson, Ankur diff --git a/syndicate/support/counter.rkt b/syndicate/support/counter.rkt index 851278c..92a7991 100644 --- a/syndicate/support/counter.rkt +++ b/syndicate/support/counter.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones (provide make-counter) diff --git a/syndicate/support/hash.rkt b/syndicate/support/hash.rkt index a4d4bd5..4629342 100644 --- a/syndicate/support/hash.rkt +++ b/syndicate/support/hash.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2016-2021 Tony Garnock-Jones #lang racket/base ;; Hash-table utilities that are not (yet) part of Racket diff --git a/syndicate/support/struct.rkt b/syndicate/support/struct.rkt index 51e5e0a..c88d976 100644 --- a/syndicate/support/struct.rkt +++ b/syndicate/support/struct.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2016-2021 Tony Garnock-Jones #lang racket/base ;; Misc support routines not (yet) provided by racket itself diff --git a/syndicate/syntax.rkt b/syndicate/syntax.rkt index bb9c7e9..aca7c92 100644 --- a/syndicate/syntax.rkt +++ b/syndicate/syntax.rkt @@ -1,5 +1,5 @@ ;;; SPDX-License-Identifier: LGPL-3.0-or-later -;;; SPDX-FileCopyrightText: Copyright © 2010-2021 Tony Garnock-Jones +;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones #lang racket/base diff --git a/syndicate/test/core/dataflow.rkt b/syndicate/test/core/dataflow.rkt index f50c858..017d3fe 100644 --- a/syndicate/test/core/dataflow.rkt +++ b/syndicate/test/core/dataflow.rkt @@ -1,4 +1,6 @@ #lang racket/base +;;; SPDX-License-Identifier: LGPL-3.0-or-later +;;; SPDX-FileCopyrightText: Copyright © 2016-2021 Tony Garnock-Jones (require "../../dataflow.rkt")