zorba-coders team mailing list archive
-
zorba-coders team
-
Mailing list archive
-
Message #26469
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
Federico Cavalieri has proposed merging lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.
Commit message:
Fixed random#0 function annotation.
Requested reviews:
Zorba Coders (zorba-coders)
For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Fixed random#0 function annotation.
--
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is requested to review the proposed merge of lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.
=== modified file 'src/runtime/spec/random/random.xml'
--- src/runtime/spec/random/random.xml 2013-05-08 20:14:47 +0000
+++ src/runtime/spec/random/random.xml 2013-12-19 19:00:01 +0000
@@ -59,7 +59,7 @@
<zorba:member type="xs_integer" name="theCurrCounter" brief=""/>
</zorba:state>
- <zorba:function isDeterministic="true">
+ <zorba:function isDeterministic="false">
<zorba:signature localname="random" prefix="fn-zorba-random">
<zorba:param>xs:integer</zorba:param> <!-- num of number to be genreated -->
Follow ups
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: noreply, 2013-12-20
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Zorba Build Bot, 2013-12-20
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Zorba Build Bot, 2013-12-20
-
Re: [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Federico Cavalieri, 2013-12-20
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Zorba Build Bot, 2013-12-20
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Zorba Build Bot, 2013-12-20
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Zorba Build Bot, 2013-12-20
-
Re: [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Matthias Brantner, 2013-12-20
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Zorba Build Bot, 2013-12-19
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Zorba Build Bot, 2013-12-19
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Zorba Build Bot, 2013-12-19
-
[Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba
From: Zorba Build Bot, 2013-12-19