WIP type-checking -- check recursive type defs

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

diff --git a/compiler/src/lib/tiger/tiger_symbol.mli b/compiler/src/lib/tiger/tiger_symbol.mli
index 8605047..e5c560f 100644 (file)
--- a/compiler/src/lib/tiger/tiger_symbol.mli
+++ b/compiler/src/lib/tiger/tiger_symbol.mli
@@ -3,3 +3,5 @@ type t
 val of_string : string -> t
 
 val to_string : t -> string
+
+val is_equal : t -> t -> bool