Logs: freenode/#haskell
| 2021-03-07 11:01:29 | → | bigbosskor joins (~Android@223.204.217.185) |
| 2021-03-07 11:01:34 | × | bigbosskor quits (~Android@223.204.217.185) (Read error: Connection reset by peer) |
| 2021-03-07 11:04:54 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-03-07 11:05:34 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 265 seconds) |
| 2021-03-07 11:09:30 | → | sablib joins (~sablib@59.173.152.83) |
| 2021-03-07 11:09:53 | × | xff0x quits (~xff0x@2001:1a81:52eb:4100:b845:cdb8:60dd:fe93) (Ping timeout: 260 seconds) |
| 2021-03-07 11:10:21 | → | xff0x joins (~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7) |
| 2021-03-07 11:11:45 | <ADG1089> | does cabal build --enable-executable-profiling <executable> && cabal run <executable> -- +RTS -p not work? |
| 2021-03-07 11:11:56 | <ADG1089> | do i have to modify the flags in cabal file? |
| 2021-03-07 11:12:46 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-07 11:13:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-07 11:15:09 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 2021-03-07 11:16:31 | × | dnlkrgr quits (~dnlkrgr@ip-109-42-0-192.web.vodafone.de) (Quit: WeeChat 2.9) |
| 2021-03-07 11:16:41 | × | minoru_shiraeesh quits (~shiraeesh@109.166.57.19) (Ping timeout: 265 seconds) |
| 2021-03-07 11:18:04 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-07 11:18:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-07 11:18:38 | × | ADG1089 quits (~aditya@122.163.167.99) (Remote host closed the connection) |
| 2021-03-07 11:19:56 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-07 11:22:57 | × | kenran quits (~johannes@i59F67BC5.versanet.de) (Ping timeout: 256 seconds) |
| 2021-03-07 11:23:45 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-07 11:25:21 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-07 11:26:39 | → | polyrain joins (~polyrain@2001:8003:e4d8:4101:3884:5f02:2ae9:677b) |
| 2021-03-07 11:27:01 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-07 11:31:25 | × | polyrain quits (~polyrain@2001:8003:e4d8:4101:3884:5f02:2ae9:677b) (Client Quit) |
| 2021-03-07 11:34:45 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-07 11:36:10 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-03-07 11:38:49 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 276 seconds) |
| 2021-03-07 11:40:58 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-07 11:42:02 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-07 11:42:29 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 11:45:04 | × | sablib quits (~sablib@59.173.152.83) (Read error: Connection reset by peer) |
| 2021-03-07 11:45:41 | <maerwald> | cabal run --enable-executable-profiling? |
| 2021-03-07 11:46:54 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 11:46:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds) |
| 2021-03-07 11:47:31 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-07 11:50:21 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-07 11:54:15 | × | xff0x quits (~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7) (Ping timeout: 240 seconds) |
| 2021-03-07 11:54:35 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-03-07 11:58:05 | → | bigbosskor joins (~Android@223.204.217.185) |
| 2021-03-07 11:59:59 | × | bigbosskor quits (~Android@223.204.217.185) (Read error: Connection reset by peer) |
| 2021-03-07 12:00:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-07 12:00:19 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-07 12:03:19 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 12:05:24 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-03-07 12:08:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds) |
| 2021-03-07 12:10:04 | × | Logio quits (em@kapsi.fi) (Quit: Reconnecting) |
| 2021-03-07 12:10:11 | → | Logio joins (em@kapsi.fi) |
| 2021-03-07 12:14:11 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 12:14:38 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 245 seconds) |
| 2021-03-07 12:14:50 | → | pincel joins (~pyon@unaffiliated/pyon) |
| 2021-03-07 12:15:31 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-07 12:16:22 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 12:16:31 | × | Logio quits (em@kapsi.fi) (Quit: Reconnecting) |
| 2021-03-07 12:16:37 | → | Logio joins (em@kapsi.fi) |
| 2021-03-07 12:16:48 | → | xff0x joins (~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7) |
| 2021-03-07 12:18:53 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-07 12:19:14 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 12:20:28 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-07 12:21:03 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds) |
| 2021-03-07 12:23:26 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb) (Ping timeout: 264 seconds) |
| 2021-03-07 12:24:16 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 12:24:33 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-03-07 12:26:49 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 12:28:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds) |
| 2021-03-07 12:29:25 | × | CMCDragonkai1 quits (~Thunderbi@60-242-118-130.tpgi.com.au) (Quit: CMCDragonkai1) |
| 2021-03-07 12:30:42 | → | drbean joins (~drbean@TC210-63-209-46.static.apol.com.tw) |
| 2021-03-07 12:35:01 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-07 12:40:40 | × | Guest67848 quits (~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-07 12:41:02 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-03-07 12:44:12 | → | shad0w_ joins (a0ca251e@160.202.37.30) |
| 2021-03-07 12:45:05 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 12:47:46 | <maralorn> | I have now understood how on a finite list foldl' is better than foldr (and foldl obviously). Now I wonder what about Set, Map and friends is it obvious for all of them, that foldl' beats foldr. I am not even sure I understand what "from left" and "from right" mean for them. |
| 2021-03-07 12:48:01 | <maralorn> | There belonged a question mark somewher in there … |
| 2021-03-07 12:48:56 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-07 12:49:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds) |
| 2021-03-07 12:51:17 | → | ubert1 joins (~Thunderbi@p200300ecdf25d91ce6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-07 12:52:07 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 12:52:38 | <tromp> | i have a locally modified version of a hackage library. how do i make cabal aware of it (it alrd has the original version installed) ? |
| 2021-03-07 12:52:42 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-07 12:52:55 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 2021-03-07 12:57:01 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-07 12:57:22 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 12:58:15 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds) |
| 2021-03-07 13:00:01 | → | Alleria joins (~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com) |
| 2021-03-07 13:00:25 | Alleria | is now known as Guest77922 |
| 2021-03-07 13:03:51 | <__monty__> | tromp: I think the proper way is specifying a source-repository-package in cabal.project, https://cabal.readthedocs.io/en/3.4/cabal-project.html?highlight=source-repository-package#specifying-the-local-packages |
| 2021-03-07 13:03:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-07 13:04:48 | × | Guest77922 quits (~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-03-07 13:05:30 | → | sayola joins (~vekto@dslb-088-078-152-179.088.078.pools.vodafone-ip.de) |
| 2021-03-07 13:05:45 | <tromp> | thank, __monty__ |
| 2021-03-07 13:05:57 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 13:06:15 | → | Guest43863 joins (31242568@49.36.37.104) |
| 2021-03-07 13:07:24 | × | son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 2021-03-07 13:08:59 | × | Guest43863 quits (31242568@49.36.37.104) (Quit: Connection closed) |
| 2021-03-07 13:09:35 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9567190c92979cea572a.dip0.t-ipconnect.de) |
| 2021-03-07 13:10:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds) |
| 2021-03-07 13:11:26 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-07 13:15:16 | → | hiroaki__ joins (~hiroaki@2a02:8108:8c40:2bb8:b02c:4a8c:880:30fa) |
| 2021-03-07 13:15:24 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:74fd:e866:9de5:532e) |
| 2021-03-07 13:15:39 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
All times are in UTC.