[Bug-kawa] [bug #37684] Nested class types of fields (regression between 7318 and 7326 revisions)

[Alex Moiseenko]

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

                 Summary: Nested class types of fields (regression between
7318 and 7326 revisions)
                 Project: Kawa
            Submitted by: imdagger
            Submitted on: Tue 06 Nov 2012 09:45:08 PM GMT
                Category: Scheme language
                Severity: 3 - Normal
              Item Group: Compile-time exception
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

This code compiles unsuccessfully on the latest Kawa:
(module-export TestNestedType x1 x2)
(define-alias C java.lang.Character)

(define x1 ::C #!null)
(define x2 ::C:Subset #!null)

(define-simple-class TestNestedType ()
    (x1 ::C)
    (x2 ::C:Subset))

Lets try 7326M revision:

$ java -jar kawa-1.12.1.jar  --version
Kawa 1.12.1 (revision 7326M)
Copyright (C) 2011 Per Bothner


$ java -jar kawa-1.12.1.jar --main -C test.scm 
(compiling test.scm to test)
test.scm:5:14: invalid type spec (must be "type" or 'type or <type>)
test.scm:9:11: invalid type spec (must be "type" or 'type or <type>)

But it worked on the old Kawa (at 7318M revision):

$ java -jar kawa.jar --version
Kawa 1.12.1 (revision 7318M)
Copyright (C) 2011 Per Bothner

$ java -jar kawa.jar --main -C test.scm 
(compiling test.scm to test)

And decompiled class looks good and correct:
public class TestNestedType
{
  public Character x1;
  public Character.Subset x2;
}






    _______________________________________________________

Reply to this item at:

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

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