MathAction #430 Bad compilation of Spad code due to `nested' one-armed if-statement

Topics

FrontPage
- IssueTracker
  - #430 Bad compilation of Spad code due to `nested' one-armed if-statement <-- You are here.

The if-then statement in this piece of code is badly compiled:

spad

)abb package FOO Foo
Foo(R,VCR): Exports == Implementation where
  R   : FloatingPointSystem
  VCR : VectorCategory R
  Exports == with
    bar : (Boolean, VCR) -> Integer
    ++ bar(t,v)
  Implementation == add
    import OutputPackage
    bar(b, v) ==
      if b then
        --output("")
        for i in minIndex v..maxIndex v repeat
          if v.i <= 0 then return -1
      else
        for i in minIndex v ..maxIndex v repeat
          v.i := 1
      output(v::OutputForm)
      0

spad

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/7796249095078486632-25px001.spad using 
      old system compiler.
   FOO abbreviates package Foo 
------------------------------------------------------------------------
   initializing NRLIB FOO for Foo 
   compiling into NRLIB FOO 
   importing OutputPackage
   compiling exported bar : (Boolean,VCR) -> Integer
Time: 0.12 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |Foo| REDEFINED

;;;     ***       |Foo| REDEFINED
Time: 0 SEC.

   Cumulative Statistics for Constructor Foo
      Time: 0.12 seconds

   finalizing NRLIB FOO 
   Processing Foo for Browser database:
--------(bar ((Integer) (Boolean) VCR))---------
--->-->Foo(constructor): Not documented!!!!
--->-->Foo(): Missing Description
------------------------------------------------------------------------
   Foo is now explicitly exposed in frame initial 
   Foo will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/FOO.NRLIB/code

axiom

v:=new(5,0)$Vector(SF)

(1)

Type: Vector DoubleFloat?

axiom

bar(false,v)

   [0.0,0.0,0.0,0.0,0.0]

(2)

Type: NonNegativeInteger

Axiom should display [1.0,1.0,1.0,1.0,1.0]? since b is set to false. If a statement is added just before the first for loop the compiler produces correct code.

subject:

	( 7 subscribers )