blob: 614873260461ca3c14725f227b39a41615c9b58d (
plain)
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
|
(* TEST
flags = " -w -a "
* setup-ocamlc.byte-build-env
** ocamlc.byte
*** check-ocamlc.byte-output
*)
module type PR6513 = sig
module type S = sig type u end
module type T = sig
type 'a wrap
type uri
end
module Make: functor (Html5 : T with type 'a wrap = 'a) ->
S with type u = < foo : Html5.uri >
end
(* Requires -package tyxml
module type PR6513_orig = sig
module type S =
sig
type t
type u
end
module Make: functor (Html5: Html5_sigs.T
with type 'a Xml.wrap = 'a and
type 'a wrap = 'a and
type 'a list_wrap = 'a list)
-> S with type t = Html5_types.div Html5.elt and
type u = < foo: Html5.uri >
end
*)
|