[spec] Handle block parameters more explicitly in execution prose

Author: rossberg

document/core/exec/instructions.rst

@@ -2622,7 +2622,7 @@ Control Instructions
 
 6. Pop the values :math:`\val^m` from the stack.
 
-7. :ref:`Enter <exec-instr-seq-enter>` the block :math:`\val^m~\instr^\ast` with label :math:`L`.
+7. :ref:`Enter <exec-instr-seq-enter>` the block :math:`\instr^\ast` with label :math:`L` and values :math:`\val^m`.
 
 .. math::
    ~\\[-1ex]
@@ -2650,7 +2650,7 @@ Control Instructions
 
 6. Pop the values :math:`\val^m` from the stack.
 
-7. :ref:`Enter <exec-instr-seq-enter>` the block :math:`\val^m~\instr^\ast` with label :math:`L`.
+7. :ref:`Enter <exec-instr-seq-enter>` the block :math:`\instr^\ast` with label :math:`L` and values :math:`\val^m`.
 
 .. math::
    ~\\[-1ex]
@@ -2918,12 +2918,14 @@ that forms a :ref:`block <exec-instr-control>`.
 
 .. _exec-instr-seq-enter:
 
-Entering :math:`\instr^\ast` with label :math:`L`
-.................................................
+Entering :math:`\instr^\ast` with label :math:`L` and values :math:`\val^\ast`
+..............................................................................
 
 1. Push :math:`L` to the stack.
 
-2. Jump to the start of the instruction sequence :math:`\instr^\ast`.
+2. Push the values :math:`\val^\ast` to the stack.
+
+3. Jump to the start of the instruction sequence :math:`\instr^\ast`.
 
 .. note::
    No formal reduction rule is needed for entering an instruction sequence,
@@ -2993,7 +2995,7 @@ Invocation of :ref:`function address <syntax-funcaddr>` :math:`a`
 
 10. Let :math:`L` be the :ref:`label <syntax-label>` whose arity is :math:`m` and whose continuation is the end of the function.
 
-11. :ref:`Enter <exec-instr-seq-enter>` the instruction sequence :math:`\instr^\ast` with label :math:`L`.
+11. :ref:`Enter <exec-instr-seq-enter>` the instruction sequence :math:`\instr^\ast` with label :math:`L` and no values.
 
 .. math::
    ~\\[-1ex]

interpreter/Makefile

@@ -102,13 +102,15 @@ install:
 	dune install
 
 opam-release/%:
-	git tag -f opam-$*
-	git push --tags
+	#git tag -f opam-$*
+	#git push -f --tags
 	rm -f opam-$*.zip
-	wget https://github.com/WebAssembly/spec/archive/opam-$*.zip
+	#wget https://github.com/WebAssembly/spec/archive/opam-$*.zip
+	wget 'https://download-directory.github.io?url=https://github.com/WebAssembly/spec/tree/opam-$*/interpreter&filename=opam-$*.zip'
 	cp wasm.opam opam
 	echo "url {" >> opam
-	echo "  src: \"https://github.com/WebAssembly/spec/archive/opam-$*.zip\"" >> opam
+	#echo "  src: \"https://github.com/WebAssembly/spec/archive/opam-$*.zip\"" >> opam
+	echo "  src: \"https://download-directory.github.io?url=https://github.com/WebAssembly/spec/tree/opam-$*/interpreter&filename=opam-$*.zip\"" >> opam
 	echo "  checksum: [" >> opam
 	echo "    \"md5=`md5 -q opam-$*.zip`\"" >> opam
 	echo "    \"sha256=`sha256 -q opam-$*.zip`\"" >> opam