PM47505: TYPE ERROR FOR TYPESWITCH VARIABLE USED IN ARITHMETIC OPERATION

APAR status

• Closed as program error.

Error description

• The XQuery typeswitch expression was not correctly assigning
  the datatype of its variables. For example,
  
  typeswitch (.)
  case $b as xs:decimal return ($b+1)
  case $a as element() return ($a/foo/bar)
  default $c return ($c/2);    (: presuming some other numeric :)
  
  mistakenly produced the error:
  
  XJXE0923: [ERR 0740][ERR XPTY0004] The arguments for operator:
  '+' are not type compatible or are not valid types for the
  operator.
  
  This has been corrected so that new variables' types are now
  properly set.
  

Local fix

Problem summary

• ****************************************************************
  * USERS AFFECTED:  All IBM WebSphere Application Server        *
  *                  Feature                                     *
  *                  Pack for XML users                          *
  ****************************************************************
  * PROBLEM DESCRIPTION: The XQuery typeswitch expression was    *
  *                      not correctly assigning the datatype    *
  *                      of its variables. For example,          *
  *                      typeswitch (.)                          *
  *                      case $b as xs:decimal return ($b+1)     *
  *                      case $a as element() return             *
  *                      ($a/foo/bar)                            *
  *                      default $c return ($c/2);    (:         *
  *                      presuming some other numeric :)         *
  *                      mistakenly produced the error:          *
  *                      XJXE0923: [ERR 0740][ERR XPTY0004]      *
  *                      The arguments for operator:             *
  *                      '+' are not type compatible or are      *
  *                      not valid types for the                 *
  *                      operator.                               *
  ****************************************************************
  * RECOMMENDATION:  Install a fix pack which contains this      *
  *                  APAR.                                       *
  ****************************************************************
  This was an error in type propigation -- essentially, the
  case having succeeded should cause the case variable to be of
  the specified type, but instead it was inhereting the type of
  the typeswitch's argument.
  

Problem conclusion

• Type propigation through our implementation of typeswitch has
  been corrected.
  
  The fix for this APAR is currently targeted for inclusion in
  fix pack 8.0.0.2.  Please refer to the Recommended Updates
  page for delivery information:
  http://www.ibm.com/support/docview.wss?rs=180&uid=swg27004980
  

Temporary fix

Comments

APAR Information

• APAR is sysrouted FROM one or more of the following:

• APAR is sysrouted TO one or more of the following:

  PM47506

Fix information

• Fixed component name

  XML FEATUREPACK

• Fixed component ID

  5724J0856

Applicable component levels

• R700 PSY

     UP