diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-11-03 10:36:15 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-11-03 10:36:15 +0000 |
commit | dcb9f48f51cec5e864565862a700c27df2a1a7e6 (patch) | |
tree | b453b51b7406d3b1cf7191729637446a23ffc92c /cparser/C.mli | |
parent | bd93aa7ef9c19a4def8aa64c32faeb04ab2607e9 (diff) |
Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2065 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/C.mli')
-rw-r--r-- | cparser/C.mli | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/cparser/C.mli b/cparser/C.mli index 52f02c4..8e73bc5 100644 --- a/cparser/C.mli +++ b/cparser/C.mli @@ -52,9 +52,16 @@ type fkind = (** Constants *) +type float_cst = { + hex : bool; + intPart : string; + fracPart : string; + exp : string; +} + type constant = | CInt of int64 * ikind * string (* as it appeared in the source *) - | CFloat of float * fkind * string (* as it appeared in the source *) + | CFloat of float_cst * fkind | CStr of string | CWStr of int64 list | CEnum of ident * int64 (* enum tag, integer value *) |