Logs: liberachat/#haskell
| 2021-07-11 00:45:10 | → | Guest75 joins (~Guest75@187.83.249.216.dyn.smithville.net) |
| 2021-07-11 00:48:00 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-11 00:48:02 | <Guest75> | I've got `data LotsOfInts = Ints {int1, int2, int3, ..., int20}`...is there an easy way to define `allZeroes :: LotsOfInts` where all record fields are set to 0 without writing out "0" 20 times? |
| 2021-07-11 00:49:56 | <geekosaur> | maybe using Generics but I suspect just writing out 0s is easier |
| 2021-07-11 00:50:45 | <geekosaur> | especially if you use your editor to automate it (emacs and vi, at least; can't speak to vscode or etc.) |
| 2021-07-11 00:51:14 | <pavonia> | IMHO it would be better to use a Vector or similar instead in the first place |
| 2021-07-11 00:51:29 | <geekosaur> | if it's just a one time thing I'd just bite the bullet; if you're doing it regularly then one might wonder whwther a Vactor is a better choice |
| 2021-07-11 00:52:14 | <Guest75> | oh yeah, it's not necessarily bad, it'd just be annoying because I'm kinda throwing things in there as I go (so I don't know yet exactly how many fields it'll have) |
| 2021-07-11 00:52:15 | <geekosaur> | *Vector |
| 2021-07-11 00:55:29 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-11 00:56:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-11 00:56:25 | → | dajoer joins (~david@user/gvx) |
| 2021-07-11 00:56:35 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 255 seconds) |
| 2021-07-11 00:56:38 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-11 00:59:49 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) |
| 2021-07-11 01:00:11 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 255 seconds) |
| 2021-07-11 01:01:58 | → | turlando_ joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-11 01:03:19 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 246 seconds) |
| 2021-07-11 01:04:14 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) (Ping timeout: 255 seconds) |
| 2021-07-11 01:08:34 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-07-11 01:10:41 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-11 01:11:26 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-11 01:12:33 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-11 01:12:55 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-11 01:14:28 | × | smitop quits (~smitop@user/smitop) (Quit: Ping timeout (120 seconds)) |
| 2021-07-11 01:15:19 | → | smitop joins (~smitop@user/smitop) |
| 2021-07-11 01:17:53 | × | smichel17 quits (~smichel17@2601:193:8300:38f:a169:3c71:689a:ba3e) (Quit: smichel17) |
| 2021-07-11 01:18:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) |
| 2021-07-11 01:21:09 | → | Null_A joins (~null_a@2601:645:8700:2290:99b9:1812:a970:81db) |
| 2021-07-11 01:24:19 | × | Kugge quits (~Kugge@82-65-70-62.subs.proxad.net) (Quit: Client closed) |
| 2021-07-11 01:29:26 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-11 01:31:41 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 255 seconds) |
| 2021-07-11 01:32:06 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-07-11 01:32:27 | × | xff0x quits (~xff0x@2001:1a81:525a:ea00:2bea:6319:b748:f3db) (Ping timeout: 252 seconds) |
| 2021-07-11 01:32:57 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-11 01:34:01 | → | xff0x joins (~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) |
| 2021-07-11 01:37:47 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 01:38:43 | → | Pixi joins (~Pixi@user/pixi) |
| 2021-07-11 01:39:03 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-11 01:40:04 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-11 01:40:16 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-11 01:44:17 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-11 01:45:06 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-07-11 01:47:20 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-11 01:47:30 | × | alx741 quits (~alx741@186.178.108.75) (Ping timeout: 240 seconds) |
| 2021-07-11 01:50:19 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-11 01:58:49 | edwardk_ | is now known as edwardk |
| 2021-07-11 01:58:59 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-07-11 02:00:40 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-11 02:01:17 | → | alx741 joins (~alx741@186.178.108.20) |
| 2021-07-11 02:07:57 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-11 02:11:12 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-07-11 02:13:35 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-11 02:13:54 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-11 02:15:57 | <_73> | I am trying to use haskdogs with the command `haskdogs --hasktags-args "--etags" --use-stack ON .` but am getting the following error: `haskdogs: hasktags: createProcess: runInteractiveProcess: exec: does not exist (No such file or directory)`. I have tried looking up this problem but the only issues I find on google are related to nix which I do not use. This is the only related issue I have found: |
| 2021-07-11 02:15:57 | <_73> | https://github.com/commercialhaskell/stack/issues/3958, but this person is doing something with stack ghci which is different from m case. I have tried switching up my stack resolver and have explicitly installed the `process` library but these solutions did not work. Does anybody know anything about this issue? |
| 2021-07-11 02:16:51 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-11 02:16:59 | <geekosaur> | did you install hasktags? |
| 2021-07-11 02:17:04 | <_73> | yes |
| 2021-07-11 02:17:18 | <_73> | and I can build the hasktags for this project just fine |
| 2021-07-11 02:19:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-11 02:20:12 | <_73> | this is the complete output of my haskdogs command: http://dpaste.com/4WG4VRBZR |
| 2021-07-11 02:20:44 | × | td_ quits (~td@94.134.91.203) (Ping timeout: 255 seconds) |
| 2021-07-11 02:21:05 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-11 02:21:05 | FinnElija | is now known as Guest1783 |
| 2021-07-11 02:21:05 | finn_elija | is now known as FinnElija |
| 2021-07-11 02:21:11 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-07-11 02:22:34 | × | y04nn quits (~y04nn@89.45.7.186) (Ping timeout: 240 seconds) |
| 2021-07-11 02:22:37 | → | td_ joins (~td@94.134.91.97) |
| 2021-07-11 02:23:55 | <geekosaur> | that's strange that it finds it earlier but can't find it later. oor is that output from your debugging? |
| 2021-07-11 02:24:10 | × | Guest1783 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2021-07-11 02:24:20 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 255 seconds) |
| 2021-07-11 02:25:22 | <_73> | geekosaur: I don't know what you mean by the `output from debugging`. I can reproduce this output over and over. |
| 2021-07-11 02:26:04 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Remote host closed the connection) |
| 2021-07-11 02:26:13 | <geekosaur> | then its even weirder if that "which" output is from haskdogs |
| 2021-07-11 02:26:14 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-11 02:27:49 | → | simon1 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-07-11 02:28:50 | <simon1> | I'm writing a library for which I have an exposed function that has the following signature: http://ix.io/3sBc. It has the constraints `WithLog env Message m` AND `MonadState (DHMaterial z) m`. Therefore, the function needs to be run inside some monad that is an instance of WithLog and MonadState at the same time. From Colog.Monad, I have the LoggerT and I can satisfy the WithLog |
| 2021-07-11 02:28:54 | <simon1> | constraint by running my code in `usingLoggerT (LogAction putstrLn)` for instance. But that only satisfies the WithLog part. I can satisfy the MonadState part by running my code in `flip runState (DHMaterial (0 :: Int))` for instance. But how do I satisfy both ? Do I really need to create a new Monad or can I pipe things together with transformers somehow? |
| 2021-07-11 02:28:59 | <simon1> | I'm not really well understanding just yet every details of transformers and monad constraints. My first guess would be that I'd need to create a new monad which satisfies both. |
| 2021-07-11 02:29:07 | <simon1> | Also, may be my class constraints are not OK and I should change them? |
| 2021-07-11 02:31:50 | simon1 | is now known as sim590 |
| 2021-07-11 02:31:51 | <_73> | geekosaur: Oh you got me onto something. If I symlink ~/.local/bin/hasktags to /usr/bin I get a new error: `haskdogs `haskdogs: hasktags: createProcess: runInteractiveProcess: exec: invalid argument (Too many levels of symbolic links)``. However I then tried to just move the hasktags executable to /usr/bin (also tried /usr/local/bin), but then I went back to getting the original error... |
| 2021-07-11 02:32:26 | <_73> | `~/.local/bin/` is on my path by the way |
| 2021-07-11 02:34:07 | <geekosaur> | hm. wonnder if it's that bug? if there's an actual ~ in the $PATH then the shell can expand it but programs can't; use $HOME instead of ~ in that case, or if you quoted your PATH setting you may need to unquote it (or doublequote and use $HOME) |
| 2021-07-11 02:36:47 | <_73> | geekosaur: In my path I changed `~/.local/bin` to `/home/nick/.local/bin` and it works now. Thanks for the help, this is a nice lesson for me. |
| 2021-07-11 02:42:20 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-11 02:50:43 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-07-11 02:51:05 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-11 02:52:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-11 02:57:17 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2021-07-11 02:57:24 | × | Guest75 quits (~Guest75@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-07-11 03:03:04 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-11 03:05:51 | × | Null_A quits (~null_a@2601:645:8700:2290:99b9:1812:a970:81db) (Remote host closed the connection) |
| 2021-07-11 03:06:56 | → | retroid_ joins (~retro@90.218.175.34) |
| 2021-07-11 03:08:23 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-11 03:20:18 | → | warnz joins (~warnz@2600:1700:77c0:5610:21cb:e38c:dc6:ea0) |
| 2021-07-11 03:22:16 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-07-11 03:23:10 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-07-11 03:24:38 | × | warnz quits (~warnz@2600:1700:77c0:5610:21cb:e38c:dc6:ea0) (Ping timeout: 255 seconds) |
All times are in UTC.