Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-25 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-25T15-29-55.717Z is finished.  The
  final status was:

  

  No tests were run - build or configure step must have failed.

  Not commiting changes.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/155144
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-25 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-25T15-58-53.846Z is finished.  The
  final status was:

  

  No tests were run - build or configure step must have failed.

  Not commiting changes.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/155144
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-25 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-25T16-42-52.153Z is finished.  The
  final status was:

  

  No tests were run - build or configure step must have failed.

  Not commiting changes.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/155144
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-25 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-25T21-55-53.836Z is finished.  The
  final status was:

  

  42 tests did not succeed - changes not commited.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/155144
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-24 Thread Markos Zaharioudakis
Review: Approve


-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/155144
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-24 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-24T18-10-49.338Z is finished.  The
  final status was:

  

  No tests were run - build or configure step must have failed.

  Not commiting changes.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/155144
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-24 Thread Zorba Build Bot
Attempt to merge into lp:zorba failed due to conflicts: 

deleting parent in src/runtime/function_item
unversioned parent in src/runtime/function_item
contents conflict in src/runtime/function_item/dynamic_fncall_iterator.cpp
contents conflict in src/runtime/function_item/dynamic_fncall_iterator.h
-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/155144
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-23 Thread Markos Zaharioudakis
Review: Approve


-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/155100
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-21 Thread Matthias Brantner
Review: Approve


-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-20 Thread Zorba Build Bot
Attempt to merge into lp:zorba failed due to conflicts: 

text conflict in src/compiler/parser/xquery_parser.cpp
text conflict in src/compiler/parser/xquery_parser.hpp
text conflict in src/compiler/parser/xquery_scanner.cpp
text conflict in src/compiler/translator/translator.cpp
-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-20 Thread Markos Zaharioudakis
Review: Approve


-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-20 Thread Zorba Build Bot
Voting does not meet specified criteria. Required: Approve  1, Disapprove  1, 
Needs Fixing  1, Pending  1, Needs Information  1, Resubmit  1. Got: 2 
Approve, 2 Pending.
-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-20 Thread Markos Zaharioudakis
Nicolae, Matthias, the branch is ready for merge. Please approve asap.

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-20 Thread Nicolae Brinza
Review: Approve


-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-17 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-17T14-14-42.129Z is finished.  The
  final status was:

  

  13 tests did not succeed - changes not commited.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-15 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-15T08-36-41.256Z is finished.  The
  final status was:

  

  14 tests did not succeed - changes not commited.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-13 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-13T17-20-31.534Z is finished.  The
  final status was:

  

  2959 tests did not succeed - changes not commited.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-13 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-13T20-15-29.629Z is finished.  The
  final status was:

  

  1597 tests did not succeed - changes not commited.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/153199
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-12 Thread Markos Zaharioudakis
Nicolae, I get 3 segfaults if I enable the hof feature on this branch (i.e., if 
I set the HigherOrderFunctions dependency inside FOTSZorbaManifest.xml to 
true). They occur in these test cases:

fn-function-lookup-428
fn-function-lookup-430
fn-function-lookup-432

There are also several failures in fn-function-lookup and 
misc-HigherOrderFunctions test sets. 

Are you aware of these failures?

In any case, I would like that you update the test/fots/CMakeLists.txt file to 
add all these new failures. I need this to make sure that no regressions are 
introduced during the review.



-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-12 Thread Markos Zaharioudakis
In translator.cpp:3356 what is the reason for the arity checks for fn:number 
and fn:static-base-uri functions?

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-12 Thread Nicolae Brinza
Markos, I've fixed the following issues you have reported (with changes merged 
into this branch):

-- Also, the grammar rule for LiteralFunctionItem should use EQNAME, instead of 
QNAME.

I've looked into it and the QNAME production actually covers EQNAMEs. I haven't 
tested it but they should work, as all the other grammar rules use the QNAME 
production.

-- In typeops.cpp:749, you should not be casting AnyFunctionXQType to 
FunctionXQType.

Fixed.

-- is_equal() has not been implemented for function types. If you think it will 
never be called, then at least put an assertion to make sure that it will 
indeed never be called.

I have implemented it.

-- I think we should completely remove the option to enable/disable the HOF 
feature.

I have removed it from the features system.


