| 20 Feb 2026 |
 alexfmpe | looks like it | 00:02:33 |
| alexfmpe | disturbing but whatever | 00:02:42 |
| alexfmpe | I really don't see how ''$ improves on \$ | 00:03:40 |
 woobilicious | nix-repl> ''''$''
"$"
nix-repl> ''abc''$def''
"abc$def"
| 00:05:04 |
| alexfmpe | what the hell | 00:05:13 |
| woobilicious | Mine gives a different result lol | 00:05:17 |
| alexfmpe | nix-repl> "abc\${def}"
"abc\${def}"
nix-repl> ''abc\${def}''
error: undefined variable 'def'
at «string»:1:9:
1| ''abc\${def}''
| ^
| 00:05:20 |
| alexfmpe | nah, I used both 1 and 2 single quotes above | 00:06:00 |
| alexfmpe | yours is the same as my 2 ', just not the 1 ' | 00:06:27 |
| alexfmpe | * nix-repl> "abc\${def}"
"abc\${def}"
nix-repl> ''abc\${def}''
error: undefined variable 'def'
at «string»:1:9:
1| ''abc\${def}''
| ^
| 00:06:48 |
| woobilicious | I guess maybe there's instances where you want to pass escapes from variables | 00:07:03 |
| woobilicious | oh yeah somehow I thought you had two singles on that line | 00:07:36 |
| alexfmpe | nix-repl> "abc''\def"
"abc''def"
| 00:07:41 |
| alexfmpe | ???? | 00:07:44 |
| woobilicious | Tho \\ should just work lol | 00:07:54 |
| alexfmpe | oh nevermind I don't have $ there | 00:08:31 |
| alexfmpe | still, don't much care for this escape-differently-in-multiline-strings business | 00:09:07 |
| alexfmpe | https://nix.dev/manual/nix/2.24/language/syntax | 00:10:00 |
| alexfmpe | * still, don't much care for this escape-differently-in-indented-strings business | 00:10:11 |
| alexfmpe | ''\ escapes any other character. | 00:10:21 |
| woobilicious | yeah I also don't know how it's sane to parse... I guess '' blah '' ${def} is invalid syntax, but still | 00:10:26 |
| alexfmpe | needs to know what goes after the '' to determine if it's the $ or we're ending the literal | 00:11:45 |
| woobilicious | Mentally parsing it definitely sucks, that has got to be the worst design idea beating space seperated lists by a tone. | 00:13:42 |
| woobilicious | I guess it makes it easier to read than having like \\\\\\ -> ''\''\''\ | 00:21:04 |
| woobilicious | Who should I at in the PR? | 01:04:28 |
| woobilicious | nevermind I think I found the list. | 01:07:57 |
 sterni | woobilicious: we should run at least some of the tests with sbv given how much intervention it needs | 10:44:46 |
| sterni | 45min test execution time is not really a problem in most cases | 10:45:08 |
| woobilicious | sterni: upstream recommends turning tests off, and I have zero clue how to disable test sets and a lot of them are broken due to nix paths being checked in the test suite. I don't know what you mean by "given how much intervention it needs", the package has been marked for 3 years as broken only due to missing optional binaries, the aforementioned path mismatches causing test failures. SBV seems to be working for me fine here. Note that sbv tests do code generation for SAT solvers, and then calls those SAT solves, these are not trivial fixes. | 12:08:20 |
 magic_rb | alexfmpe
the escape character for "" is \, the escape character(s) for '''' is '' | 12:39:32 |
