diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-27 00:52:56 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-27 00:52:56 +0000 |
| commit | 859f04d06f9961fe66abcace3ba37985f641d30c (patch) | |
| tree | a83fd7b41363ffa4b203f6c416099e7a701115d1 /src | |
| parent | 01bdaf0d023c2ec91ebc8f525eef9a2855d65814 (diff) | |
| download | open-axiom-859f04d06f9961fe66abcace3ba37985f641d30c.tar.gz | |
* algebra/domain.spad.pamphlet (Constructor): Use Identifier.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/algebra/domain.spad.pamphlet | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 17c18134..8763deef 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2009-04-26 Gabriel Dos Reis <gdr@cs.tamu.edu>> + + * algebra/domain.spad.pamphlet (Constructor): Use Identifier. + 2009-04-26 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/newpoint.spad.pamphlet (point$Point): Call vector$Vector. diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index 3984223c..8cb16c5e 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -126,7 +126,7 @@ ConstructorCategory(): Category == OperatorCategory Identifier with ++ Description: ++ This domain provides implementations for constructors. Constructor(): ConstructorCategory with - findConstructor: Symbol -> Maybe % + findConstructor: Identifier -> Maybe % ++ \spad{findConstructor(s)} attempts to find a constructor ++ named \spad{s}. If successful, returns that constructor; ++ otherwise, returns \spad{nothing}. @@ -146,7 +146,6 @@ Constructor(): ConstructorCategory with <<domain CTORCALL ConstructorCall>>= import SetCategory -import Symbol import List Syntax )abbrev domain CTORCALL ConstructorCall ++ Author: Gabriel Dos Reis |