[Bug-kawa] [bug #36853] Propagate type parameters

[Helmut Eller]

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

                 Summary: Propagate type parameters
                 Project: Kawa
            Submitted by: ellerh
            Submitted on: Mon 16 Jul 2012 03:12:07 PM GMT
                Category: Type declaration and inference
                Severity: 3 - Normal
              Item Group: Feature Request
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

This example:

(define (my-member (key String) (strings java.util.List[String]))
  (let ((iter (strings:iterator)))
    (let loop ()
      (if (iter:hasNext)
          (let ((next (iter:next)))
            (if (eq? (next:intern) key)
                #t
                (loop)))
          #f))))


generates this warning:

x.scm:7:15: warning - no known slot 'intern' in java.lang.Object


It would be nice if the compiler would automatically infer that the
type of iter is Iterator[String] and consequently the type of next is
String.





    _______________________________________________________

Reply to this item at:

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

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