Permalink
Browse files

extensions: add pipebang

  • Loading branch information...
1 parent cf7332e commit c8334a797a9877e04ab64a855db4aef9378865ab @trefis trefis committed Feb 13, 2014
Showing with 9 additions and 1 deletion.
  1. +9 −1 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]

0 comments on commit c8334a7

Please sign in to comment.