[fricas-devel] $resolve_level is unbound

[Prof. Dr. Johannes Grabmeier privat]

Good morning,

any idea what that means (used to work before):


   >> System error:
   The variable |$resolve_level| is unbound.
--
Mit freundlichen Grüßen

Johannes Grabmeier

Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. [phone], Tel. [phone]
Tel. [phone] (d), Fax: [phone]

[Waldek Hebisch]

   The variable |$resolve_level| is unbound.

What are you doing? If this is during tracing the problem
should be solved in svn.

Concerning the question: '$resolve_level' is a newly added
variable and the message means that we forgot to put
declaration in some places where it is needed.

[Prof. Dr. Johannes Grabmeier FW]

~/Downloads/fricas-master/src$ grepfind . "resolve_level"

./interp/i-resolv.boot:507:  $resolve_level > 15 => nil
./interp/i-resolv.boot:508:  $resolve_level := $resolve_level + 1
./interp/i-resolv.boot:510:  $resolve_level := $resolve_level - 1
./interp/i-syscmd.boot:2174:  $resolve_level : local := 15
./interp/i-toplev.boot:285:  $resolve_level : local := 0
./interp/trace.boot:593:    $resolve_level : local := 0



no clues about boot:

resolveTM(t,m) ==
  -- resolves a type with a mode which may be partially specified
  startTimingProcess 'resolve
  $Subst : local := NIL
  $Coerce : local := 'T
  m := SUBSTQ("**",$EmptyMode,m)
  -- arbitrary limit
  $resolve_level > 15 => nil
  $resolve_level := $resolve_level + 1
  tt := resolveTM1(t,m)
  $resolve_level := $resolve_level - 1
  result := tt and isValidType tt and tt
  stopTimingProcess 'resolve
  result

in interp/i-resolv.boot

It seems that $resolve_level is not declared, other as in the other two
files. Is this the problem, how to fix it?


The error occured at my  implementation of database tables:

)co dbtable
)read pilzeClustering6.input

....



DBT'' := DatabaseTable(VAR, OBJ, ND, ID, CD)


   (32)  DatabaseTable(String,Integer,Float,Integer,String)
                                                                                         
Type: Type
                                                                                        
Time: 0 sec
PILZE'':=databaseTable(lvn, tL)$DBT''



   >> System error:
   The variable |$resolve_level| is unbound.

Post by Waldek Hebisch

   The variable |$resolve_level| is unbound.

What are you doing? If this is during tracing the problem
should be solved in svn.
Concerning the question: '$resolve_level' is a newly added
variable and the message means that we forgot to put
declaration in some places where it is needed.

--
Mit freundlichen GrÌßen

Johannes Grabmeier

Fraktionsvorsitzender
FREIE WÄHLER, Stadtrat Deggendorf

Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. [phone], Tel. [phone]
Fax: [phone]

[Waldek Hebisch]

This is a multi-part message in MIME format.
--------------C16482D24C0C9E0DC88F2610
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
~/Downloads/fricas-master/src$ grepfind . "resolve_level"
./interp/i-resolv.boot:507:=C2=A0 $resolve_level > 15 =3D> nil
./interp/i-resolv.boot:508:=C2=A0 $resolve_level :=3D $resolve_level + 1
./interp/i-resolv.boot:510:=C2=A0 $resolve_level :=3D $resolve_level - 1
./interp/i-syscmd.boot:2174:=C2=A0 $resolve_level : local :=3D 15
./interp/i-toplev.boot:285:=C2=A0 $resolve_level : local :=3D 0
./interp/trace.boot:593:=C2=A0=C2=A0=C2=A0 $resolve_level : local :=3D 0
)co dbtable
)read pilzeClustering6.input

AFAICS you have not defined 'coerce' from DatabaseTable to
OutputForm. Trying to print interpreter is looking if
it can do coercion by some of its tricks. This hits
the problem. Your code works if '$resolve_level' is
declared in 'output' (commited now).