aboutsummaryrefslogtreecommitdiff
path: root/testsuite/fail_compilation/record-base-cycle.elna
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/fail_compilation/record-base-cycle.elna')
-rw-r--r--testsuite/fail_compilation/record-base-cycle.elna2
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/record-base-cycle.elna b/testsuite/fail_compilation/record-base-cycle.elna
index 8af254d..ea3d888 100644
--- a/testsuite/fail_compilation/record-base-cycle.elna
+++ b/testsuite/fail_compilation/record-base-cycle.elna
@@ -1,3 +1,5 @@
+module
+
type
R = record(R) (* @Error Type declaration forms a cycle: R -> R *)
end