modified: resources/bytecode/javFiles/PatternMatchingListAppend.jav
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 4m21s
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 4m21s
This commit is contained in:
parent
46b378e3a5
commit
158adf837a
@ -4,7 +4,7 @@ import java.lang.Object;
|
|||||||
sealed interface List<T> permits Cons, Empty {}
|
sealed interface List<T> permits Cons, Empty {}
|
||||||
|
|
||||||
public record Cons<T>(T a, List<T> l) implements List<T> {}
|
public record Cons<T>(T a, List<T> l) implements List<T> {}
|
||||||
public record Empty() implements List<Object> {}
|
public record Empty<T>() implements List<T> {}
|
||||||
|
|
||||||
public class PatternMatchingListAppend {
|
public class PatternMatchingListAppend {
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user