1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
|
include (functor [@warning "item"] (M : S) -> N) [@@warning "structure"]
include struct
type t
end [@warning "item"] [@@warning "structure"]
include M [@warning "item"] [@@warning "structure"]
include (M : S) [@warning "item"] [@@warning "structure"]
include M (N) [@warning "item"] [@@warning "structure"]
include [%ext] [@warning "item"] [@@warning "structure"]
include (val M) [@warning "item"] [@@warning "structure"]
include
(val Aaaaaaaaaaaaaaaa.Bbbbbbbbbbbbbbbb.Cccccccccccccccc.Dddddddddddddddd)
[@warning "item"] [@@warning "structure"]
include (
List :
module type of Foo with module A := A [@warning "-3"] with module B := B)
include (
List :
(module type of Foo
with module A := A
[@warning "-3"] [@warning "-3"]
with module B := B
[@warning "-3"]))
include (
List :
(module type of Pervasives
with module A := A
[@warning "-3"] [@warning "-3"]
with module B := B
[@warning "-3"] [@warning "-3"]))
[@warning "-3"]
module My_module_name : sig end = struct end
(* some arbitrary comment *)
[@ocaml.warning "-60"]
module type A = sig
module [@attr] A := A.B
module A := A.B [@@attr]
end
|