blob: f364fac99afd55c6068721de8999a6856be69eae (
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
|
(* TEST_BELOW
Filler_text_added_to_preserve_location
s_while_translating_from_old_syn
tax__Filler_text_
added_to_preserve_locations_whi
*)
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
(* TEST
flags = "-stop-after parsing -dparsetree";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
|
