| (:*******************************************************:) |
| (: Test: K-FunctionProlog-20 :) |
| (: Written by: Frans Englich :) |
| (: Date: 2006-10-05T18:29:39+02:00 :) |
| (: Purpose: User functions which in some implementations causes constant propagation combined with function versioning. :) |
| (:*******************************************************:) |
| |
| declare function local:func($choose, $whenTrue, $whenFalse) |
| { |
| if($choose) |
| then $whenTrue |
| else $whenFalse |
| }; |
| local:func(true(), current-time(), current-date()) instance of xs:time |
| and |
| local:func(false(), current-time(), current-date()) instance of xs:date |