From 859f04d06f9961fe66abcace3ba37985f641d30c Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 27 Apr 2009 00:52:56 +0000 Subject: * algebra/domain.spad.pamphlet (Constructor): Use Identifier. --- src/ChangeLog | 4 ++++ src/algebra/domain.spad.pamphlet | 3 +-- 2 files changed, 5 insertions(+), 2 deletions(-) (limited to 'src') 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 > + + * algebra/domain.spad.pamphlet (Constructor): Use Identifier. + 2009-04-26 Gabriel Dos Reis * 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 <>= import SetCategory -import Symbol import List Syntax )abbrev domain CTORCALL ConstructorCall ++ Author: Gabriel Dos Reis -- cgit v1.2.3