blob: f739509551e3f87484b134fd8a48ef02799bf19a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(* TEST
* setup-ocamlc.byte-build-env
** ocamlc.byte
flags = "-stop-after typing -dno-unique-ids -dtypedtree"
ocamlc_byte_exit_status = "0"
*** check-ocamlc.byte-output
*)
(* we intentionally write an output that is type-correct
but will be rejected before bytecode compilation
due to the incorrect type given to the %apply
compiler primitive. *)
external apply: int -> int = "%apply"
|