Lambda Currying #326

New Issue

i21023 · 2024-04-25T19:11:34Z

i21023 commented

2024-04-25 19:11:34 +00:00

Folgender Code compiliert, wirft aber einen Runtime Error, wenn er aus einer Hilfsklasse heraus aufgerufen wird:

import java.lang.Integer;

public class Foo{
   main(){
      var func = x -> y -> x*y;
      return func.apply(3).apply(4);
   }
}

public class Start {
   public static void main(String[] args) {
      System.out.println(new Foo().main());
   }
}

$ java Start
Exception in thread "main" java.lang.VerifyError: Bad type on operand stack
Exception Details:
  Location:
    Foo.lambda$0(Ljava/lang/Object;)LFun1$$Ljava$lang$Integer$_$Ljava$lang$Integer$_$; @2: invokedynamic
  Reason:
    Type 'java/lang/Object' (current frame, stack[1]) is not assignable to 'java/lang/Integer'
  Current Frame:
    bci: @2
    flags: { }
    locals: { 'Foo', 'java/lang/Object' }
    stack: { 'Foo', 'java/lang/Object' }
  Bytecode:
    0000000: 2a2b ba00 2900 00b0                    

        at Start.main(Start.java:7)

Folgender Code compiliert, wirft aber einen Runtime Error, wenn er aus einer Hilfsklasse heraus aufgerufen wird: ```java import java.lang.Integer; public class Foo{ main(){ var func = x -> y -> x*y; return func.apply(3).apply(4); } } ``` ```java public class Start { public static void main(String[] args) { System.out.println(new Foo().main()); } } ``` ``` $ java Start Exception in thread "main" java.lang.VerifyError: Bad type on operand stack Exception Details: Location: Foo.lambda$0(Ljava/lang/Object;)LFun1$$Ljava$lang$Integer$_$Ljava$lang$Integer$_$; @2: invokedynamic Reason: Type 'java/lang/Object' (current frame, stack[1]) is not assignable to 'java/lang/Integer' Current Frame: bci: @2 flags: { } locals: { 'Foo', 'java/lang/Object' } stack: { 'Foo', 'java/lang/Object' } Bytecode: 0000000: 2a2b ba00 2900 00b0 at Start.main(Start.java:7) ```

dholle referenced this issue from a commit

2024-04-30 14:55:47 +00:00

Fix #326, convert captures to correct types

dholle closed this issue

2024-04-30 14:55:47 +00:00

Sign in to join this conversation.