diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-08-30 10:33:26 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-08-30 10:33:26 +0200 |
commit | 082b69414e8b861286139fe7848561893d3f3702 (patch) | |
tree | 35fcd154c1676684e4b51f89c4058cb20ccbcc0b | |
parent | 0c45b5422ef0905941a00c011d34543d678c8135 (diff) | |
download | compcert-082b69414e8b861286139fe7848561893d3f3702.tar.gz compcert-082b69414e8b861286139fe7848561893d3f3702.zip |
bug 18004, fix some typos/grammar
-rw-r--r-- | cparser/Elab.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 3d50c3b6..7cbe4c7b 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -794,7 +794,7 @@ and elab_field_group keep_ty env (Field_group (spec, fieldlist, loc)) = match Ceval.integer_expr env' expr with | Some n -> if n < 0L then begin - error loc "bit-filed '%s' has negative width (%Ld)" id n; + error loc "bit-field '%s' has negative width (%Ld)" id n; None end else let max = Int64.of_int(sizeof_ikind ik * 8) in @@ -808,7 +808,7 @@ and elab_field_group keep_ty env (Field_group (spec, fieldlist, loc)) = end else Some(Int64.to_int n) | None -> - error loc "bit-field '%s' witdth not an integer constant" id; + error loc "bit-field '%s' width not an integer constant" id; None end in { fld_name = id; fld_typ = ty; fld_bitfield = optbitsize' } @@ -1199,7 +1199,7 @@ let rec elab_designator loc env zi desig = | Some zi' -> elab_designator loc env zi' desig' | None -> - error loc "field designator '%s' does not have refer to any field in type '%s'" name (I.name zi); + error loc "field designator '%s' does not refer to any field in type '%s'" name (I.name zi); raise Exit end | ATINDEX_INIT a :: desig' -> @@ -1992,7 +1992,7 @@ let enter_typedefs loc env sto dl = if equal_types env ty ty' then env else begin - error loc "typdef redefinition with different types (%a vs %a)" + error loc "typedef redefinition with different types (%a vs %a)" (print_typ env) ty (print_typ env) ty'; env end |