[Bug-kawa] [bug #22703] Wrong type inferred for #!eof

[Helmut Eller]

URL:
  <http://savannah.gnu.org/bugs/?22703>

                 Summary: Wrong type inferred for #!eof
                 Project: Kawa
            Submitted by: ellerh
            Submitted on: Sunday 03/23/2008 at 16:05
                Category: Type declaration and inference
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

If I compile the following with compile-file then

(define (eof-object1) <gnu.lists.EofClass>:eofValue)
(define (eof-object2) #!eof)

I get a verifier error when I try to load the resulting zip
file:
java.lang.VerifyError: 
(class: x, method: eofObject2 signature: ()Lgnu/lists/EofClass;) 
Wrong return type in function
  [type java.lang.VerifyError]


eof-object1 compiles without problems.






    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?22703>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/