summaryrefslogtreecommitdiff
path: root/testsuite/tests/tool-ocaml-annot/typeonly.ml
blob: 75ccf668e5529f583bd817fb24ec89e3a300913d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(* TEST
 flags = "-i -annot";
 compile_only = "true";
 script = "sh ${test_source_directory}/check-annot.sh typeonly";
 {
   setup-ocamlc.byte-build-env;
   ocamlc.byte;
   script;
 }{
   setup-ocamlopt.byte-build-env;
   ocamlopt.byte;
   script;
 }
*)

(* Check that .annot files are emitted in case of type-only compilation. *)
let a = 3
let b = float a