Small docs updates + improve 1 test

Author: rkalis

packages/cashc/test/valid-contract-files/split_or_slice_signature.cash

@@ -0,0 +1,9 @@
+contract Test(sig signature) {
+    function spend() {
+        // Assume Schnorr
+        bytes hashtype1 = signature.split(64)[1];
+        bytes1 hashtype2 = signature.slice(64, 65);
+        require(hashtype1 == 0x01);
+        require(hashtype2 == 0x01);
+    }
+}

packages/cashc/test/valid-contract-files/split_signature.cash

@@ -74,11 +74,11 @@ assignStatement
     ;
 
 timeOpStatement
-    : 'require' '(' TxVar '>=' expression (',' StringLiteral)? ')' ';'
+    : 'require' '(' TxVar '>=' expression (',' requireMessage)? ')' ';'
     ;
 
 requireStatement
-    : 'require' '(' expression (',' StringLiteral)? ')' ';'
+    : 'require' '(' expression (',' requireMessage)? ')' ';'
     ;
 
 ifStatement
@@ -89,6 +89,10 @@ consoleStatement
     : 'console.log' consoleParameterList ';'
     ;
 
+requireMessage
+    : StringLiteral
+    ;
+
 consoleParameter
     : Identifier
     | literal
@@ -116,6 +120,7 @@ expression
     | scope='tx.inputs' '[' expression ']' op=('.value' | '.lockingBytecode' | '.outpointTransactionHash' | '.outpointIndex' | '.unlockingBytecode' | '.sequenceNumber' | '.tokenCategory' | '.nftCommitment' | '.tokenAmount') # UnaryIntrospectionOp
     | expression op=('.reverse()' | '.length') # UnaryOp
     | left=expression op='.split' '(' right=expression ')' # BinaryOp
+    | element=expression '.slice' '(' start=expression ',' end=expression ')' # Slice
     | op=('!' | '-') expression # UnaryOp
     | left=expression op=('*' | '/' | '%') right=expression # BinaryOp
     | left=expression op=('+' | '-') right=expression # BinaryOp

website/docs/compiler/grammar.md

@@ -101,6 +101,8 @@ The script will fail if `split()` or `slice()` is called with an index that is o
 ```solidity
 bytes mintingCapability = 0x02;
 bytes noCapability = 0x;
+
+bytes2 data = 0x12345678.slice(1, 3); // 0x3456
 ```
 
 ## Bytes types with semantic meaning
@@ -141,8 +143,8 @@ checkMultisig([sig1, sig2], [pk1, pk2, pk3]);
 Tuples are the type that is returned when calling the `split` member function on a `string` or `bytes` type. Their first or second element can be accessed through an indexing syntax similar to other languages:
 
 ```solidity
-string question = "What is Bitcoin Cash?";
-string answer = question.split(15)[0].split(8)[1]; // Answer is "Cash"
+string bitcoinCash = "Bitcoin Cash";
+string cash = bitcoinCash.split(8)[1];
 ```
 
 :::note
@@ -152,8 +154,8 @@ It is not supported to use a variable for the tupleIndex. Instead you can assign
 It is also possible to assign both sides of the tuple at once with a destructuring syntax:
 
 ```solidity
-string hello, string world = "Hello World".split(5);
-require(hello + "world" == "Hello " + world);
+string hello, string world = "Hello World".split(6);
+require(hello + "World" == "Hello " + world);
 ```
 
 ## Type Casting

website/docs/language/types.md

@@ -6,24 +6,28 @@ title: Release Notes
 
 #### cashc compiler
 - :sparkles: Add `.slice(start, end)` operator for bytes and strings.
-- :sparkles: Add bounded bytes typing and bounds checking for `.split()` (includes checking for negative indices)
-- :racehorse: Add optimisation for `.slice(0, x)` and `.slice(x, y.length)` (also applies to `.split(0)[1]`)
-- :bug: Disallow incorrect bounded bytes typing when using `.split()`
+- :sparkles: Add bounded bytes typing and bounds checking for `.split()` (includes checking for negative indices).
+- :racehorse: Add optimisation for `.slice(0, x)` and `.slice(x, y.length)` (also applies to `.split(0)[1]`).
+- :bug: Disallow incorrect bounded bytes typing when using `.split()`.
 
 #### CashScript SDK
-- :bug: Fix bug with where `ElectrumNetworkProvider` would disconnect in browser on visibility change of the page
+- :bug: Fix bug with where `ElectrumNetworkProvider` would disconnect in browser on visibility change of the page.
 
 ## v0.11.2
 
 #### CashScript SDK
-- :bug: Fix bug with new `generateWcTransactionObject()` throwing when using `placeholderP2PKHUnlocker()`
+- :bug: Fix bug with new `generateWcTransactionObject()` throwing when using `placeholderP2PKHUnlocker()`.
 
 ## v0.11.1
 
 #### CashScript SDK
 - :sparkles: Add `generateWcTransactionObject()` method to `TransactionBuilder` to generate a `WcTransactionObject` that can be used to sign a transaction with a WalletConnect client.
 - :sparkles: Add `placeholderSignature()`, `placeholderPublicKey()` and `placeholderP2PKHUnlocker()` helper functions to the SDK for WalletConnect usage.
 
+---
+
+https://x.com/CashScriptBCH/status/1942513305420968238
+
 ## v0.11.0
 
 This update adds CashScript support for the new BCH 2025 network upgrade. To read more about the upgrade, see [this blog post](https://blog.bitjson.com/2025-chips/).
@@ -55,6 +59,10 @@ This release also contains several breaking changes, please refer to the [migrat
 - :bug: Fix bug where `JestExtensions` `expect().toLog()` would detect logs from different tests.
 - :bug: Fix bug where certain edge cases in require statements caused the `FailedRequireError` message to be slightly different from the original error message.
 
+---
+
+https://x.com/CashScriptBCH/status/1935662184865890325
+
 #### @cashscript/utils
 - :boom: **BREAKING**: Remove `importArtifact` and `exportArtifact` helper functions. If you want to import or export artifacts, use `'fs'` to read and write files directly.