From 1bddfa9eca2e4345ddecba932ee9d1ff89f27945 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 25 Nov 2021 17:40:51 +0100
Subject: Implement type substitution for function definitions (and
 expressions, etc.)

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

(limited to 'src/Expressions.ml')

diff --git a/src/Expressions.ml b/src/Expressions.ml
index d5219678..7ae6ab01 100644
--- a/src/Expressions.ml
+++ b/src/Expressions.ml
@@ -1,3 +1,5 @@
+(** TODO: the name "Expression" is not correct - change that *)
+
 open Types
 open Values
 
-- 
cgit v1.2.3