From d9fed70309979e063c16c35be9756c4ce76b2136 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 15 May 2009 15:14:07 +0000
Subject: 	* algebra/op.spad.pamphlet (assert$BasicOperator): Overload
 for 	Identifier.

---
 src/algebra/op.spad.pamphlet | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/algebra/op.spad.pamphlet')

diff --git a/src/algebra/op.spad.pamphlet b/src/algebra/op.spad.pamphlet
index b5d9da45..617ea416 100644
--- a/src/algebra/op.spad.pamphlet
+++ b/src/algebra/op.spad.pamphlet
@@ -91,6 +91,9 @@ BasicOperator(): Exports == Implementation where
     assert     : ($, String) -> $
       ++ assert(op, s) attaches property s to op.
       ++ Argument op is modified "in place", i.e. no copy is made.
+    assert     : (%, Identifier) -> $
+      ++ \spad{assert(op, p)} attaches property \spad{p} to \spad{op}.
+      ++ Argument op is modified "in place", i.e. no copy is made.
     deleteProperty_!: ($, String) -> $
       ++ deleteProperty!(op, s) unattaches property s from op.
       ++ Argument op is modified "in place", i.e. no copy is made.
@@ -135,7 +138,8 @@ BasicOperator(): Exports == Implementation where
       case search(STRING(p)$Lisp, rep(op).props) is
         val@None => just val
         otherwise => nothing
-    assert(op, s)        == setProperty(op, s, NIL$Lisp)
+    assert(op: %, s: String) == setProperty(op, s, NIL$Lisp)
+    assert(op: %, p: Identifier) == setProperty(op, p, NIL$Lisp)
     has?(op, name)       == key?(name, rep(op).props)
     weight(op, n)        == setProperty(op, WEIGHT, n pretend None)
     nullary? op          == zero? rep(op).narg
-- 
cgit v1.2.3