From 3a1c1f31866b302ef8f7ccb782599fe72d320b8a Mon Sep 17 00:00:00 2001 From: Sebastien Mondet Date: Sat, 28 Dec 2013 08:31:56 -0500 Subject: [PATCH] =?UTF-8?q?Add=20operators=20to=20compile=20with=20OCaml?= =?UTF-8?q?=20=E2=89=A5=204.00.0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- smartPrint.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/smartPrint.ml b/smartPrint.ml index 8d1479a..90598b7 100644 --- a/smartPrint.ml +++ b/smartPrint.ml @@ -1,3 +1,6 @@ +external (|>) : 'a -> ('a -> 'b) -> 'b = "%revapply";; +external ( @@ ) : ('a -> 'b) -> 'a -> 'b = "%apply" + (* Separators. *) module Break = struct (* A break can be a whitespace or a newline if the text has to be splited. *) @@ -418,4 +421,4 @@ let to_out_channel (width : int) (tab : int) (c : out_channel) (d : t) : unit = (output_char c) (output_string c) output_sub_string d let to_stdout (width : int) (tab : int) (d : t) : unit = - to_out_channel width tab stdout d \ No newline at end of file + to_out_channel width tab stdout d