[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] GNU Guile branch, master, updated. release_1-9-8-90-g813
From: |
Andy Wingo |
Subject: |
[Guile-commits] GNU Guile branch, master, updated. release_1-9-8-90-g8137c9d |
Date: |
Sun, 14 Mar 2010 16:44:35 +0000 |
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Guile".
http://git.savannah.gnu.org/cgit/guile.git/commit/?id=8137c9d5e7c176d04c5bd81afa00186268df16bc
The branch, master has been updated
via 8137c9d5e7c176d04c5bd81afa00186268df16bc (commit)
from 9d832dda456c84551034a3624470281222a72099 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 8137c9d5e7c176d04c5bd81afa00186268df16bc
Author: Andy Wingo <address@hidden>
Date: Sun Mar 14 17:46:13 2010 +0100
clarify pmatch licensing
* module/system/base/pmatch.scm: Clarify licensing.
-----------------------------------------------------------------------
Summary of changes:
module/system/base/pmatch.scm | 42 ++++++++++++++++++++++++++++++++--------
1 files changed, 33 insertions(+), 9 deletions(-)
diff --git a/module/system/base/pmatch.scm b/module/system/base/pmatch.scm
index 4777431..68ae5b2 100644
--- a/module/system/base/pmatch.scm
+++ b/module/system/base/pmatch.scm
@@ -1,14 +1,38 @@
-(define-module (system base pmatch)
- #:export (pmatch))
-;; FIXME: shouldn't have to export ppat...
+;;; pmatch
+
+;;; Copyright (C) 2009, 2010 Free Software Foundation, Inc
+;;; Copyright (C) 2005,2006,2007 Oleg Kiselyov
+;;; Copyright (C) 2007 Daniel P. Friedman
+;;;
+;;; This library is free software; you can redistribute it and/or
+;;; modify it under the terms of the GNU Lesser General Public
+;;; License as published by the Free Software Foundation; either
+;;; version 3 of the License, or (at your option) any later version.
+;;;
+;;; This library is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+;;; Lesser General Public License for more details.
+;;;
+;;; You should have received a copy of the GNU Lesser General Public
+;;; License along with this library; if not, write to the Free Software
+;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301
USA
-;; Originally written by Oleg Kiselyov. Taken from:
-;; αKanren: A Fresh Name in Nominal Logic Programming
-;; by William E. Byrd and Daniel P. Friedman
-;; Proceedings of the 2007 Workshop on Scheme and Functional Programming
-;; Université Laval Technical Report DIUL-RT-0701
+;;; Originally written by Oleg Kiselyov for LeanTAP in Kanren, which is
+;;; available under the MIT license.
+;;;
+;;;
http://kanren.cvs.sourceforge.net/viewvc/kanren/kanren/mini/leanTAP.scm?view=log
+;;;
+;;; This version taken from:
+;;; αKanren: A Fresh Name in Nominal Logic Programming
+;;; by William E. Byrd and Daniel P. Friedman
+;;; Proceedings of the 2007 Workshop on Scheme and Functional Programming
+;;; Université Laval Technical Report DIUL-RT-0701
-;; Licensing unclear. Probably need to ask Oleg for a disclaimer.
+;;; Code:
+
+(define-module (system base pmatch)
+ #:export (pmatch))
(define-syntax pmatch
(syntax-rules (else guard)
hooks/post-receive
--
GNU Guile
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Guile-commits] GNU Guile branch, master, updated. release_1-9-8-90-g8137c9d,
Andy Wingo <=