[armedbear-ticket] [armedbear] #243: ClassCastException in MAKE-PATHNAME

[armedbear]

#243: ClassCastException in MAKE-PATHNAME
-------------------------+--------------------------------------------------
  Reporter:  ehuelsmann  |       Owner:  mevenson
      Type:  defect      |      Status:  closed  
  Priority:  major       |   Milestone:  1.1.0   
 Component:  java        |     Version:          
Resolution:  fixed       |    Keywords:          
-------------------------+--------------------------------------------------
Changes (by mevenson):

  * status:  assigned => closed
  * resolution:  => fixed


Comment:

 (In [14238]) Fixes #243: MAKE-PATHNAME with a DEVICE string.

 We allow DEVICE lists to contain a string value as constructed by
 MAKE-PATHNAME, but the result can never actually be resolvable by
 TRUENAME.

 Instead of trying to figure out the proper use of Java labels, just
 use the private static Pathname.doTruenameExit() as the common point
 for all exits from the TRUENAME implementation.

-- 
Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/243#comment:2>
armedbear <http://common-lisp.net/project/armedbear>
armedbear