blob: 32f8297f5e2d09a55e8d6fa7d333e94c8056cedd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(* TEST
flags = "-stop-after parsing -dparsetree"
* setup-ocamlc.byte-build-env
** ocamlc.byte
*** check-ocamlc.byte-output
*)
class ['a] list = object end
type 'a t = int #list as 'a
(* Here, "int #list" must be understood as a type.
Another interpretation would be to understand just "int"
as a type and view "#list" as a toplevel directive.
A syntax error would then be reported at "as". *)
type 'a u = A of int #list
type 'a v = A of int * int #list
|