Fix quoting of strings

rossberg · rossberg · commit f6626098510a · 2025-06-17T08:55:48.000+02:00
diff --git a/interpreter/main/main.ml b/interpreter/main/main.ml
@@ -13,7 +13,7 @@ let usage = "Usage: " ^ name ^ " [option] [file ...]"
 let args = ref []
 let add_arg source = args := !args @ [source]
 
-let quote s = "\"" ^ String.escaped s ^ "\""
+let quote = Arrange.string
 
 let argspec = Arg.align
 [
diff --git a/interpreter/text/arrange.mli b/interpreter/text/arrange.mli
@@ -1,5 +1,6 @@
 open Sexpr
 
+val string : string -> string
 val instr : Ast.instr -> sexpr
 val func : Ast.func -> sexpr
 val module_ : Ast.module_ -> sexpr

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ let usage = "Usage: " ^ name ^ " [option] [file ...]"`
`13`	`13`	`let args = ref []`
`14`	`14`	`let add_arg source = args := !args @ [source]`
`15`	`15`
`16`		`-let quote s = "\"" ^ String.escaped s ^ "\""`
	`16`	`+let quote = Arrange.string`
`17`	`17`
`18`	`18`	`let argspec = Arg.align`
`19`	`19`	`[`