diff options
| author | Pierre-Marie Pédrot | 2020-01-29 15:46:01 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-29 15:46:01 +0100 |
| commit | a510adb17481ae2c007463c083f562725cda9896 (patch) | |
| tree | 823419aa822d38b764b2011ae8eb91a3dc3e8df8 /plugins | |
| parent | f4163cb662983da2bd87a51b7bd1c6e5166b0d74 (diff) | |
| parent | 85b3be5f6998287d90acf89de96129571b244cd7 (diff) | |
Merge PR #11472: Fix #11467 ('e' was not displayed when printing decimal notations in R)
Reviewed-by: erikmd
Reviewed-by: ppedrot
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/syntax/r_syntax.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/syntax/r_syntax.ml b/plugins/syntax/r_syntax.ml index 70c1077106..f6fbdaa958 100644 --- a/plugins/syntax/r_syntax.ml +++ b/plugins/syntax/r_syntax.ml @@ -164,7 +164,7 @@ let rawnum_of_r c = match DAst.get c with let s, i = if is_pos_or_zero i then SPlus, i else SMinus, neg i in let i = Bigint.to_string i in let se = if is_gr md glob_Rdiv then "-" else "" in - let e = se ^ Bigint.to_string e in + let e = "e" ^ se ^ Bigint.to_string e in s, { NumTok.int = i; frac = ""; exp = e } | _ -> raise Non_closed_number end |
