From 1db4bd76938d5901b39cb516327a054c1aa0fdec Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 23 Apr 2009 03:09:23 +0000
Subject: * interp/sys-constants.boot
($SystemInlinableConstructorNames): Include Identifier. *
interp/compiler.boot (compElt): Fix up 0 and 1 shenannigan. *
algebra/boolean.spad.pamphlet (Reference): Use Identifier. *
algebra/Makefile.pamphlet (axiom_algebra_bootstrap): Remove REF.
(axiom_algebra_bootstrap_last_layer): Likewise. *
algebra/strap/REF.lsp: Remove.
---
src/algebra/boolean.spad.pamphlet | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'src/algebra/boolean.spad.pamphlet')
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index b38ef042..62c94c47 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -318,7 +318,7 @@ Reference(S:Type): Type with
if S has SetCategory then
coerce p ==
- prefix('ref::OutputForm, [p.value::OutputForm])
+ prefix('ref::Identifier::OutputForm, [p.value::OutputForm])
@
@@ -568,7 +568,7 @@ KleeneTrivalentLogic(): Public == Private where
<<license>>=
--Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd.
--All rights reserved.
---Copyright (C) 2007-2008, Gabriel Dos Reis.
+--Copyright (C) 2007-2009, Gabriel Dos Reis.
--All rights reserved.
--
--Redistribution and use in source and binary forms, with or without
--
cgit v1.2.3