diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:59:47 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:59:47 +0200 |
| commit | e5d2a949f0e5cd5f1ddaece41a03f65ac1e3836e (patch) | |
| tree | 4aa17fdee5ee531590342da2d1a833d0314f5c79 /exportclight | |
| parent | e9ea9da494eeabfc459e7ba43f9f5ccb9a48dcf1 (diff) | |
| download | compcert-e5d2a949f0e5cd5f1ddaece41a03f65ac1e3836e.tar.gz compcert-e5d2a949f0e5cd5f1ddaece41a03f65ac1e3836e.zip | |
Removed the two uses of $syntaxerror in a semantic action.
For the first one, this is fine; the error is caught by a type check later on.
For the second one, it is temporary. More thought is needed about the syntax
of K&R functions anyway, as Jacques-Henri and I discovered that it is currently
broken (it mis-interprets some function definitions).
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions