Pass around lists of strings for error messages

This allows us to get back an error message in Saturated Solinas in
OCaml on P256 x32 in reasonable time without blowing the stack.

There's the slight oddity that the list of string in the success case is
joined by the empty string, but the list of string in the error case is
joined by newline.  Probably meanas that I chose the wrong abstraction
barrier somewhere.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/Experiments/NewPipeline/StandaloneHaskellMain.v b/src/Experiments/NewPipeline/StandaloneHaskellMain.v
index 5333f7c92..d9ada8451 100644
--- a/src/Experiments/NewPipeline/StandaloneHaskellMain.v
+++ b/src/Experiments/NewPipeline/StandaloneHaskellMain.v
@@ -46,7 +46,7 @@ Module UnsaturatedSolinas.
               (prog::argv)
               (fun res => printf_string
                          (String.concat "" res))
-              (fun err => raise_failure _ err)).
+              (fun err => raise_failure _ (String.concat String.NewLine err))).
 End UnsaturatedSolinas.
 
 Module SaturatedSolinas.
@@ -58,5 +58,5 @@ Module SaturatedSolinas.
               (prog::argv)
               (fun res => printf_string
                          (String.concat "" res))
-              (fun err => raise_failure _ err)).
+              (fun err => raise_failure _ (String.concat String.NewLine err))).
 End SaturatedSolinas.