Add pipeline operator

README.md

@@ -103,3 +103,4 @@ Output type:
 * [Interface to Lua](doc/LuaInterface.md)
 * [Interface to JavaScript](doc/JavaScriptInterface.md)
 * [Delimited continuations](doc/DelimitedContinuations.md) (experimental)
+* [Other libraries](doc/OtherLibraries.md)

doc/MLBasisSystem.md

@@ -85,6 +85,7 @@ The default value for an annotation could be specified by `--default-ann` option
 * `$(SML_LIB)/basis/lunarml.mlb`: The [LunarML](LunarMLStructure.md) structure
 * `$(SML_LIB)/basis/lua.mlb`: The [Lua](LuaInterface.md) structure
 * `$(SML_LIB)/basis/javascript.mlb`: The [JavaScript](JavaScriptInterface.md) structure
+* `$(SML_LIB)/basis/pipeline.mlb`: The pipeline operator `|>`. See [OtherLibraries](OtherLibraries.md).
 
 The following libraries are available if `make -C thirdparty install` is run:
 

doc/OtherLibraries.md

@@ -0,0 +1,16 @@
+## Pipeline operators (`$(SML_LIB)/basis/pipeline.mlb`)
+
+`$(SML_LIB)/basis/pipeline.mlb` contains the following declarations:
+
+```sml
+infix 0 |>
+fun x |> f = f x
+```
+
+## Other libraries
+
+* `$(SML_LIB)/basis/basis.mlb`: The [Basis Library](BasisLibrary.md)
+* `$(SML_LIB)/basis/unsafe.mlb`: The [Unsafe](UnsafeStructure.md) structure
+* `$(SML_LIB)/basis/lunarml.mlb`: The [LunarML](LunarMLStructure.md) structure
+* `$(SML_LIB)/basis/lua.mlb`: The [Lua](LuaInterface.md) structure
+* `$(SML_LIB)/basis/javascript.mlb`: The [JavaScript](JavaScriptInterface.md) structure

example/pipeline.mlb

@@ -0,0 +1,3 @@
+$(SML_LIB)/basis/basis.mlb
+$(SML_LIB)/basis/pipeline.mlb
+pipeline.sml

example/pipeline.sml

@@ -0,0 +1 @@
+"Hello world!\n" |> print;

lib/lunarml/ml/basis/pipeline.mlb

@@ -0,0 +1 @@
+pipeline.sml

lib/lunarml/ml/basis/pipeline.sml

@@ -0,0 +1,2 @@
+infix 0 |>
+fun x |> f = f x;