WIP type-checking -- check recursive type defs

[tiger.ml.git] / compiler / src / lib / tiger / tiger_symbol.ml

diff --git a/compiler/src/lib/tiger/tiger_symbol.ml b/compiler/src/lib/tiger/tiger_symbol.ml
index eb32942..f1dc51a 100644 (file)
--- a/compiler/src/lib/tiger/tiger_symbol.ml
+++ b/compiler/src/lib/tiger/tiger_symbol.ml
@@ -21,3 +21,6 @@ let of_string name =
 
 let to_string {name; _} =
   name
+
+let is_equal {symbol=s1; _} {symbol=s2; _} =
+  s1 = s2