diff options
| author | Hugo Herbelin | 2019-11-14 07:30:05 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-22 22:34:15 +0100 |
| commit | 67e16fdeef26455d0afa357e31de8f7b3f772034 (patch) | |
| tree | ab06d25b1b287eeb136f0834a41eb27ef2c90e44 /interp/notation_ops.ml | |
| parent | 50a39015ea0c86cdb6d368ff7f92ce2091085146 (diff) | |
Fixing printing of notations bound to an expression of the form "@f".
The CApp(CRef f,[]) encoding required to match the NApp(NRef f,[])
encoding of @f was lost.
It remains to let printing match parsing wrt the deactivation of
implicit arguments and argument scopes in such case. See next commit.
Diffstat (limited to 'interp/notation_ops.ml')
0 files changed, 0 insertions, 0 deletions