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 /test/spass/misc.h | |
parent | 15d1bbdba079b2ff0778e6b0685338a0919f2aef (diff) | |
download | compcert-130990b8c24db1ccc44dc1b85907904433351e8d.tar.gz compcert-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 'test/spass/misc.h')
0 files changed, 0 insertions, 0 deletions