Commit 835a6a6c authored by Julien Lopez's avatar Julien Lopez
Browse files

[TESTS][LAMBDA][MINOR] Fix GRAMMAR

parent 4b0f4d79
......@@ -54,16 +54,16 @@ branches = (* empty *)
id = LIDENT (* [a-z_][A-Za-z0-9_]* *)
;;
(* One must precise a set of type substitutions on a type variable, at least a
empty one: α = 'A{} *)
type_id = UIDENT
| "'" UIDENT "{" UIDENT "/" type_id sigma "}"
| "'" UIDENT "{" sigma "}"
| "[" complex_type_id "]"
| "(" complex_type_id ")"
;;
complex_type_id = UIDENT (* [A-Z][A-Za-z0-9_]* *)
(* One must precise a set of type substitutions on a type variable, at least a
empty one: α = 'A{} *)
| "'" UIDENT "{" UIDENT "/" type_id sigma "}"
| "'" UIDENT "{" sigma "}"
| complex_type_id "*" complex_type_id
| complex_type_id "|" complex_type_id
| complex_type_id "&" complex_type_id
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment