tvl-depot/third_party/nix/tests/lang/eval-okay-substring.nix

with builtins;

let

  s = "foobar";

in

substring 1 2 s
+ "x"
+ substring 0 (stringLength s) s
+ "y"
+ substring 3 100 s
+ "z"
+ substring 2 (sub (stringLength s) 3) s
+ "a"
+ substring 3 0 s
+ "b"
+ substring 3 1 s
+ "c"
+ substring 5 10 "perl"
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. 2007-01-29 15:23:09 +01:00			`with builtins;`

			`let`

			`s = "foobar";`

			`in`

			`substring 1 2 s`
			`+ "x"`
			`+ substring 0 (stringLength s) s`
			`+ "y"`
			`+ substring 3 100 s`
			`+ "z"`
			`+ substring 2 (sub (stringLength s) 3) s`
			`+ "a"`
			`+ substring 3 0 s`
			`+ "b"`
			`+ substring 3 1 s`
* builtins.substring: if "start" is beyond the end of the string, return the empty string. 2011-01-14 13:47:10 +01:00			`+ "c"`
			`+ substring 5 10 "perl"`