From 3026a96eb7e215ccdda1dd1fbc6d0ecf13d583d7 Mon Sep 17 00:00:00 2001
From: sebastian <sebastian.selander@gmail.com>
Date: Tue, 21 Mar 2023 14:51:06 +0100
Subject: [PATCH] added todo for class

---
 src/TypeChecker/TypeChecker.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/TypeChecker/TypeChecker.hs b/src/TypeChecker/TypeChecker.hs
index af62451..d909e49 100644
--- a/src/TypeChecker/TypeChecker.hs
+++ b/src/TypeChecker/TypeChecker.hs
@@ -377,6 +377,9 @@ inst (Forall xs t) = do
 compose :: Subst -> Subst -> Subst
 compose m1 m2 = M.map (apply m1) m2 `M.union` m1
 
+-- TODO: Split this class into two separate classes, one for free variables
+--       and one for applying substitutions
+
 -- | A class representing free variables functions
 class FreeVars t where
     -- | Get all free variables from t