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 -->
-- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp