pipeline -> pipe

minoki · Mar 20, 2024 · 3ba3b34 · 3ba3b34
1 parent 6a10b93
commit 3ba3b34
Show file tree

Hide file tree

Showing 8 changed files with 9 additions and 9 deletions.
diff --git a/docs/library.rst b/docs/library.rst
@@ -1801,12 +1801,12 @@ JavaScript features are accessible via the ``JavaScript`` structure in ``$(SML_L
      val toUint32 : value -> Word32.word
    end
 
-.. _pipeline-operator:
+.. _pipe-operator:
 
-Pipeline operator
------------------
+Pipe operator
+-------------
 
-``$(SML_LIB)/basis/pipeline.mlb`` contains the following declarations:
+``$(SML_LIB)/basis/pipe.mlb`` contains the following declarations:
 
 .. code-block:: sml
 

diff --git a/docs/ml-basis-system.rst b/docs/ml-basis-system.rst
@@ -97,7 +97,7 @@ Available libraries
 * ``$(SML_LIB)/basis/lunarml.mlb``: :ref:`lunarml-structure`
 * ``$(SML_LIB)/basis/lua.mlb``: :ref:`lua-structure`
 * ``$(SML_LIB)/basis/javascript.mlb``: :ref:`javascript-structure`
-* ``$(SML_LIB)/basis/pipeline.mlb``: :ref:`pipeline-operator`
+* ``$(SML_LIB)/basis/pipe.mlb``: :ref:`pipe-operator`
 * ``$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb``
 * ``$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb``
 

diff --git a/example/pipe.mlb b/example/pipe.mlb
@@ -0,0 +1,3 @@
+$(SML_LIB)/basis/basis.mlb
+$(SML_LIB)/basis/pipe.mlb
+pipe.sml
diff --git a/example/pipeline.sml → example/pipe.sml b/example/pipeline.sml → example/pipe.sml
diff --git a/example/pipeline.mlb b/example/pipeline.mlb
diff --git a/lib/lunarml/ml/basis/pipe.mlb b/lib/lunarml/ml/basis/pipe.mlb
@@ -0,0 +1 @@
+pipe.sml
diff --git a/lib/lunarml/ml/basis/pipeline.sml → lib/lunarml/ml/basis/pipe.sml b/lib/lunarml/ml/basis/pipeline.sml → lib/lunarml/ml/basis/pipe.sml
diff --git a/lib/lunarml/ml/basis/pipeline.mlb b/lib/lunarml/ml/basis/pipeline.mlb