diff options
author | Jason Gross <jgross@mit.edu> | 2018-06-18 09:16:34 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2018-06-18 09:16:34 -0400 |
commit | ecf6b9631d75d1b1b3bd1f3ab99d63deb97cc60e (patch) | |
tree | 86ff443c1e48f3739f608ba1e1cba8d3a21db70e /src/Experiments/NewPipeline/StandaloneOCamlMain.v | |
parent | 9dd87cff716864146924df8afa0209cf8a3040b8 (diff) |
Don't duplicate error message printing in OCaml
Diffstat (limited to 'src/Experiments/NewPipeline/StandaloneOCamlMain.v')
-rw-r--r-- | src/Experiments/NewPipeline/StandaloneOCamlMain.v | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Experiments/NewPipeline/StandaloneOCamlMain.v b/src/Experiments/NewPipeline/StandaloneOCamlMain.v index 5696cdc12..0c354b45a 100644 --- a/src/Experiments/NewPipeline/StandaloneOCamlMain.v +++ b/src/Experiments/NewPipeline/StandaloneOCamlMain.v @@ -85,12 +85,13 @@ Definition printf_list_string (strs : list String.string) : unit Definition printf_list_string_with_newlines (strs : list String.string) : unit := match strs with | nil => printf_list_string nil - | str :: strs => printf_list_string (str :: List.map (String.String Ascii.NewLine) strs) + | str :: strs => printf_list_string (str :: List.map (String.String Ascii.NewLine) strs + ++ [String.NewLine; String.NewLine])%list end. Definition raise_failure {A} (msg : list String.string) : A := seq (fun _ => printf_list_string_with_newlines msg) - (fun _ => raise_Failure _ (string_of_Coq_string (String.concat String.NewLine msg))). + (fun _ => raise_Failure _ (string_of_Coq_string "Synthesis failed")). Module UnsaturatedSolinas. Definition main : unit |