aboutsummaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2020-01-29 15:46:01 +0100
committerPierre-Marie Pédrot2020-01-29 15:46:01 +0100
commita510adb17481ae2c007463c083f562725cda9896 (patch)
tree823419aa822d38b764b2011ae8eb91a3dc3e8df8 /plugins
parentf4163cb662983da2bd87a51b7bd1c6e5166b0d74 (diff)
parent85b3be5f6998287d90acf89de96129571b244cd7 (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.ml2
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