summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--guile-readline/readline.c5
-rw-r--r--libguile.h1
-rw-r--r--libguile/alist.c4
-rw-r--r--libguile/array-map.c1
-rw-r--r--libguile/arrays.c6
-rw-r--r--libguile/async.c5
-rw-r--r--libguile/atomic.c1
-rw-r--r--libguile/backtrace.c1
-rw-r--r--libguile/boolean.c4
-rw-r--r--libguile/bytevectors.c1
-rw-r--r--libguile/chars.c5
-rw-r--r--libguile/continuations.c1
-rw-r--r--libguile/debug.c1
-rw-r--r--libguile/dynl.c6
-rw-r--r--libguile/eq.c1
-rw-r--r--libguile/error.c1
-rw-r--r--libguile/eval.c1
-rw-r--r--libguile/evalext.c4
-rw-r--r--libguile/expand.c1
-rw-r--r--libguile/feature.c1
-rw-r--r--libguile/filesys.c1
-rw-r--r--libguile/fluids.c1
-rw-r--r--libguile/fports.c1
-rw-r--r--libguile/gc-malloc.c1
-rw-r--r--libguile/gc.c1
-rw-r--r--libguile/goops.c1
-rw-r--r--libguile/goops.h4
-rw-r--r--libguile/guardians.c1
-rw-r--r--libguile/hash.c5
-rw-r--r--libguile/hashtab.c1
-rw-r--r--libguile/hashtab.h3
-rw-r--r--libguile/hooks.c1
-rw-r--r--libguile/i18n.c1
-rw-r--r--libguile/ioext.c1
-rw-r--r--libguile/keywords.c1
-rw-r--r--libguile/list.c5
-rw-r--r--libguile/load.c1
-rw-r--r--libguile/macros.c1
-rw-r--r--libguile/memoize.c1
-rw-r--r--libguile/modules.h4
-rw-r--r--libguile/net_db.c5
-rw-r--r--libguile/numbers.c1
-rw-r--r--libguile/pairs.c5
-rw-r--r--libguile/poll.c1
-rw-r--r--libguile/ports.c1
-rw-r--r--libguile/posix.c1
-rw-r--r--libguile/print.c1
-rw-r--r--libguile/procprop.c4
-rw-r--r--libguile/procs.c1
-rw-r--r--libguile/promises.c5
-rw-r--r--libguile/r6rs-ports.c1
-rw-r--r--libguile/random.c1
-rw-r--r--libguile/rdelim.c1
-rw-r--r--libguile/read.c1
-rw-r--r--libguile/regex-posix.c4
-rw-r--r--libguile/rw.c1
-rw-r--r--libguile/scmsigs.c1
-rw-r--r--libguile/script.c1
-rw-r--r--libguile/simpos.c5
-rw-r--r--libguile/socket.c1
-rw-r--r--libguile/sort.c1
-rw-r--r--libguile/srcprop.c1
-rw-r--r--libguile/srfi-1.c1
-rw-r--r--libguile/srfi-4.c1
-rw-r--r--libguile/srfi-60.c1
-rw-r--r--libguile/stacks.c1
-rw-r--r--libguile/stime.c5
-rw-r--r--libguile/strings.c1
-rw-r--r--libguile/strorder.c4
-rw-r--r--libguile/strports.c1
-rw-r--r--libguile/struct.c1
-rw-r--r--libguile/symbols.c1
-rw-r--r--libguile/syntax.c1
-rw-r--r--libguile/threads.c1
-rw-r--r--libguile/throw.c1
-rw-r--r--libguile/trees.c5
-rw-r--r--libguile/unicode.c1
-rw-r--r--libguile/values.c4
-rw-r--r--libguile/variable.c4
-rw-r--r--libguile/vectors.c1
-rw-r--r--libguile/vports.c4
-rw-r--r--libguile/weak-set.c1
-rw-r--r--libguile/weak-table.c1
-rw-r--r--libguile/weak-vector.c1
84 files changed, 50 insertions, 123 deletions
diff --git a/guile-readline/readline.c b/guile-readline/readline.c
index c15275dd3..92efda6b7 100644
--- a/guile-readline/readline.c
+++ b/guile-readline/readline.c
@@ -1,7 +1,7 @@
/* readline.c --- line editing support for Guile */
-/* Copyright (C) 1997,1999,2000,2001, 2002, 2003, 2006, 2007, 2008,
- * 2009, 2010, 2013 Free Software Foundation, Inc.
+/* Copyright (C) 1997,1999,2000-2003,2006-2010,2013,2018
+ * Free Software Foundation, Inc.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
@@ -37,7 +37,6 @@
#include <sys/select.h>
#include <signal.h>
-#include "libguile/validate.h"
#include "guile-readline/readline.h"
scm_t_option scm_readline_opts[] = {
diff --git a/libguile.h b/libguile.h
index e37b081c3..1fce4f422 100644
--- a/libguile.h
+++ b/libguile.h
@@ -111,7 +111,6 @@ extern "C" {
#include "libguile/throw.h"
#include "libguile/trees.h"
#include "libguile/uniform.h"
-#include "libguile/validate.h"
#include "libguile/values.h"
#include "libguile/variable.h"
#include "libguile/vectors.h"
diff --git a/libguile/alist.c b/libguile/alist.c
index b29186020..a1234bacc 100644
--- a/libguile/alist.c
+++ b/libguile/alist.c
@@ -1,4 +1,5 @@
-/* Copyright (C) 1995, 96, 97, 98, 99, 2000, 2001, 2004, 2006, 2008, 2010, 2011 Free Software Foundation, Inc.
+/* Copyright (C) 1995-2001,2004,2006,2008,2010-2011,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -26,7 +27,6 @@
#include "libguile/eq.h"
#include "libguile/list.h"
-#include "libguile/validate.h"
#include "libguile/pairs.h"
#include "libguile/numbers.h"
#include "libguile/alist.h"
diff --git a/libguile/array-map.c b/libguile/array-map.c
index d18527ba2..a0cbfb635 100644
--- a/libguile/array-map.c
+++ b/libguile/array-map.c
@@ -40,7 +40,6 @@
#include "libguile/procs.h"
#include "libguile/generalized-arrays.h"
-#include "libguile/validate.h"
#include "libguile/array-map.h"
#include <assert.h>
diff --git a/libguile/arrays.c b/libguile/arrays.c
index 682fbf6b2..e079a726c 100644
--- a/libguile/arrays.c
+++ b/libguile/arrays.c
@@ -1,6 +1,5 @@
-/* Copyright (C) 1995,1996,1997,1998,2000,2001,2002,2003,2004,2005,
- * 2006, 2009, 2010, 2011, 2012, 2013, 2014, 2015 Free Software Foundation,
- * Inc.
+/* Copyright (C) 1995-1998,2000-2006,2009-2015,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -48,7 +47,6 @@
#include "libguile/dynwind.h"
#include "libguile/read.h"
-#include "libguile/validate.h"
#include "libguile/arrays.h"
#include "libguile/array-map.h"
#include "libguile/generalized-vectors.h"
diff --git a/libguile/async.c b/libguile/async.c
index fc03078e7..d8d5d2c71 100644
--- a/libguile/async.c
+++ b/libguile/async.c
@@ -1,5 +1,5 @@
-/* Copyright (C) 1995,1996,1997,1998,2000,2001, 2002, 2004, 2006, 2008,
- * 2009, 2010, 2011, 2014 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1998,2000-2002,2004,2006,2008-2011,2014,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -31,7 +31,6 @@
#include "libguile/dynwind.h"
#include "libguile/deprecation.h"
-#include "libguile/validate.h"
#include "libguile/async.h"
#ifdef HAVE_STRING_H
diff --git a/libguile/atomic.c b/libguile/atomic.c
index 5efa08861..e5d3ee942 100644
--- a/libguile/atomic.c
+++ b/libguile/atomic.c
@@ -25,7 +25,6 @@
#include "libguile/_scm.h"
#include "libguile/extensions.h"
#include "libguile/ports.h"
-#include "libguile/validate.h"
#include "libguile/atomics-internal.h"
#include "libguile/atomic.h"
diff --git a/libguile/backtrace.c b/libguile/backtrace.c
index c430630de..73b40dbe2 100644
--- a/libguile/backtrace.c
+++ b/libguile/backtrace.c
@@ -49,7 +49,6 @@
#include "libguile/strports.h"
#include "libguile/struct.h"
#include "libguile/throw.h"
-#include "libguile/validate.h"
/* {Error reporting and backtraces}
*
diff --git a/libguile/boolean.c b/libguile/boolean.c
index f8c773839..b23aa32dc 100644
--- a/libguile/boolean.c
+++ b/libguile/boolean.c
@@ -1,4 +1,5 @@
-/* Copyright (C) 1995, 1996, 2000, 2001, 2006, 2008, 2009, 2010, 2011 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1996,2000-2001,2006,2008-2011,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -24,7 +25,6 @@
#include "libguile/_scm.h"
-#include "libguile/validate.h"
#include "libguile/boolean.h"
#include "libguile/tags.h"
diff --git a/libguile/bytevectors.c b/libguile/bytevectors.c
index f359ca3b3..3a0d90724 100644
--- a/libguile/bytevectors.c
+++ b/libguile/bytevectors.c
@@ -42,7 +42,6 @@
#include "libguile/bytevectors.h"
#include "libguile/generalized-vectors.h"
#include "libguile/strings.h"
-#include "libguile/validate.h"
#include "libguile/arrays.h"
#include "libguile/array-handle.h"
#include "libguile/uniform.h"
diff --git a/libguile/chars.c b/libguile/chars.c
index 064fca40a..9bd601599 100644
--- a/libguile/chars.c
+++ b/libguile/chars.c
@@ -1,5 +1,5 @@
-/* Copyright (C) 1995,1996,1998, 2000, 2001, 2004, 2006, 2008, 2009,
- * 2010, 2011, 2014 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1996,1998,2000-2001,2004,2006,2008-2011,2014,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -29,7 +29,6 @@
#include <unictype.h>
#include "libguile/_scm.h"
-#include "libguile/validate.h"
#include "libguile/chars.h"
#include "libguile/srfi-14.h"
diff --git a/libguile/continuations.c b/libguile/continuations.c
index 6cf483f12..1669bc1a5 100644
--- a/libguile/continuations.c
+++ b/libguile/continuations.c
@@ -44,7 +44,6 @@
#include "libguile/vm.h"
#include "libguile/instructions.h"
-#include "libguile/validate.h"
#include "libguile/continuations.h"
diff --git a/libguile/debug.c b/libguile/debug.c
index 056456ddd..356882475 100644
--- a/libguile/debug.c
+++ b/libguile/debug.c
@@ -59,7 +59,6 @@
#include "libguile/memoize.h"
#include "libguile/vm.h"
-#include "libguile/validate.h"
#include "libguile/debug.h"
#include "libguile/private-options.h"
diff --git a/libguile/dynl.c b/libguile/dynl.c
index 2a25e5d2e..98891a938 100644
--- a/libguile/dynl.c
+++ b/libguile/dynl.c
@@ -1,7 +1,6 @@
/* dynl.c - dynamic linking
- *
- * Copyright (C) 1990, 91, 92, 93, 94, 95, 96, 97, 98, 99, 2000, 2001, 2002,
- * 2003, 2008, 2009, 2010, 2011, 2017 Free Software Foundation, Inc.
+ * Copyright (C) 1990-2003,2008-2011,2017-2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -59,7 +58,6 @@ maybe_drag_in_eprintf ()
#include "libguile/ports.h"
#include "libguile/strings.h"
#include "libguile/deprecation.h"
-#include "libguile/validate.h"
#include "libguile/dynwind.h"
#include "libguile/foreign.h"
#include "libguile/gc.h"
diff --git a/libguile/eq.c b/libguile/eq.c
index 492d43b68..0dda7c739 100644
--- a/libguile/eq.c
+++ b/libguile/eq.c
@@ -43,7 +43,6 @@
#include "libguile/strorder.h"
#include "libguile/struct.h"
#include "libguile/syntax.h"
-#include "libguile/validate.h"
#include "libguile/vectors.h"
diff --git a/libguile/error.c b/libguile/error.c
index e998cbe26..00cbfe983 100644
--- a/libguile/error.c
+++ b/libguile/error.c
@@ -35,7 +35,6 @@
#include "libguile/strings.h"
#include "libguile/throw.h"
-#include "libguile/validate.h"
#include "libguile/error.h"
#ifdef HAVE_STRING_H
diff --git a/libguile/eval.c b/libguile/eval.c
index 8bfe465c6..3b7e56046 100644
--- a/libguile/eval.c
+++ b/libguile/eval.c
@@ -59,7 +59,6 @@
#include "libguile/strings.h"
#include "libguile/threads.h"
#include "libguile/throw.h"
-#include "libguile/validate.h"
#include "libguile/values.h"
#include "libguile/vectors.h"
#include "libguile/vm.h"
diff --git a/libguile/evalext.c b/libguile/evalext.c
index 33205a2ca..1644a9de7 100644
--- a/libguile/evalext.c
+++ b/libguile/evalext.c
@@ -1,4 +1,5 @@
-/* Copyright (C) 1998,1999,2000,2001,2002,2003, 2006, 2008, 2009, 2010, 2011, 2012, 2013, 2015 Free Software Foundation, Inc.
+/* Copyright (C) 1998-2003,2006,2008-2013,2015,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -27,7 +28,6 @@
#include "libguile/fluids.h"
#include "libguile/modules.h"
-#include "libguile/validate.h"
#include "libguile/evalext.h"
SCM_DEFINE (scm_defined_p, "defined?", 1, 1, 0,
diff --git a/libguile/expand.c b/libguile/expand.c
index c1f557ce5..1780f759b 100644
--- a/libguile/expand.c
+++ b/libguile/expand.c
@@ -39,7 +39,6 @@
#include "libguile/srcprop.h"
#include "libguile/strings.h"
#include "libguile/throw.h"
-#include "libguile/validate.h"
diff --git a/libguile/feature.c b/libguile/feature.c
index 65fcaea71..8f10223fc 100644
--- a/libguile/feature.c
+++ b/libguile/feature.c
@@ -29,7 +29,6 @@
#include "libguile/_scm.h"
#include "libguile/strings.h"
-#include "libguile/validate.h"
#include "libguile/fluids.h"
#include "libguile/feature.h"
diff --git a/libguile/filesys.c b/libguile/filesys.c
index 5778f6594..21cef9b4f 100644
--- a/libguile/filesys.c
+++ b/libguile/filesys.c
@@ -95,7 +95,6 @@
#include "libguile/srfi-13.h"
#include "libguile/strings.h"
#include "libguile/syscalls.h"
-#include "libguile/validate.h"
#include "libguile/vectors.h"
diff --git a/libguile/fluids.c b/libguile/fluids.c
index 88d1fd16e..0c4f5d862 100644
--- a/libguile/fluids.c
+++ b/libguile/fluids.c
@@ -36,7 +36,6 @@
#include "libguile/hashtab.h"
#include "libguile/ports.h"
#include "libguile/print.h"
-#include "libguile/validate.h"
#include "libguile/weak-table.h"
/* A dynamic state associates fluids with values. There are two
diff --git a/libguile/fports.c b/libguile/fports.c
index ad040a39e..4694abb1f 100644
--- a/libguile/fports.c
+++ b/libguile/fports.c
@@ -62,7 +62,6 @@
#include "libguile/read.h"
#include "libguile/strings.h"
#include "libguile/syscalls.h"
-#include "libguile/validate.h"
#if SIZEOF_OFF_T == SIZEOF_INT
#define OFF_T_MAX INT_MAX
diff --git a/libguile/gc-malloc.c b/libguile/gc-malloc.c
index 0bf13f80b..3b9b9ca28 100644
--- a/libguile/gc-malloc.c
+++ b/libguile/gc-malloc.c
@@ -42,7 +42,6 @@
#include "libguile/hashtab.h"
#include "libguile/tags.h"
-#include "libguile/validate.h"
#include "libguile/deprecation.h"
#include "libguile/gc.h"
diff --git a/libguile/gc.c b/libguile/gc.c
index 646adff1a..b3bbdbcde 100644
--- a/libguile/gc.c
+++ b/libguile/gc.c
@@ -47,7 +47,6 @@
#include "libguile/hashtab.h"
#include "libguile/tags.h"
-#include "libguile/validate.h"
#include "libguile/deprecation.h"
#include "libguile/gc.h"
#include "libguile/dynwind.h"
diff --git a/libguile/goops.c b/libguile/goops.c
index a51307bde..e5e2b0d1e 100644
--- a/libguile/goops.c
+++ b/libguile/goops.c
@@ -49,7 +49,6 @@
#include "libguile/vectors.h"
#include "libguile/weak-table.h"
-#include "libguile/validate.h"
#include "libguile/goops.h"
/* Objects have identity, so references to classes and instances are by
diff --git a/libguile/goops.h b/libguile/goops.h
index 332635bd9..1ffa0cd4c 100644
--- a/libguile/goops.h
+++ b/libguile/goops.h
@@ -3,7 +3,8 @@
#ifndef SCM_GOOPS_H
#define SCM_GOOPS_H
-/* Copyright (C) 1998,1999,2000,2001,2002,2003, 2006, 2008, 2009, 2011, 2015, 2017 Free Software Foundation, Inc.
+/* Copyright (C) 1998-2003,2006,2008-2009,2011,2015,2017-2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -32,7 +33,6 @@
#include "libguile/__scm.h"
-#include "libguile/validate.h"
/* {Class flags}
*
diff --git a/libguile/guardians.c b/libguile/guardians.c
index f5a931cf0..2a4fd5a05 100644
--- a/libguile/guardians.c
+++ b/libguile/guardians.c
@@ -59,7 +59,6 @@
#include "libguile/ports.h"
#include "libguile/print.h"
#include "libguile/smob.h"
-#include "libguile/validate.h"
#include "libguile/weak-vector.h"
diff --git a/libguile/hash.c b/libguile/hash.c
index 93c6f7aa8..9c5618dce 100644
--- a/libguile/hash.c
+++ b/libguile/hash.c
@@ -1,5 +1,5 @@
-/* Copyright (C) 1995, 1996, 1997, 2000, 2001, 2003, 2004, 2006, 2008,
- * 2009, 2010, 2011, 2012, 2014, 2015, 2017 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1997,2000-2001,2003-2004,2006,2008-2015,2017-2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -38,7 +38,6 @@
#include "libguile/syntax.h"
#include "libguile/vectors.h"
-#include "libguile/validate.h"
#include "libguile/hash.h"
diff --git a/libguile/hashtab.c b/libguile/hashtab.c
index e675d6a7c..f9646185a 100644
--- a/libguile/hashtab.c
+++ b/libguile/hashtab.c
@@ -36,7 +36,6 @@
#include "libguile/hash.h"
#include "libguile/hashtab.h"
#include "libguile/ports.h"
-#include "libguile/validate.h"
#include "libguile/vectors.h"
#include "libguile/weak-table.h"
diff --git a/libguile/hashtab.h b/libguile/hashtab.h
index 82ed22e66..888e66ce9 100644
--- a/libguile/hashtab.h
+++ b/libguile/hashtab.h
@@ -3,7 +3,8 @@
#ifndef SCM_HASHTAB_H
#define SCM_HASHTAB_H
-/* Copyright (C) 1995,1996,1999,2000,2001, 2003, 2004, 2006, 2008, 2009, 2011 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1996,1999-2001,2003-2004,2006,2008-2009,2011,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
diff --git a/libguile/hooks.c b/libguile/hooks.c
index fce2ff387..9136c5e88 100644
--- a/libguile/hooks.c
+++ b/libguile/hooks.c
@@ -32,7 +32,6 @@
#include "libguile/smob.h"
#include "libguile/strings.h"
-#include "libguile/validate.h"
#include "libguile/hooks.h"
diff --git a/libguile/i18n.c b/libguile/i18n.c
index efb5dd5af..f8364051b 100644
--- a/libguile/i18n.c
+++ b/libguile/i18n.c
@@ -31,7 +31,6 @@
#include "libguile/dynwind.h"
#include "libguile/syscalls.h"
#include "libguile/smob.h"
-#include "libguile/validate.h"
#include "libguile/values.h"
#include "libguile/threads.h"
diff --git a/libguile/ioext.c b/libguile/ioext.c
index 7ef08eb8f..53e95dd2a 100644
--- a/libguile/ioext.c
+++ b/libguile/ioext.c
@@ -40,7 +40,6 @@
#include "libguile/ports.h"
#include "libguile/strings.h"
#include "libguile/syscalls.h"
-#include "libguile/validate.h"
#include "libguile/weak-set.h"
#include <fcntl.h>
diff --git a/libguile/keywords.c b/libguile/keywords.c
index f46e7a40e..c1bfea29f 100644
--- a/libguile/keywords.c
+++ b/libguile/keywords.c
@@ -33,7 +33,6 @@
#include "libguile/dynwind.h"
#include "libguile/hashtab.h"
-#include "libguile/validate.h"
#include "libguile/keywords.h"
#include "libguile/strings.h"
diff --git a/libguile/list.c b/libguile/list.c
index 939631531..a2b63a1a1 100644
--- a/libguile/list.c
+++ b/libguile/list.c
@@ -1,5 +1,5 @@
-/* Copyright (C) 1995-1997, 2000, 2001, 2003, 2004, 2008-2011,
- * 2014 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1997,2000-2001,2003-2004,2008-2011,2014,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -26,7 +26,6 @@
#include "libguile/_scm.h"
#include "libguile/eq.h"
-#include "libguile/validate.h"
#include "libguile/list.h"
#include "libguile/eval.h"
diff --git a/libguile/load.c b/libguile/load.c
index 859e12472..acc14f59a 100644
--- a/libguile/load.c
+++ b/libguile/load.c
@@ -46,7 +46,6 @@
#include "libguile/strings.h"
#include "libguile/throw.h"
-#include "libguile/validate.h"
#include "libguile/load.h"
#include "libguile/fluids.h"
diff --git a/libguile/macros.c b/libguile/macros.c
index 1e0af72c3..27ed7feea 100644
--- a/libguile/macros.c
+++ b/libguile/macros.c
@@ -27,7 +27,6 @@
#include "libguile/print.h"
#include "libguile/random.h"
#include "libguile/smob.h"
-#include "libguile/validate.h"
#include "libguile/macros.h"
#include "libguile/private-options.h"
diff --git a/libguile/memoize.c b/libguile/memoize.c
index e07381845..f3f03e2dc 100644
--- a/libguile/memoize.c
+++ b/libguile/memoize.c
@@ -39,7 +39,6 @@
#include "libguile/print.h"
#include "libguile/strings.h"
#include "libguile/throw.h"
-#include "libguile/validate.h"
diff --git a/libguile/modules.h b/libguile/modules.h
index 207ec4470..f83d08db9 100644
--- a/libguile/modules.h
+++ b/libguile/modules.h
@@ -3,7 +3,8 @@
#ifndef SCM_MODULES_H
#define SCM_MODULES_H
-/* Copyright (C) 1998, 2000, 2001, 2002, 2003, 2006, 2007, 2008, 2011, 2012, 2018 Free Software Foundation, Inc.
+/* Copyright (C) 1998,2000-2003,2006-2008,2011-2012,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -25,7 +26,6 @@
#include "libguile/__scm.h"
-#include "libguile/validate.h"
diff --git a/libguile/net_db.c b/libguile/net_db.c
index 98c6feddd..7680f9188 100644
--- a/libguile/net_db.c
+++ b/libguile/net_db.c
@@ -1,6 +1,6 @@
/* "net_db.c" network database support
- * Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2006, 2009,
- * 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
+ * Copyright (C) 1995-2001,2006,2009-2013,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -51,7 +51,6 @@
#include "libguile/vectors.h"
#include "libguile/dynwind.h"
-#include "libguile/validate.h"
#include "libguile/net_db.h"
#include "libguile/socket.h"
diff --git a/libguile/numbers.c b/libguile/numbers.c
index dc13e4d19..f512e979f 100644
--- a/libguile/numbers.c
+++ b/libguile/numbers.c
@@ -69,7 +69,6 @@
#include "libguile/goops.h"
#include "libguile/values.h"
-#include "libguile/validate.h"
#include "libguile/numbers.h"
#include "libguile/deprecation.h"
diff --git a/libguile/pairs.c b/libguile/pairs.c
index cea545236..44b627f97 100644
--- a/libguile/pairs.c
+++ b/libguile/pairs.c
@@ -1,5 +1,5 @@
-/* Copyright (C) 1995,1996,2000,2001, 2004, 2005, 2006, 2008, 2009,
- * 2011, 2012, 2013 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1996,2000-2001,2004-2006,2008-2009,2011-2013,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -24,7 +24,6 @@
#endif
#include "libguile/_scm.h"
-#include "libguile/validate.h"
#include "libguile/pairs.h"
diff --git a/libguile/poll.c b/libguile/poll.c
index b144fdda0..ade7e7b75 100644
--- a/libguile/poll.c
+++ b/libguile/poll.c
@@ -36,7 +36,6 @@
#include "libguile/numbers.h"
#include "libguile/ports-internal.h"
#include "libguile/syscalls.h"
-#include "libguile/validate.h"
#include "libguile/poll.h"
diff --git a/libguile/ports.c b/libguile/ports.c
index 555e48a64..cac122244 100644
--- a/libguile/ports.c
+++ b/libguile/ports.c
@@ -54,7 +54,6 @@
#include "libguile/hashtab.h"
#include "libguile/strings.h"
#include "libguile/mallocs.h"
-#include "libguile/validate.h"
#include "libguile/ports.h"
#include "libguile/ports-internal.h"
#include "libguile/private-options.h"
diff --git a/libguile/posix.c b/libguile/posix.c
index e83cfc86f..02b58fe00 100644
--- a/libguile/posix.c
+++ b/libguile/posix.c
@@ -78,7 +78,6 @@
#include "libguile/vectors.h"
#include "libguile/values.h"
-#include "libguile/validate.h"
#include "libguile/posix.h"
#include "libguile/gettext.h"
#include "libguile/threads.h"
diff --git a/libguile/print.c b/libguile/print.c
index 5af49e7ca..cc9df8f4f 100644
--- a/libguile/print.c
+++ b/libguile/print.c
@@ -61,7 +61,6 @@
#include "libguile/numbers.h"
#include "libguile/vm.h"
-#include "libguile/validate.h"
#include "libguile/print.h"
#include "libguile/private-options.h"
diff --git a/libguile/procprop.c b/libguile/procprop.c
index ad56bd5ba..91002638e 100644
--- a/libguile/procprop.c
+++ b/libguile/procprop.c
@@ -1,4 +1,5 @@
-/* Copyright (C) 1995,1996,1998,2000,2001,2003,2004, 2006, 2008, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1996,1998,2000-2001,2003-2004,2006,2008-2013,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -34,7 +35,6 @@
#include "libguile/programs.h"
#include "libguile/vm-builtins.h"
-#include "libguile/validate.h"
#include "libguile/procprop.h"
diff --git a/libguile/procs.c b/libguile/procs.c
index 2651b2dfe..1b8cf614c 100644
--- a/libguile/procs.c
+++ b/libguile/procs.c
@@ -31,7 +31,6 @@
#include "libguile/smob.h"
#include "libguile/deprecation.h"
-#include "libguile/validate.h"
#include "libguile/procs.h"
#include "libguile/procprop.h"
#include "libguile/loader.h"
diff --git a/libguile/promises.c b/libguile/promises.c
index 3ed229443..1aa0f63e4 100644
--- a/libguile/promises.c
+++ b/libguile/promises.c
@@ -1,5 +1,5 @@
-/* Copyright (C) 1995,1996,1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,2008,2009,2010,2011
- * Free Software Foundation, Inc.
+/* Copyright (C) 1995-2011,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -55,7 +55,6 @@
#include "libguile/strings.h"
#include "libguile/threads.h"
#include "libguile/throw.h"
-#include "libguile/validate.h"
#include "libguile/values.h"
#include "libguile/promises.h"
diff --git a/libguile/r6rs-ports.c b/libguile/r6rs-ports.c
index 34b790a76..a5245c62b 100644
--- a/libguile/r6rs-ports.c
+++ b/libguile/r6rs-ports.c
@@ -33,7 +33,6 @@
#include "libguile/r6rs-ports.h"
#include "libguile/strings.h"
#include "libguile/smob.h"
-#include "libguile/validate.h"
#include "libguile/values.h"
#include "libguile/vectors.h"
#include "libguile/ports-internal.h"
diff --git a/libguile/random.c b/libguile/random.c
index 13af962f0..5c6301f7d 100644
--- a/libguile/random.c
+++ b/libguile/random.c
@@ -45,7 +45,6 @@
#include "libguile/vectors.h"
#include "libguile/generalized-vectors.h"
-#include "libguile/validate.h"
#include "libguile/random.h"
diff --git a/libguile/rdelim.c b/libguile/rdelim.c
index f01ddf1e8..6e048879d 100644
--- a/libguile/rdelim.c
+++ b/libguile/rdelim.c
@@ -35,7 +35,6 @@
#include "libguile/strings.h"
#include "libguile/srfi-13.h"
#include "libguile/strports.h"
-#include "libguile/validate.h"
SCM_DEFINE (scm_read_delimited_x, "%read-delimited!", 3, 3, 0,
(SCM delims, SCM str, SCM gobble, SCM port, SCM start, SCM end),
diff --git a/libguile/read.c b/libguile/read.c
index 4b0fab022..e19dd6c4a 100644
--- a/libguile/read.c
+++ b/libguile/read.c
@@ -52,7 +52,6 @@
#include "libguile/strings.h"
#include "libguile/strports.h"
#include "libguile/vectors.h"
-#include "libguile/validate.h"
#include "libguile/srfi-4.h"
#include "libguile/srfi-13.h"
diff --git a/libguile/regex-posix.c b/libguile/regex-posix.c
index 9350fb38b..79ae34e69 100644
--- a/libguile/regex-posix.c
+++ b/libguile/regex-posix.c
@@ -1,4 +1,5 @@
-/* Copyright (C) 1997, 1998, 1999, 2000, 2001, 2004, 2006, 2007, 2010, 2011, 2012 Free Software Foundation, Inc.
+/* Copyright (C) 1997-2001,2004,2006-2007,2010-2012,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -50,7 +51,6 @@
#include "libguile/feature.h"
#include "libguile/strings.h"
-#include "libguile/validate.h"
#include "libguile/regex-posix.h"
/* This is defined by some regex libraries and omitted by others. */
diff --git a/libguile/rw.c b/libguile/rw.c
index 8387d944b..5cae924b2 100644
--- a/libguile/rw.c
+++ b/libguile/rw.c
@@ -33,7 +33,6 @@
#include "libguile/ports.h"
#include "libguile/rw.h"
#include "libguile/strings.h"
-#include "libguile/validate.h"
#include "libguile/modules.h"
#include "libguile/strports.h"
#include "libguile/syscalls.h"
diff --git a/libguile/scmsigs.c b/libguile/scmsigs.c
index b7773d49f..b3bf11240 100644
--- a/libguile/scmsigs.c
+++ b/libguile/scmsigs.c
@@ -51,7 +51,6 @@
#include "libguile/syscalls.h"
#include "libguile/threads.h"
-#include "libguile/validate.h"
#include "libguile/scmsigs.h"
diff --git a/libguile/script.c b/libguile/script.c
index b24d10aa2..dd3167181 100644
--- a/libguile/script.c
+++ b/libguile/script.c
@@ -39,7 +39,6 @@
#include "libguile/script.h"
#include "libguile/strings.h"
#include "libguile/strports.h"
-#include "libguile/validate.h"
#include "libguile/version.h"
#include "libguile/vm.h"
diff --git a/libguile/simpos.c b/libguile/simpos.c
index 38d8dfde1..2e8c0448b 100644
--- a/libguile/simpos.c
+++ b/libguile/simpos.c
@@ -1,5 +1,5 @@
-/* Copyright (C) 1995, 1996, 1997, 1998, 2000, 2001, 2003, 2004, 2009,
- * 2010, 2012, 2013, 2014 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1998,2000-2001,2003-2004,2009-2014,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -30,7 +30,6 @@
#include "libguile/_scm.h"
#include "libguile/strings.h"
-#include "libguile/validate.h"
#include "libguile/simpos.h"
diff --git a/libguile/socket.c b/libguile/socket.c
index 52f4ca194..572ad68aa 100644
--- a/libguile/socket.c
+++ b/libguile/socket.c
@@ -57,7 +57,6 @@
#include "libguile/srfi-13.h"
#include "libguile/syscalls.h"
-#include "libguile/validate.h"
#include "libguile/socket.h"
diff --git a/libguile/sort.c b/libguile/sort.c
index 1e56b39f7..00fb5b66f 100644
--- a/libguile/sort.c
+++ b/libguile/sort.c
@@ -49,7 +49,6 @@
#include "libguile/async.h"
#include "libguile/dynwind.h"
-#include "libguile/validate.h"
#include "libguile/sort.h"
/* We have two quicksort variants: one for SCM (#t) arrays and one for
diff --git a/libguile/srcprop.c b/libguile/srcprop.c
index fc819f739..c98b22b94 100644
--- a/libguile/srcprop.c
+++ b/libguile/srcprop.c
@@ -36,7 +36,6 @@
#include "libguile/gc.h"
#include "libguile/weak-table.h"
-#include "libguile/validate.h"
#include "libguile/srcprop.h"
#include "libguile/private-options.h"
diff --git a/libguile/srfi-1.c b/libguile/srfi-1.c
index b176f6afd..4859dd457 100644
--- a/libguile/srfi-1.c
+++ b/libguile/srfi-1.c
@@ -27,7 +27,6 @@
#include "libguile/_scm.h"
#include "libguile/eq.h"
-#include "libguile/validate.h"
#include "libguile/list.h"
#include "libguile/eval.h"
#include "libguile/srfi-1.h"
diff --git a/libguile/srfi-4.c b/libguile/srfi-4.c
index 55bacf9f6..c4f9b1ec1 100644
--- a/libguile/srfi-4.c
+++ b/libguile/srfi-4.c
@@ -32,7 +32,6 @@
#include "libguile/extensions.h"
#include "libguile/generalized-vectors.h"
#include "libguile/uniform.h"
-#include "libguile/validate.h"
#define DEFINE_SCHEME_PROXY100(cname, modname, scmname) \
diff --git a/libguile/srfi-60.c b/libguile/srfi-60.c
index 5b4f23796..80f476d8d 100644
--- a/libguile/srfi-60.c
+++ b/libguile/srfi-60.c
@@ -27,7 +27,6 @@
#include "libguile/_scm.h"
#include "libguile/eq.h"
-#include "libguile/validate.h"
#include "libguile/extensions.h"
#include "libguile/numbers.h"
diff --git a/libguile/stacks.c b/libguile/stacks.c
index a529e594f..b7ed5ff11 100644
--- a/libguile/stacks.c
+++ b/libguile/stacks.c
@@ -37,7 +37,6 @@
#include "libguile/vm.h" /* to capture vm stacks */
#include "libguile/frames.h" /* vm frames */
-#include "libguile/validate.h"
#include "libguile/stacks.h"
#include "libguile/private-options.h"
diff --git a/libguile/stime.c b/libguile/stime.c
index 4a7829833..f4dd06fb6 100644
--- a/libguile/stime.c
+++ b/libguile/stime.c
@@ -1,5 +1,5 @@
-/* Copyright (C) 1995,1996,1997,1998,1999,2000,2001, 2003, 2004, 2005, 2006,
- * 2007, 2008, 2009, 2011, 2013, 2014 Free Software Foundation, Inc.
+/* Copyright (C) 1995-2001,2003-2009,2011,2013-2014,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -57,7 +57,6 @@
#include "libguile/dynwind.h"
#include "libguile/strings.h"
-#include "libguile/validate.h"
#include "libguile/stime.h"
#include <unistd.h>
diff --git a/libguile/strings.c b/libguile/strings.c
index 5c87d3f81..2e3afe2a6 100644
--- a/libguile/strings.c
+++ b/libguile/strings.c
@@ -43,7 +43,6 @@
#include "libguile/error.h"
#include "libguile/generalized-vectors.h"
#include "libguile/deprecation.h"
-#include "libguile/validate.h"
#include "libguile/private-options.h"
diff --git a/libguile/strorder.c b/libguile/strorder.c
index a51ce17ae..b8f278721 100644
--- a/libguile/strorder.c
+++ b/libguile/strorder.c
@@ -1,4 +1,5 @@
-/* Copyright (C) 1995, 1996, 1999, 2000, 2004, 2006, 2008, 2009, 2010 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1996,1999-2000,2004,2006,2008-2010,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -26,7 +27,6 @@
#include "libguile/strings.h"
#include "libguile/symbols.h"
-#include "libguile/validate.h"
#include "libguile/strorder.h"
#include "libguile/srfi-13.h"
diff --git a/libguile/strports.c b/libguile/strports.c
index edd1669ed..03891757d 100644
--- a/libguile/strports.c
+++ b/libguile/strports.c
@@ -37,7 +37,6 @@
#include "libguile/strings.h"
#include "libguile/syscalls.h"
#include "libguile/modules.h"
-#include "libguile/validate.h"
#include "libguile/deprecation.h"
#include "libguile/srfi-4.h"
diff --git a/libguile/struct.c b/libguile/struct.c
index 6cbfde5ee..d81c90b75 100644
--- a/libguile/struct.c
+++ b/libguile/struct.c
@@ -40,7 +40,6 @@
#include "libguile/strings.h"
#include "libguile/srfi-13.h"
-#include "libguile/validate.h"
#include "libguile/struct.h"
#include "libguile/eq.h"
diff --git a/libguile/symbols.c b/libguile/symbols.c
index 4fb26eb84..7f305d1ad 100644
--- a/libguile/symbols.c
+++ b/libguile/symbols.c
@@ -41,7 +41,6 @@
#include "libguile/read.h"
#include "libguile/srfi-13.h"
-#include "libguile/validate.h"
#include "libguile/symbols.h"
#include "libguile/private-options.h"
diff --git a/libguile/syntax.c b/libguile/syntax.c
index 900182873..223103609 100644
--- a/libguile/syntax.c
+++ b/libguile/syntax.c
@@ -27,7 +27,6 @@
#include "libguile/eval.h"
#include "libguile/ports.h"
#include "libguile/syntax.h"
-#include "libguile/validate.h"
diff --git a/libguile/threads.c b/libguile/threads.c
index 1cf5c93db..bc8a7acaf 100644
--- a/libguile/threads.c
+++ b/libguile/threads.c
@@ -45,7 +45,6 @@
#include "libguile/deprecation.h"
#include "libguile/extensions.h"
#include "libguile/hashtab.h"
-#include "libguile/validate.h"
#include "libguile/eval.h"
#include "libguile/async.h"
#include "libguile/ports.h"
diff --git a/libguile/throw.c b/libguile/throw.c
index 7ef6dfd9a..bc7b1da97 100644
--- a/libguile/throw.c
+++ b/libguile/throw.c
@@ -38,7 +38,6 @@
#include "libguile/stacks.h"
#include "libguile/fluids.h"
#include "libguile/ports.h"
-#include "libguile/validate.h"
#include "libguile/vm.h"
#include "libguile/throw.h"
#include "libguile/init.h"
diff --git a/libguile/trees.c b/libguile/trees.c
index 88adf8820..c4cc06f46 100644
--- a/libguile/trees.c
+++ b/libguile/trees.c
@@ -1,5 +1,5 @@
-/* Copyright (C) 1995,1996,1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,2008,2009,2010
- * Free Software Foundation, Inc.
+/* Copyright (C) 1995-2010,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -26,7 +26,6 @@
#include "libguile/_scm.h"
#include "libguile/eq.h"
-#include "libguile/validate.h"
#include "libguile/list.h"
#include "libguile/vectors.h"
#include "libguile/srcprop.h"
diff --git a/libguile/unicode.c b/libguile/unicode.c
index 50c96dac7..628300e75 100644
--- a/libguile/unicode.c
+++ b/libguile/unicode.c
@@ -28,7 +28,6 @@
#include "libguile/_scm.h"
#include "libguile/extensions.h"
-#include "libguile/validate.h"
#include "libguile/unicode.h"
diff --git a/libguile/values.c b/libguile/values.c
index f77a977c9..4d4535c67 100644
--- a/libguile/values.c
+++ b/libguile/values.c
@@ -1,4 +1,5 @@
-/* Copyright (C) 2000, 2001, 2006, 2008, 2009, 2011, 2012, 2017 Free Software Foundation, Inc.
+/* Copyright (C) 2000-2001,2006,2008-2009,2011-2012,2017-2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -28,7 +29,6 @@
#include "libguile/ports.h"
#include "libguile/strings.h"
#include "libguile/struct.h"
-#include "libguile/validate.h"
#include "libguile/values.h"
diff --git a/libguile/variable.c b/libguile/variable.c
index c329bca1a..52c8e27a2 100644
--- a/libguile/variable.c
+++ b/libguile/variable.c
@@ -1,4 +1,5 @@
-/* Copyright (C) 1995,1996,1997,1998,2000,2001, 2006, 2008, 2011 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1998,2000-2001,2006,2008,2011,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -28,7 +29,6 @@
#include "libguile/smob.h"
#include "libguile/deprecation.h"
-#include "libguile/validate.h"
#include "libguile/variable.h"
diff --git a/libguile/vectors.c b/libguile/vectors.c
index 706db91bb..017780f47 100644
--- a/libguile/vectors.c
+++ b/libguile/vectors.c
@@ -26,7 +26,6 @@
#include "libguile/_scm.h"
#include "libguile/eq.h"
-#include "libguile/validate.h"
#include "libguile/vectors.h"
#include "libguile/array-handle.h"
#include "libguile/generalized-vectors.h"
diff --git a/libguile/vports.c b/libguile/vports.c
index 29531cfb6..22ba06c16 100644
--- a/libguile/vports.c
+++ b/libguile/vports.c
@@ -1,4 +1,5 @@
-/* Copyright (C) 1995,1996,1998,1999,2000,2001, 2002, 2003, 2006, 2009, 2010, 2011, 2013 Free Software Foundation, Inc.
+/* Copyright (C) 1995-1996,1998-2003,2006,2009-2011,2013,2018
+ * Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -35,7 +36,6 @@
#include "libguile/strings.h"
#include "libguile/vectors.h"
-#include "libguile/validate.h"
#include "libguile/vports.h"
#ifdef HAVE_STRING_H
diff --git a/libguile/weak-set.c b/libguile/weak-set.c
index 8f98e99d5..30830895d 100644
--- a/libguile/weak-set.c
+++ b/libguile/weak-set.c
@@ -31,7 +31,6 @@
#include "libguile/ports.h"
#include "libguile/bdw-gc.h"
-#include "libguile/validate.h"
#include "libguile/weak-list.h"
#include "libguile/weak-set.h"
diff --git a/libguile/weak-table.c b/libguile/weak-table.c
index 9f2451170..7ef2e1b9b 100644
--- a/libguile/weak-table.c
+++ b/libguile/weak-table.c
@@ -33,7 +33,6 @@
#include "libguile/hash.h"
#include "libguile/eval.h"
#include "libguile/ports.h"
-#include "libguile/validate.h"
#include "libguile/weak-list.h"
#include "libguile/weak-table.h"
diff --git a/libguile/weak-vector.c b/libguile/weak-vector.c
index 4b7354011..f44e78f9d 100644
--- a/libguile/weak-vector.c
+++ b/libguile/weak-vector.c
@@ -29,7 +29,6 @@
#include "libguile/extensions.h"
#include "libguile/weak-vector.h"
-#include "libguile/validate.h"