diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-15 10:13:31 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-07 10:38:34 +0200 |
| commit | e61e2dffaac5f5ffbffdbd87c3d3466bd9a2e83b (patch) | |
| tree | b257b75eb0c8670b3b653c3b97acca8277cd021c /test/c | |
| parent | f86e6618b62769b1c3e78175f95f882d3960d54b (diff) | |
| download | compcert-kvx-e61e2dffaac5f5ffbffdbd87c3d3466bd9a2e83b.tar.gz compcert-kvx-e61e2dffaac5f5ffbffdbd87c3d3466bd9a2e83b.zip | |
ndfun: add support for guards on patterns
Syntax is "pat ?? bexpr => action".
The whole case is selected only when "pat" matches and then "bexpr"
evaluates to "true".
Diffstat (limited to 'test/c')
0 files changed, 0 insertions, 0 deletions