From cbf4dda5cc09dc6d2c3c10329e7941923cc04e2e Mon Sep 17 00:00:00 2001
From: bjculkin <bjculkin@localhost>
Date: Wed, 25 Oct 2023 23:00:44 +0000
Subject: Tweak for new setup

Also, add some tests for Context
---
 src/main/java/bjc/data/Contexts.java       | 17 +++++++++++++++++
 src/main/java/bjc/typeclasses/FunList.java |  2 +-
 src/main/java/module-info.java             |  1 +
 3 files changed, 19 insertions(+), 1 deletion(-)

(limited to 'src/main/java')

diff --git a/src/main/java/bjc/data/Contexts.java b/src/main/java/bjc/data/Contexts.java
index 699a450..7de1b5f 100644
--- a/src/main/java/bjc/data/Contexts.java
+++ b/src/main/java/bjc/data/Contexts.java
@@ -117,4 +117,21 @@ class ContextImpl implements Context {
 	public Context getParent() {
 		return parent;
 	}
+
+	@Override
+	public int hashCode() {
+		return Objects.hash(objects, parent);
+	}
+
+	@Override
+	public boolean equals(Object obj) {
+		if (this == obj)
+			return true;
+		if (obj == null)
+			return false;
+		if (getClass() != obj.getClass())
+			return false;
+		ContextImpl other = (ContextImpl) obj;
+		return Objects.equals(objects, other.objects) && Objects.equals(parent, other.parent);
+	}
 }
\ No newline at end of file
diff --git a/src/main/java/bjc/typeclasses/FunList.java b/src/main/java/bjc/typeclasses/FunList.java
index cd16c82..555b2c7 100644
--- a/src/main/java/bjc/typeclasses/FunList.java
+++ b/src/main/java/bjc/typeclasses/FunList.java
@@ -4,7 +4,7 @@ import java.util.ArrayList;
 import java.util.List;
 import java.util.function.Function;
 
-public sealed interface FunList<A, B> permits FunList.Done<A, B>, FunList.More<A, B> {
+public /*sealed*/ interface FunList<A, B> /*permits FunList.Done<A, B>, FunList.More<A, B>*/ {
 	public final class Done<A, B> implements FunList<A, B> {
 		private final B val;
 
diff --git a/src/main/java/module-info.java b/src/main/java/module-info.java
index edae185..227f9b3 100644
--- a/src/main/java/module-info.java
+++ b/src/main/java/module-info.java
@@ -28,4 +28,5 @@ module esodata {
 	exports bjc.funcdata.bst;
 	exports bjc.funcdata.theory;
 	exports bjc.funcdata;
+	exports bjc.typeclasses;
 }
\ No newline at end of file
-- 
cgit v1.2.3