[chore] Update copyright years

Signed-off-by: Dmitrii.Kosarev a.k.a. Kakadu <Dmitrii.Kosarev@pm.me>
PLTools · Jan 31, 2025 · 89cd528 · 89cd528
1 parent dd9d1fe
commit 89cd528
Show file tree

Hide file tree

Showing 43 changed files with 50 additions and 69 deletions.
diff --git a/camlp5/pa_ocanren.ml b/camlp5/pa_ocanren.ml
@@ -1,7 +1,7 @@
 (*
  * pa_ocanren: a camlp5 extension to implement syntax-level
  * miniKanren constructs.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, St.Petersburg State University
  *
  * This software is free software; you can redistribute it and/or

diff --git a/camlp5/pa_ocanren.mli b/camlp5/pa_ocanren.mli
@@ -1,10 +1,3 @@
 (** Camlp5 syntax extension for {!OCanren}. *)
 
 (** Documentation: TODO *)
-
-(** This function is not really requried. By some reason  compilation crashed without it.
-    An issue in pa_ppx?
-
-    https://github.com/chetmurthy/pa_ppx/issues/3
-    *)
-val fold_right1 : ('a -> 'a -> 'a) -> 'a list -> 'a
diff --git a/ppx/fresh/ppx_fresh.ml b/ppx/fresh/ppx_fresh.ml
@@ -1,6 +1,6 @@
 (*
  * OCanren. PPX suntax extensions.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/ppx/reify/deriving_reify.ml b/ppx/reify/deriving_reify.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren. PPX syntax extensions.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/ppx/reify/ppx_meta_lident.ml b/ppx/reify/ppx_meta_lident.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren. PPX syntax extensions.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/ppx/reify/reify_impl.ml b/ppx/reify/reify_impl.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren. PPX syntax extensions.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/ppx/repr/ppx_repr.ml b/ppx/repr/ppx_repr.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren. PPX suntax extensions.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/samples/JeepProblem.ml b/samples/JeepProblem.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * "Jeep Problem" (https://en.wikipedia.org/wiki/Jeep_problem)
- * Copyright (C) 2016-2022
+ * Copyright (C) 2016-2025
  * Dmitri Boulytchev, Peter Lozov
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/samples/Sorting.ml b/samples/Sorting.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * Sort: relational sorting.
- * Copyright (C) 2016-2022
+ * Copyright (C) 2016-2025
  * Dmitri Boulytchev, Dmitrii Kosarev
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/samples/WGC.ml b/samples/WGC.ml
@@ -1,4 +1,5 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
+
 open GT
 
 module L = List
@@ -73,21 +74,8 @@ let rec eval state moves state' =
     )
     ]
 
-
-(* module T1 = struct
-  [%% distrib
-    type nonrec t = A [@@deriving gt ~options:{gmap}]
-    type ground = t]
-end
-
-module T2 = struct
-  [%%distrib
-  type nonrec 'a t = B of 'a [@@deriving gt ~options:{gmap}]
-  type ground =  T1.ground t ]
-end *)
-
-ocanren type state    = (GT.bool * GT.bool * GT.bool * GT.bool) * (GT.bool * GT.bool * GT.bool * GT.bool);;
-(* type solution = move logic Std.List.logic [@@deriving gt ~options:{show}] *)
+ocanren type state    =
+  (GT.bool * GT.bool * GT.bool * GT.bool) * (GT.bool * GT.bool * GT.bool * GT.bool);;
 ocanren type solution = move Std.List.ground
 
 let _ =

diff --git a/samples/tree.ml b/samples/tree.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * Tree: binary search tree.
- * Copyright (C) 2022-2023
+ * Copyright (C) 2022-2025
  * Dmitri Boulytchev, Dmitrii Kosarev
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/OCanren.ml b/src/OCanren.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Core.ml b/src/core/Core.ml
@@ -1,6 +1,6 @@
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Core.mli b/src/core/Core.mli
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2023
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Disequality.ml b/src/core/Disequality.ml
@@ -1,6 +1,6 @@
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Disequality.mli b/src/core/Disequality.mli
@@ -1,6 +1,6 @@
 (*
  * OCanren.
- * Copyright (C) 2015-2017
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Env.ml b/src/core/Env.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Env.mli b/src/core/Env.mli
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2022
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Logic.ml b/src/core/Logic.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Logic.mli b/src/core/Logic.mli
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2022
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Peep.ml b/src/core/Peep.ml
@@ -1,6 +1,6 @@
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Peep.mli b/src/core/Peep.mli
@@ -1,6 +1,6 @@
 (*
  * OCanren.
- * Copyright (C) 2015-2020
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Runconf.ml b/src/core/Runconf.ml
@@ -1,6 +1,6 @@
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Runconf.mli b/src/core/Runconf.mli
@@ -1,6 +1,6 @@
 (*
  * OCanren.
- * Copyright (C) 2015-2017
+ * Copyright (C) 2015-2015
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *
@@ -19,7 +19,7 @@
 (* A type for a runtime configuration *)
 
 val do_occurs_check : unit -> bool
-  
+
 val occurs_check_on  : unit -> unit
 val occurs_check_off : unit -> unit
-                                                   
+
diff --git a/src/core/Stream.ml b/src/core/Stream.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Stream.mli b/src/core/Stream.mli
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2022
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Subst.ml b/src/core/Subst.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Subst.mli b/src/core/Subst.mli
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2022
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Term.ml b/src/core/Term.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Term.mli b/src/core/Term.mli
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2022
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Timer.ml b/src/core/Timer.ml
@@ -1,6 +1,6 @@
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/core/Timer.mli b/src/core/Timer.mli
@@ -1,6 +1,6 @@
 (*
  * OCanren.
- * Copyright (C) 2015-2020
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/std/Bool.ml b/src/std/Bool.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/std/Bool.mli b/src/std/Bool.mli
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2022
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *
@@ -36,7 +36,7 @@ open Core
 (** Type synonyms to comply with the generic naming scheme *)
 @type bool       = ground with show, html, eq, compare, foldr, foldl, gmap, fmt
 @type bool_logic = logic  with show, html, eq, compare, foldr, foldl, gmap, fmt
-                                     
+
 (** {2 Relational API} *)
 
 (** Logic injection (for reification) *)
@@ -54,7 +54,7 @@ val prj_exn: (bool ilogic, bool) Reifier.t
 (** Synonyms to comply with the generic naming scheme *)
 val reify_bool   : (bool ilogic, bool Logic.logic) Reifier.t
 val prj_exn_bool : (bool ilogic, bool) Reifier.t
-  
+
 (** Constants *)
 val falso : groundi
 val truo  : groundi

diff --git a/src/std/List.ml b/src/std/List.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/std/List.mli b/src/std/List.mli
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2023
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/std/Nat.ml b/src/std/Nat.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/std/Option.ml b/src/std/Option.ml
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2024
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *

diff --git a/src/std/Option.mli b/src/std/Option.mli
@@ -1,7 +1,7 @@
 (* SPDX-License-Identifier: LGPL-2.1-or-later *)
 (*
  * OCanren.
- * Copyright (C) 2015-2023
+ * Copyright (C) 2015-2025
  * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko
  * St.Petersburg State University, JetBrains Research
  *