-- There are also several failures in fn-function-lookup and 
misc-HigherOrderFunctions test sets.
Are you aware of these failures?

Yes, I'm aware. As I have said in an e-mail, the remaining failures are caused 
by the function-lookup() which I'm working on. On the other hand, there should 
be no failures in misc-HigherOrderFunctions, unless there are functions which 
use the $$context-position or $$context-size. I'll look into this.

I will update the test/fots/CMakeLists.txt but it will take a while as FOTS has 
no progression registration mechanism as the rbkt testdriver has. 


-- In translator.cpp:3356 what is the reason for the arity checks for fn:number 
and fn:static-base-uri functions?

I've looked into it and also run some tests and seems the checks are indeed 
redundant. I had copied the arity verification from the FunctionCall 
end_visit() translation, see e.g. translator.cpp:10875 in the Trunk branch. 

I have removed those checks.

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-11 Thread Markos Zaharioudakis
I think we should completely remove the option to enable/disable the HOF 
feature. Matthias, do you agree?

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-11 Thread Chris Hillery
I believe I agree, for what it's worth. I can't think of any reason an end user 
would want or need to disable hof.
-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-11 Thread Matthias Brantner
 I think we should completely remove the option to enable/disable the HOF 
 feature. Matthias, do you agree?
Yes, I agree.

Matthias


-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-09 Thread Markos Zaharioudakis
 1) Nope, the order is correct. It was incorrect before I have reversed them.
 Here is the judgement from the spec: http://www.w3.org/TR/xquery-30/#id-
 itemtype-subtype
 --
 Bi is function(Ba_1, Ba_2, ... Ba_N) as Br, Ai is function(Aa_1, Aa_2, ...
 Aa_M) as Ar, where N (arity of Bi) equals M (arity of Ai); subtype(Ar, Br);
 for values of I between 1 and N, subtype(Ba_I, Aa_I) ;
 
 Note:
 
 Function return types are covariant because this rule invokes subtype(Ar, Br)
 for return types. Function arguments are contravariant because this rule
 invokes subtype(Ba_I, Aa_I) for arguments.
 --

Yes, you are right, my bad. Actually the rules make sense.

Now here are 2 more comments:

1. In typeops.cpp:749, you should not be casting AnyFunctionXQType to 
FunctionXQType.

2. is_equal() has not been implemented for function types. If you think it will 
never be called, then at least put an assertion to make sure that it will 
indeed never be called. 

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-08 Thread Markos Zaharioudakis
In typeimpl.cpp:1167, I think that the order of the 2 args passed to  
TypeOps::is_subtype() should be reversed.

Also, the grammar rule for LiteralFunctionItem should use EQNAME, instead of 
QNAME.

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-08 Thread Zorba Build Bot
The attempt to merge lp:~zorba-coders/zorba/hof-merge into lp:zorba failed. 
Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:275 
(message):
  Validation queue job hof-merge-2013-03-08T16-29-29.9Z is finished.  The
  final status was:

  

  1 tests did not succeed - changes not commited.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-08 Thread Nicolae Brinza
1) Nope, the order is correct. It was incorrect before I have reversed them. 
Here is the judgement from the spec: 
http://www.w3.org/TR/xquery-30/#id-itemtype-subtype 
-- 
Bi is function(Ba_1, Ba_2, ... Ba_N) as Br, Ai is function(Aa_1, Aa_2, ... 
Aa_M) as Ar, where N (arity of Bi) equals M (arity of Ai); subtype(Ar, Br); for 
values of I between 1 and N, subtype(Ba_I, Aa_I) ; 

Note:

Function return types are covariant because this rule invokes subtype(Ar, Br) 
for return types. Function arguments are contravariant because this rule 
invokes subtype(Ba_I, Aa_I) for arguments.
--

The QNAME should indeed be an EQNAME. I'll change it. 

There 1 test failure the remote queue reports seems to be random -- I've also 
seen various Excel tests failing randomly on the /hof branch. I've checked for 
memory errors with valgrind and there were none.


https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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


Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/hof-merge into lp:zorba

2013-03-04 Thread Nicolae Brinza
Markos, I have moved it.
-- 
https://code.launchpad.net/~zorba-coders/zorba/hof-merge/+merge/151673
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
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