diff options
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 |