diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-29T14·23+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-29T14·23+0000 |
commit | 7349bd0176b8a8ced3a017bb5d0e9ebb30570722 (patch) | |
tree | 0c550418b620ecd81d386089b59e8d0272c0c565 /doc/manual | |
parent | 7dedbd896ade732ab2fe88a5fe88e069cb329fa5 (diff) |
New primitives:
* `sub' to subtract two numbers. * `stringLength' to get the length of a string. * `substring' to get a substring of a string. These should be enough to allow most string operations to be expressed.
Diffstat (limited to 'doc/manual')
-rw-r--r-- | doc/manual/release-notes.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/manual/release-notes.xml b/doc/manual/release-notes.xml index e32bc2daa957..53c8d4bf293b 100644 --- a/doc/manual/release-notes.xml +++ b/doc/manual/release-notes.xml @@ -55,7 +55,10 @@ <listitem><para>TODO: new built-ins <function>builtins.attrNames</function>, - <function>builtins.filterSource</function>.</para></listitem> + <function>builtins.filterSource</function>, + <function>builtins.sub</function>, + <function>builtins.stringLength</function>, + <function>builtins.substring</function>.</para></listitem> </itemizedlist> |