Commit 55f36629 authored by Mart Lubbers's avatar Mart Lubbers
Browse files

Add syntax example for zf with array assignment

parent 1bd3179e
...@@ -512,6 +512,7 @@ bs_update_array = ...@@ -512,6 +512,7 @@ bs_update_array =
, syntax_code = , syntax_code =
[ "{ a & [i]=x, [j]=y, ... } // Updates a by setting index i to x, j to y, ..." [ "{ a & [i]=x, [j]=y, ... } // Updates a by setting index i to x, j to y, ..."
, "# a & [i]=x, [j]=y, ... // Same as # a = {a & [i]=x, [j]=y, ...}" // See https://clean.cs.ru.nl/Clean_2.3 , "# a & [i]=x, [j]=y, ... // Same as # a = {a & [i]=x, [j]=y, ...}" // See https://clean.cs.ru.nl/Clean_2.3
, "{ a & [i]=i\\i<-[0,2..9] } // Fancy things can be done if you combine this with a {{ZF}}. E.g. give the first 5 even indices the value of their index"
] ]
, syntax_description = "Updates an array by creating a copy and replacing one or more elements." , syntax_description = "Updates an array by creating a copy and replacing one or more elements."
, syntax_doc_locations = [CLR 6 "4.4.1" "_Toc311798032"] , syntax_doc_locations = [CLR 6 "4.4.1" "_Toc311798032"]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment