diff options
| author | François Pottier <francois.pottier@inria.fr> | 2016-05-27 09:19:31 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2016-05-27 09:19:31 +0200 |
| commit | acaf3211a58d33af44a1b8f87c2bc83fb33aa068 (patch) | |
| tree | 8d6effc31cebf559f6350710a5603df1ac6e8784 /cparser/ErrorReports.ml | |
| parent | 5087ec788016b719b4038be08cd55bccc22b3619 (diff) | |
| download | compcert-kvx-acaf3211a58d33af44a1b8f87c2bc83fb33aa068.tar.gz compcert-kvx-acaf3211a58d33af44a1b8f87c2bc83fb33aa068.zip | |
Fixed a comment.
Diffstat (limited to 'cparser/ErrorReports.ml')
| -rw-r--r-- | cparser/ErrorReports.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/cparser/ErrorReports.ml b/cparser/ErrorReports.ml index 3e46365d..e8f0bee5 100644 --- a/cparser/ErrorReports.ml +++ b/cparser/ErrorReports.ml @@ -35,7 +35,7 @@ type 'a buffer = | One of 'a | Two of 'a * (* most recent: *) 'a -(* [push buffer x] pushes [x] into [buffer], causing the buffer to slide. *) +(* [update buffer x] pushes [x] into [buffer], causing the buffer to slide. *) let update buffer x : _ buffer = match buffer, x with @@ -240,7 +240,7 @@ let report text buffer checkpoint : string = let where = show (extract text) buffer in (* Find out in which state the parser failed. *) let s : int = state checkpoint in - (* Choose an error message, based on the state number [s]. + (* Choose an error message, based on the state number [s]. Then, customize it, based on dynamic information. *) let message = try Pre_parser_messages.message s |> @@ -259,4 +259,3 @@ let report text buffer checkpoint : string = (pos.pos_cnum - pos.pos_bol + 1) where message - |