ocaml/testsuite/tests/typing-recmod
Mark Shinwell df20ccf838 Fix recursive module initialisation that does not terminate (#9497)
This fixes the bug reported in issue 9494 and adds a test case.

Closes: #9494 
(cherry picked from commit ff98901d11fb01ba224772c402763df20d246635)
2020-04-24 17:50:19 +02:00
..
gpr1626.ml typing/oprint: [minor] improve printing of empty signatures 2019-09-03 11:44:21 +02:00
pr9494.ml Fix recursive module initialisation that does not terminate (#9497) 2020-04-24 17:50:19 +02:00
pr9494.reference Fix recursive module initialisation that does not terminate (#9497) 2020-04-24 17:50:19 +02:00
t01bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t01bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t02bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t02bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t03ok.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t04bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t04bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t05bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t05bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t06ok.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t07bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t07bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t08bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t08bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t09bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t09bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t10ok.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t11bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t11bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t12bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t12bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t13ok.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t14bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t14bad.ml Do not allow recursive modules in `with module` (#1626) 2018-08-02 04:58:43 -04:00
t15bad.compilers.reference Improve usage warnings for recursive modules 2020-04-18 08:08:54 +01:00
t15bad.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t16ok.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t17ok.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t18ok.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t20ok.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t21ok.ml Migrate the typing-recmod tests to ocamltest 2018-03-18 22:24:46 +01:00
t22ok.ml Deprecate Pervasives (#1605) 2018-08-27 12:42:14 +01:00
t22ok.mli Tests moved to 'typing-recmod' 2010-04-07 10:25:16 +00:00