Gregory Vanuxem <[EMAIL PROTECTED]> writes: | Hello, | | Here is a simple piece of code: | ---------------------------------------------- | )abb package FOO Foo | Foo(R,VCR): Exports == Implementation where | R : FloatingPointSystem | VCR : VectorCategory R | Exports == with | bar : (Boolean, VCR) -> Integer | ++ bar(b,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 | ------------------------------------------------ | | why if I run: | | v:=new(5,0)$Vector(SF) | bar(false,v) | | [0.0,0.0,0.0,0.0,0.0] is printed | | but if I uncomment 'output("")' | | [1.0,1.0,1.0,1.0,1.0] is printed as expected ? | | Where am I wrong ? Looks like a bug, no ?
This is a parsing bug in the old parser/postparser. I ran into it once but marked it as low priority to fix -- looks like it is more frequent than I thought. -- Gaby ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel