diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-03-18 14:07:00 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-03-18 22:24:46 +0100 |
| commit | 8caa2c8e10aa811cfbfd03b80f97955a35d17936 (patch) | |
| tree | 729a3fb205dc0d7c42281e428401bb707c4ab950 /testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml | |
| parent | b752835ffc2be92197c746d03cd586d7b1c576cf (diff) | |
| download | ocaml-8caa2c8e10aa811cfbfd03b80f97955a35d17936.tar.gz | |
Migrate the typing-modules-bugs tests to ocamltest
Diffstat (limited to 'testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml')
| -rw-r--r-- | testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml b/testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml index 5887445493..1241d53c98 100644 --- a/testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml +++ b/testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml @@ -1,3 +1,10 @@ +(* TEST +flags = " -w a " +* setup-ocamlc.byte-build-env +** ocamlc.byte +*** check-ocamlc.byte-output +*) + module Std = struct module Hash = Hashtbl end;; open Std;; |