5 files changed, 103 insertions, 1 deletions

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
diff --git a/src/test/java/bjc/test/TestUtils.java b/src/test/java/bjc/test/TestUtils.java
index 04cdf70..664aaef 100644
--- a/src/test/java/bjc/test/TestUtils.java
+++ b/src/test/java/bjc/test/TestUtils.java
@@ -144,4 +144,24 @@ public class TestUtils {
 	public static <T> void assertStackEquals(bjc.esodata.Stack<T> src, T... exps) {
 		assertArrayEquals(exps, src.toArray());
 	}
+	
+	public static <T> void assertOneOf(T actual, T... expecteds) {
+		for (T expected : expecteds) {
+			if (expected.equals(actual)) return;
+		}
+		
+		StringBuilder builder = new StringBuilder();
+		builder.append("Value '");
+		builder.append(actual.toString());
+		builder.append("' was not one of the expected values: ");
+		for (T expected : expecteds) {
+			builder.append("'");
+			builder.append(expected.toString());
+			builder.append("', ");
+		}
+		builder.deleteCharAt(builder.length() - 1);
+		builder.deleteCharAt(builder.length() - 1);
+		
+		assertFalse("Value '%' was no", true);
+	}
 }
diff --git a/src/test/java/bjc/test/data/ContextsTest.java b/src/test/java/bjc/test/data/ContextsTest.java
new file mode 100644
index 0000000..cff6e06
--- /dev/null
+++ b/src/test/java/bjc/test/data/ContextsTest.java
@@ -0,0 +1,64 @@
+package bjc.test.data;
+
+import static org.junit.Assert.*;
+
+import org.junit.Test;
+
+import bjc.data.Context;
+import bjc.data.Contexts;
+import bjc.test.TestUtils;
+
+public class ContextsTest {
+
+	@Test(expected = UnsupportedOperationException.class)
+	public void testNull() {
+		Context ctx = Contexts.NULL;
+		ctx.register("a", "b");
+	}
+	@Test
+	public void testCreate() {
+		Context ctx = Contexts.create();
+		
+		assertTrue(ctx.getParent() == Contexts.NULL);
+		
+		ctx.register("a", "b");
+		
+		assertEquals("b", ctx.get("a"));
+		assertEquals("b", ctx.get(String.class));
+		assertEquals("b", ctx.get("a", String.class));
+	}
+
+	@Test
+	public void testCreateContext() {
+		Context parent = Contexts.create();
+		
+		assertTrue(parent.getParent() == Contexts.NULL);
+		
+		parent.register("a", "1");
+		
+		Context child1 = Contexts.create(parent);
+		Context child2 = Contexts.create(parent);
+		
+		Context child11 = Contexts.create(child1);
+		Context child22 = Contexts.create(child2);
+		
+		child1.register("b", "2");
+		child1.register("c", "3");
+		
+		child2.register("d", "4");
+		child2.register("e", "5");
+		
+		child11.register("a", "6");
+		
+		child22.register("a", "7");
+		child22.register("f", "8");
+		
+		assertEquals("2", child1.get("b"));
+		assertEquals("1", child1.get("a"));
+		assertEquals("6", child11.get("a"));
+		assertEquals("7", child22.get("a"));
+		
+		TestUtils.assertOneOf(child1.get(String.class), "1", "2", "3");
+	}
+
+}