Commit 0c8cbaa1 authored by Andrei Paskevich's avatar Andrei Paskevich

minor

parent be31a207
......@@ -1280,7 +1280,7 @@ type_v:
;
type_v_param:
/* TODO
/* TODO ???
| simple_type_v
{ [id_anonymous (), Some $1] }
*/
......@@ -1322,22 +1322,12 @@ annotation:
| LEFTBRC lexpr RIGHTBRC { $2 }
;
annotation_post:
| LEFTBRC RIGHTBRC { mk_pp PPtrue }
| LEFTBRC lexpr RIGHTBRC { $2 }
/*
| LEFTBRC pat_conj BAR lexpr RIGHTBRC
{ let id = { id = "result"; id_lab = []; id_loc = floc (); } in
mk_pp (PPmatch (mk_pp (PPvar (Qident id)), [$2, $4])) }
*/
;
pre:
| annotation { $1 }
;
post:
| annotation_post list0_post_exn { $1, $2 }
| annotation list0_post_exn { $1, $2 }
;
list0_post_exn:
......
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