| (:*******************************************************:) | |
| (: Test: K2-FunctionProlog-2 :) | |
| (: Written by: Frans Englich :) | |
| (: Date: 2006-08-04T17:13:26Z :) | |
| (: Purpose: Have two function callsites as arguments to 'ne'. :) | |
| (:*******************************************************:) | |
| declare function local:myFunction($arg) | |
| { | |
| ((if($arg eq 1) | |
| then 1 | |
| else $arg - 1), current-time())[1] treat as xs:integer | |
| }; | |
| not(local:myFunction(1) ne local:myFunction(2)) |