From cc204f659adc400a77721757edbccc6e51c80808 Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Fri, 25 Oct 2024 11:12:46 +0200
Subject: [PATCH] 	modified:  
 resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav

---
 resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav b/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
index c3c58171..5d9cff2e 100644
--- a/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
+++ b/resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
@@ -1,3 +1,6 @@
+sealed interface List<T> permits LinkedElem, Elem {}
+
+public record LinkedElem<T>(T a, List<T> l) implements List<T> {}
 public record Elem<T>(T a) implements List<T> {}
 
 public class PaternMatchingHaskellStyle {