From 41a15b30f26b7a2ca2077f7996a3cf552bf5630a Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 22 Mar 2011 05:43:32 +0000 Subject: * algebra/op.spad.pamphlet (BasicOperator) [display]: Now return a Maybe (List O -> O) value. [input]: Now return a Maybe(List SEX -> SEX). * algebra/kl.spad.pamphlet (Kernel): Adjust. * algebra/pattern.spad.pamphlet (Pattern): Likewise. --- src/algebra/pattern.spad.pamphlet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/algebra/pattern.spad.pamphlet') diff --git a/src/algebra/pattern.spad.pamphlet b/src/algebra/pattern.spad.pamphlet index c5a667e6..f3368758 100644 --- a/src/algebra/pattern.spad.pamphlet +++ b/src/algebra/pattern.spad.pamphlet @@ -343,7 +343,7 @@ Pattern(R:SetCategory): Exports == Implementation where p.ker.tag = PAT_ZERO => 0::Integer::O p.ker.tag = PAT_ONE => 1::Integer::O l := [x::O for x in p.ker.arg]$List(O) - (u:=display(p.ker.op)) case "failed" =>prefix(name(p.ker.op)::O,l) + (u:=display(p.ker.op)) case nothing =>prefix(name(p.ker.op)::O,l) (u::(List O -> O)) l patcopy p == -- cgit v1.2.3