Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

extensions: add pipebang

  • Loading branch information...
commit c8334a797a9877e04ab64a855db4aef9378865ab 1 parent cf7332e
Thomas Refis trefis authored
Showing with 9 additions and 1 deletion.
  1. +9 −1 src/extensions.ml
10 src/extensions.ml
View
@@ -131,6 +131,14 @@ let ext_here = {
packages = [];
}
+let ext_pipebang = {
+ name = "pipebang";
+ private_def = [];
+ public_def = ["val (|!) : 'a -> ('a -> 'b) -> 'b"];
+ keywords = [];
+ packages = [];
+}
+
let ext_sexp_option = {
name = "sexp_option";
private_def = [];
@@ -140,5 +148,5 @@ let ext_sexp_option = {
}
let always = [ext_any;ext_sexp_option]
-let registry = [ext_here;ext_lwt;ext_js;ext_ounit;ext_nonrec]
+let registry = [ext_here;ext_lwt;ext_js;ext_ounit;ext_nonrec;ext_pipebang]
Please sign in to comment.
Something went wrong with that request. Please try again.