> > As for "BOOT::|sayFunctionDeps| is undefined" error, it can be fixed > by following patch, > after the patch, ")display properties" works: > > (1) -> z == 2 > Type: Void > (2) -> )display properties z > Properties of z : > This is an interpreter rule. > Definition: z () == 2 >
OK, please commit. > diff --git a/src/interp/i-syscmd.boot b/src/interp/i-syscmd.boot > index 24bdc499..f25e88fb 100644 > --- a/src/interp/i-syscmd.boot > +++ b/src/interp/i-syscmd.boot > @@ -913,26 +913,7 @@ displayProperties(option,l) == > sayMSG '" This is recursive." > prop = 'isInterpreterFunction => > sayMSG '" This is an interpreter function." > - sayFunctionDeps v where > - sayFunctionDeps x == > - if dependents := GETALIST($dependentAlist,x) then > - null rest dependents => > - sayMSG ['" The following function or rule ", > - '"depends on this:",:bright first dependents] > - sayMSG > - '" The following functions or rules depend on this:" > - msg := ["%b",'" "] > - for y in dependents repeat msg := ['" ",y,:msg] > - sayMSG [:nreverse msg,"%d"] > - if dependees := GETALIST($dependeeAlist,x) then > - null rest dependees => > - sayMSG ['" This depends on the following function ", > - '"or rule:",:bright first dependees] > - sayMSG > - '" This depends on the following functions or rules:" > - msg := ["%b",'" "] > - for y in dependees repeat msg := ['" ",y,:msg] > - sayMSG [:nreverse msg,"%d"] > + sayFunctionDeps v > prop = 'isInterpreterRule => > sayMSG '" This is an interpreter rule." > sayFunctionDeps v > @@ -947,6 +928,26 @@ displayProperties(option,l) == > sayKeyedMsg("S2IZ0068",[option]) > terminateSystemCommand() > > +sayFunctionDeps x == > + if dependents := GETALIST($dependentAlist,x) then > + null rest dependents => > + sayMSG ['" The following function or rule ", > + '"depends on this:",:bright first dependents] > + sayMSG > + '" The following functions or rules depend on this:" > + msg := ["%b",'" "] > + for y in dependents repeat msg := ['" ",y,:msg] > + sayMSG [:nreverse msg,"%d"] > + if dependees := GETALIST($dependeeAlist,x) then > + null rest dependees => > + sayMSG ['" This depends on the following function ", > + '"or rule:",:bright first dependees] > + sayMSG > + '" This depends on the following functions or rules:" > + msg := ["%b",'" "] > + for y in dependees repeat msg := ['" ",y,:msg] > + sayMSG [:nreverse msg,"%d"] > + > displayModemap(v,val,giveVariableIfNil) == > for mm in val repeat g(v,mm,giveVariableIfNil) where > g(v,mm,giveVariableIfNil) == > > > On Tue, Jul 10, 2018 at 11:51 PM, Riccardo GUIDA > <riccardo.gu...@gmail.com> wrote: > > Hi > > > > Command line interpreter: I realize that type declaration is ignored in > > delayed assignment == even for variables (see [1] for a similar behavior for > > functions) > > > > Same behavior from .input file. > > > > AND > > > > At the same occasion I get a weird system error in )display properties, > > which might interest Waldek... > > > > cheers, > > riccardo > > > > (1) -> x:Integer := 1 > > > > (1) 1 > > Type: > > Integer > > (2) -> y:Integer == 1 > > Type: > > Void > > (3) -> z == 1 > > Type: > > Void > > (4) -> [x,y,z] > > Compiling body of rule z to compute value of type PositiveInteger > > > > (4) [1, y, 1] > > Type: > > List(Polynomial(Integer)) > > (5) -> )display properties x y z > > Properties of x : > > Declared type or mode: Integer > > Value (has type Integer): 1 > > Properties of y : > > none > > Properties of z : > > This is an interpreter rule. > > >> System error: > > The function BOOT::|sayFunctionDeps| is undefined. > > > > > > > > (5) -> )read test.input > > )clear completely > > All user variables and function definitions have been cleared. > > All )browse facility databases have been cleared. > > Internally cached functions and constructors have been cleared. > > )clear completely is finished. > > x2:Integer := 1 > > > > (1) 1 > > Type: > > Integer > > y2:Integer == 1 > > Type: > > Void > > z2 == 1 > > Type: > > Void > > [x2,y2,z2] > > Compiling body of rule z2 to compute value of type PositiveInteger > > > > (4) [1, y2, 1] > > Type: > > List(Polynomial(Integer)) > > )display properties x2 y2 z2 > > Properties of x2 : > > Declared type or mode: Integer > > Value (has type Integer): 1 > > Properties of y2 : > > none > > Properties of z2 : > > This is an interpreter rule. > > >> System error: > > The function BOOT::|sayFunctionDeps| is undefined. > > > > > > > > > > [1] > > https://www.mail-archive.com/fricas-devel@googlegroups.com/msg12308.html > > > > -- > > You received this message because you are subscribed to the Google Groups > > "FriCAS - computer algebra system" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to fricas-devel+unsubscr...@googlegroups.com. > > To post to this group, send email to fricas-devel@googlegroups.com. > > Visit this group at https://groups.google.com/group/fricas-devel. > > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to fricas-devel+unsubscr...@googlegroups.com. > To post to this group, send email to fricas-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. > -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.