From 1f967c8c0aeaa3c411867baef7111f4a500c2b6d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 25 Nov 2021 12:06:01 +0100
Subject: Start working on type substitution

---
 src/Interpreter.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Interpreter.ml')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 9af0f936..66245572 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -6,9 +6,11 @@ open CfimAst
 open Print.Values
 open Errors
 open Contexts
+module Subst = Substitute
 
 (* TODO: Change state-passing style to : st -> ... -> (st, v) *)
 (* TODO: check that the value types are correct when evaluating *)
+(* TODO: module Type = T, etc. *)
 
 type eval_error = Panic
 
-- 
cgit v1.2.3