diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-03 11:08:50 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-06-04 16:32:12 +0200 |
| commit | 130990b8c24db1ccc44dc1b85907904433351e8d (patch) | |
| tree | bb4ff5d906898a03dbeddce63a54e1731227a97a /cparser/Diagnostics.mli | |
| parent | 15d1bbdba079b2ff0778e6b0685338a0919f2aef (diff) | |
| download | compcert-kvx-130990b8c24db1ccc44dc1b85907904433351e8d.tar.gz compcert-kvx-130990b8c24db1ccc44dc1b85907904433351e8d.zip | |
Parameterize elab_expr by the full elaboration context
Before, we would pass just the `ctx_vararg` component of the context
to `elab_expr` as a Boolean argument.
For future extensions, we will need to pass more of the context to
`elab_expr`, so why not pass the whole context?
This is what this commit does. The `stmt_context` type is renamed
`elab_context` and its definition is moved earlier. The `ctx`
argument is passed as is from `elab_stmt` to `elab_expr`.
Diffstat (limited to 'cparser/Diagnostics.mli')
0 files changed, 0 insertions, 0 deletions