[Bug-kawa] [bug #27037] Typed lambda-lists

[Helmut Eller]

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

                 Summary: Typed lambda-lists
                 Project: Kawa
            Submitted by: ellerh
            Submitted on: Wed 15 Jul 2009 07:22:06 PM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

The lambda-list parsing seems to be
a bit to DWIM-ish.  Consider this example:

(define (funky-return-type x)
  ((lambda (arg) arg 3) x))

While some fun can be had with

(funky-return-type java.lang.String) => "3"
(funky-return-type java.lang.Object) => 3

it wears of quickly after:

(funky-return-type #t) => java.lang.ClassCastException

The example isn't entirely made up because the idiom 
(lambda (arg) arg ...) is commonly used to mark arg as 
ignorable variable.





    _______________________________________________________

Reply to this item at:

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

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