Original bug ID: 5642
Reporter: @bobzhang
Status: closed (set by @damiendoligez on 2015-01-09T22:00:32Z)
Resolution: suspended
Priority: normal
Severity: minor
Target version: undecided
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues

Bug description

The right module type application is written this way:
value app mt1 mt2 = match (mt1, mt2) with
[ (<< $id:i1$ >>, << $id:i2$ >>) ->
<< $id: <:ident< $i1$ $i2$ >> $ >>
| _ -> invalid_arg "blabla" ];

I wrote another function before
value f a b = <:module_type< $a$ $b$ >> ;
it was printed as 'value f a b = a'
Should camlp4 here report an error or something more informative?