Detect cycles in type declarations

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

diff --git a/compiler/src/lib/tiger/tiger_dag.mli b/compiler/src/lib/tiger/tiger_dag.mli
new file mode 100644 (file)
index 0000000..0968482
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_dag.mli
@@ -0,0 +1,3 @@
+type t
+
+val of_list : ('a * 'a) list -> (t, [`Cycle]) result