Fix exponential syntax (#7174)

Author: shulhi

CHANGELOG.md

@@ -22,6 +22,7 @@
 
 - Handle absolute file paths in gentype. https://github.com/rescript-lang/rescript-compiler/pull/7111
 - Fix "rescript format" with many files. https://github.com/rescript-lang/rescript-compiler/pull/7081
+- Fix exponential notation syntax. https://github.com/rescript-lang/rescript/pull/7174
 
 #### :house: Internal
 

jscomp/syntax/src/res_scanner.ml

@@ -203,24 +203,30 @@ let scanIdentifier scanner =
 
 let scanDigits scanner ~base =
   if base <= 10 then
-    let rec loop scanner =
+    let rec loop scanner foundDigits =
       match scanner.ch with
-      | '0' .. '9' | '_' ->
+      | '0' .. '9' ->
         next scanner;
-        loop scanner
-      | _ -> ()
+        loop scanner true
+      | '_' ->
+        next scanner;
+        loop scanner false
+      | _ -> foundDigits
     in
-    loop scanner
+    loop scanner false
   else
-    let rec loop scanner =
+    let rec loop scanner foundDigits =
       match scanner.ch with
       (* hex *)
-      | '0' .. '9' | 'a' .. 'f' | 'A' .. 'F' | '_' ->
+      | '0' .. '9' | 'a' .. 'f' | 'A' .. 'F' ->
+        next scanner;
+        loop scanner true
+      | '_' ->
         next scanner;
-        loop scanner
-      | _ -> ()
+        loop scanner false
+      | _ -> foundDigits
     in
-    loop scanner
+    loop scanner false
 
 (* float: (0…9) { 0…9∣ _ } [. { 0…9∣ _ }] [(e∣ E) [+∣ -] (0…9) { 0…9∣ _ }]   *)
 let scanNumber scanner =
@@ -245,25 +251,30 @@ let scanNumber scanner =
         8)
     | _ -> 10
   in
-  scanDigits scanner ~base;
+  ignore (scanDigits scanner ~base);
 
   (*  *)
   let isFloat =
     if '.' == scanner.ch then (
       next scanner;
-      scanDigits scanner ~base;
+      ignore (scanDigits scanner ~base);
       true)
     else false
   in
 
   (* exponent part *)
   let isFloat =
+    let startPos = position scanner in
     match scanner.ch with
     | 'e' | 'E' | 'p' | 'P' ->
       (match peek scanner with
       | '+' | '-' -> next2 scanner
       | _ -> next scanner);
-      scanDigits scanner ~base;
+      let endPos = position scanner in
+      let foundDigits = scanDigits scanner ~base in
+      if not foundDigits then
+        scanner.err ~startPos ~endPos
+          (Diagnostics.message "Expected digits after exponential notation.");
       true
     | _ -> isFloat
   in

jscomp/syntax/tests/parsing/errors/scanner/expected/exponent_notation.res.txt

@@ -0,0 +1,30 @@
+
+  Syntax error!
+  tests/parsing/errors/scanner/exponent_notation.res:7:10
+
+  5 │ let x = 1_e_1
+  6 │ 
+  7 │ let x = 1e
+  8 │ 
+  9 │ let x = 1_e_
+
+  Expected digits after exponential notation.
+
+
+  Syntax error!
+  tests/parsing/errors/scanner/exponent_notation.res:9:11
+
+   7 │ let x = 1e
+   8 │ 
+   9 │ let x = 1_e_
+  10 │ 
+  11 │ let x = 1.
+
+  Expected digits after exponential notation.
+
+let x = 1e1
+let x = 1e_1
+let x = 1_e_1
+let x = 1e
+let x = 1_e_
+let x = 1.

jscomp/syntax/tests/parsing/errors/scanner/exponent_notation.res

@@ -0,0 +1,11 @@
+let x = 1e1
+
+let x = 1e_1
+
+let x = 1_e_1
+
+let x = 1e
+
+let x = 1_e_
+
+let x = 1.