Logs: freenode/#haskell
| 2020-10-25 09:43:18 | × | tuple quits (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 2020-10-25 09:43:39 | → | mimi1vx joins (~mimi@tulipan.habr.nat.praha12.net) |
| 2020-10-25 09:43:52 | × | ixlun quits (~matthew@213.205.241.94) (Ping timeout: 260 seconds) |
| 2020-10-25 09:44:21 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2020-10-25 09:46:37 | × | mimi_vx quits (~mimi@tulipan.habr.nat.praha12.net) (Ping timeout: 246 seconds) |
| 2020-10-25 09:47:10 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2020-10-25 09:51:57 | → | mimi_vx joins (~mimi@tulipan.habr.nat.praha12.net) |
| 2020-10-25 09:53:38 | × | mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection timed out) |
| 2020-10-25 09:55:22 | × | mimi1vx quits (~mimi@tulipan.habr.nat.praha12.net) (Ping timeout: 256 seconds) |
| 2020-10-25 09:59:00 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-10-25 10:03:41 | → | mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2020-10-25 10:05:11 | → | Ivan__1 joins (~yudin@193.137.102.254) |
| 2020-10-25 10:05:21 | × | mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Client Quit) |
| 2020-10-25 10:05:55 | → | mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2020-10-25 10:06:52 | × | chaosmasttter quits (~chaosmast@p200300c4a73c4601715fef8acfb03ac3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-25 10:09:58 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-10-25 10:11:47 | × | alp quits (~alp@2a01:e0a:58b:4920:49ef:6f78:df59:e931) (Ping timeout: 272 seconds) |
| 2020-10-25 10:13:25 | × | rprije quits (~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2020-10-25 10:14:25 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 2020-10-25 10:21:14 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 265 seconds) |
| 2020-10-25 10:22:22 | → | Deide joins (~Deide@217.155.19.23) |
| 2020-10-25 10:24:08 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-25 10:25:44 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-10-25 10:27:55 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2020-10-25 10:30:32 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2020-10-25 10:33:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-25 10:35:14 | <maerwald> | I don't know how cabal orders things when multiple modules are on the same depgraph level, but it can either be module name or order in the .cabal file? |
| 2020-10-25 10:38:04 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-10-25 10:38:08 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-25 10:38:14 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2020-10-25 10:38:59 | <tomsmeding> | I don't know either, but I do know it's unstable :) |
| 2020-10-25 10:39:14 | <tomsmeding> | as in, I compile and get errors for A, fix some (but not all), recompile, and then it does B first |
| 2020-10-25 10:39:22 | <tomsmeding> | which is annoying and my reason for asking :p |
| 2020-10-25 10:40:28 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-10-25 10:42:09 | <tomsmeding> | I have the same problems when e.g. compiling C code with a Makefile, but then I know how to tell it to make one particular object file only |
| 2020-10-25 10:42:17 | → | accusa7i0ns joins (~marcog@2001:1c01:3d07:3500:24f0:c846:ec9a:46f0) |
| 2020-10-25 10:43:04 | <accusa7i0ns> | hello! |
| 2020-10-25 10:44:49 | ← | accusa7i0ns parts (~marcog@2001:1c01:3d07:3500:24f0:c846:ec9a:46f0) () |
| 2020-10-25 10:45:04 | × | shailangsa quits (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2020-10-25 10:45:07 | <tomsmeding> | bye! |
| 2020-10-25 10:45:44 | → | accusa7i0ns joins (~marcog@2001:1c01:3d07:3500:24f0:c846:ec9a:46f0) |
| 2020-10-25 10:45:57 | × | bitmagie quits (~Thunderbi@200116b806e0ec008c2e48c416af9de6.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-10-25 10:46:01 | <tomsmeding> | welcome back accusa7i0ns :p |
| 2020-10-25 10:46:26 | <accusa7i0ns> | thank you tomsmeding! :) |
| 2020-10-25 10:48:17 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-25 10:48:33 | → | thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) |
| 2020-10-25 10:49:06 | <accusa7i0ns> | Hi all :) I am new to this chat and to IRCs in general, is there a regulation that I should read? |
| 2020-10-25 10:49:44 | × | polyrain quits (~polyrain@2001:8003:e501:6901:45df:95e2:ff94:b698) (Quit: Textual IRC Client: www.textualapp.com) |
| 2020-10-25 10:50:28 | <maerwald> | https://wiki.haskell.org/IRC_channel#Principles |
| 2020-10-25 10:50:31 | <maerwald> | maybe that? |
| 2020-10-25 10:50:35 | <maerwald> | not sure how up2date |
| 2020-10-25 10:51:57 | <maerwald> | I feel IRC here was more diverse couple of years ago. Maybe slack and discord took away the user base |
| 2020-10-25 10:52:09 | → | polyrain joins (~polyrain@2001:8003:e501:6901:15fa:5e4:342f:f38b) |
| 2020-10-25 10:52:21 | <accusa7i0ns> | thanks maerwald, I'll give it a look! |
| 2020-10-25 10:53:20 | → | raym joins (~ray@115.187.50.31) |
| 2020-10-25 10:56:12 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 2020-10-25 10:56:32 | → | mastarija joins (~mastarija@93-142-82-143.adsl.net.t-com.hr) |
| 2020-10-25 10:57:11 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-10-25 10:57:17 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 2020-10-25 10:57:22 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 2020-10-25 10:58:02 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2020-10-25 11:00:05 | × | OscarZ quits (~oscarz@95.175.104.44) (Quit: Leaving) |
| 2020-10-25 11:00:08 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2020-10-25 11:01:28 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-25 11:02:18 | × | mastarija quits (~mastarija@93-142-82-143.adsl.net.t-com.hr) (Quit: Leaving) |
| 2020-10-25 11:03:13 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2020-10-25 11:04:17 | × | mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 2020-10-25 11:05:23 | → | mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2020-10-25 11:06:23 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds) |
| 2020-10-25 11:08:04 | × | averell quits (~averell@unaffiliated/averell) (Quit: .) |
| 2020-10-25 11:09:24 | × | accusa7i0ns quits (~marcog@2001:1c01:3d07:3500:24f0:c846:ec9a:46f0) (Quit: Leaving.) |
| 2020-10-25 11:10:37 | × | alx741 quits (~alx741@181.196.69.70) (Ping timeout: 246 seconds) |
| 2020-10-25 11:11:09 | → | averell joins (~averell@unaffiliated/averell) |
| 2020-10-25 11:11:25 | → | seanvert` joins (~user@177.84.244.242) |
| 2020-10-25 11:12:43 | × | seanvert quits (~user@177.84.244.242) (Ping timeout: 246 seconds) |
| 2020-10-25 11:12:47 | <juri_> | wow. so, i've now written a barely passable slicer in haskell. |
| 2020-10-25 11:12:57 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 265 seconds) |
| 2020-10-25 11:15:27 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-64-87.w86-212.abo.wanadoo.fr) |
| 2020-10-25 11:15:32 | × | coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2020-10-25 11:15:45 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-75-206.w86-212.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2020-10-25 11:18:27 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2020-10-25 11:18:40 | → | johnXL joins (5cf785e2@92.247.133.226) |
| 2020-10-25 11:19:35 | → | Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-10-25 11:21:14 | → | fendor joins (~fendor@178.115.130.136.wireless.dyn.drei.com) |
| 2020-10-25 11:21:48 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-10-25 11:23:40 | → | alx741 joins (~alx741@186.178.110.169) |
| 2020-10-25 11:23:40 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-10-25 11:23:56 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-25 11:24:47 | → | Ariakenom joins (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 2020-10-25 11:24:48 | → | jespada joins (~jespada@90.254.243.98) |
| 2020-10-25 11:25:01 | × | Ariakenom quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Client Quit) |
| 2020-10-25 11:25:27 | → | Ariakenom joins (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 2020-10-25 11:33:06 | <merijn> | maerwald, tomsmeding: afaik cabal *doesn't* order modules, it call "ghc" (aka as "ghc --make", historically) which does its own internal dependency scheduling of modules |
| 2020-10-25 11:33:13 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2020-10-25 11:34:54 | → | drbean joins (~drbean@TC210-63-209-180.static.apol.com.tw) |
| 2020-10-25 11:36:08 | → | shailangsa joins (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) |
| 2020-10-25 11:36:31 | × | jespada quits (~jespada@90.254.243.98) (Quit: Leaving) |
| 2020-10-25 11:36:50 | <tomsmeding> | merijn: perhaps the order of the modules Cabal places on ghc's command line matters? (I haven't checked whether this correlates with the behaviour) |
| 2020-10-25 11:37:31 | <merijn> | tomsmeding: If you wanna typecheck just single files you quickly get to things like ghcide :p |
| 2020-10-25 11:37:43 | <merijn> | and/or hls |
All times are in UTC.