[interpreter] Remove use of physical equality on characters (#1396)

hanshoglund · web-flow · commit eae4abc2cc1f · 2021-11-16T22:51:28.000+01:00
diff --git a/interpreter/exec/int.ml b/interpreter/exec/int.ml
@@ -284,7 +284,7 @@ struct
 
   let of_string_u s =
     let n = of_string s in
-    require (s.[0] != '+' && s.[0] != '-');
+    require (s.[0] <> '+' && s.[0] <> '-');
     n
 
   (* String conversion that groups digits for readability *)

Original file line number	Diff line number	Diff line change
`@@ -284,7 +284,7 @@ struct`
`284`	`284`
`285`	`285`	`let of_string_u s =`
`286`	`286`	`let n = of_string s in`
`287`		`- require (s.[0] != '+' && s.[0] != '-');`
	`287`	`+ require (s.[0] <> '+' && s.[0] <> '-');`
`288`	`288`	`n`
`289`	`289`
`290`	`290`	`(* String conversion that groups digits for readability *)`