From ca685d7dedcf5f4e1de5912006760e51a106b893 Mon Sep 17 00:00:00 2001
From: Emi Simpson <emi@alchemi.dev>
Date: Thu, 9 Mar 2023 22:11:21 -0500
Subject: [PATCH] Fix substitution not working for polytypes

honestly i don't know how i didn't catch that sooner
---
 types_.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/types_.py b/types_.py
index 85e8edb..bf62656 100644
--- a/types_.py
+++ b/types_.py
@@ -166,7 +166,7 @@ class Context:
 
 	def subst(self, replacement: MonoType, var: VarTy) -> 'Context':
 		return Context({
-			name: val
+			name: val.subst(replacement, var)
 			for (name, val) in self.variable_types.items()
 		})