| 20 Feb 2026 |
 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 (he/him) | woobilicious: we should run at least some of the tests with sbv given how much intervention it needs | 10:44:46 |
| sterni (he/him) | 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 |
| magic_rb | they work exactly the same | 12:39:36 |
| sterni (he/him) | woobilicious: well you wrote a patch for the path issues, so it should work | 12:54:02 |
| sterni (he/him) | the code gen and execution part means that we have little confidence it will work at runtime which the test suite helps with | 12:54:51 |
| 20 May 2021 |
|  @grahamc:nixos.org set the history visibility to "world_readable". | 22:10:58 |
| @grahamc:nixos.org changed the room name to "" from "". | 22:10:58 |
| @grahamc:nixos.org invited  maralorn. | 22:11:05 |
| maralorn joined the room. | 22:11:13 |
|  andi- joined the room. | 22:30:49 |
| @grahamc:nixos.orgchanged room power levels. | 22:36:42 |
| Room Avatar Renderer. | 22:46:20 |
| maralorn changed the join rule to "public" from "public". | 22:54:26 |
| maralorn changed the room topic to "For discussions and questions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/" from "For discussions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/". | 22:56:19 |
|  Server Stats Discoverer (traveler bot) joined the room. | 23:05:49 |
|  pennae joined the room. | 23:06:26 |
|  justinrestivo joined the room. | 23:07:39 |
|  srid joined the room. | 23:07:41 |
|  bqv joined the room. | 23:08:26 |
| bqv changed their display name from qy to bqv. | 23:08:27 |
| bqv changed their display name from bqv to qy. | 23:08:28 |
| bqv changed their display name from qy to bqv. | 23:08:29 |
