Logs: freenode/#haskell
| 2020-11-26 02:21:38 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2020-11-26 02:21:47 | <koz_> | It's also the thing that powers IO. |
| 2020-11-26 02:21:56 | <koz_> | (read Lazy Functional State Threads if you want the details) |
| 2020-11-26 02:24:29 | <ocamler> | thanks! I'll check it out |
| 2020-11-26 02:25:48 | <ezzieyguywuf> | what does ghcid's --reload actually do? I can see that it does _something_, but it doesn't (for example), re-build a library that has chnaged |
| 2020-11-26 02:26:44 | <ezzieyguywuf> | hrm, I guess it re-runs --command |
| 2020-11-26 02:27:02 | <ezzieyguywuf> | but I'd expect `cabal repl` to rebuild something that's changed.. |
| 2020-11-26 02:27:10 | int-e | would expect something similar to ghci's :reload |
| 2020-11-26 02:27:30 | <ezzieyguywuf> | but it doesn't! |
| 2020-11-26 02:27:33 | <ezzieyguywuf> | int-e: yea it is :reload |
| 2020-11-26 02:28:01 | <int-e> | so... it would only recompile the modules of the "local" package, but not look at any dependencies |
| 2020-11-26 02:28:05 | <ezzieyguywuf> | so if I do `cabal repl exe:MyExe`, and then make a change to lib:MyLib (which MyExe uses), and then :reload, ghcid does NOT rebuild MyLib |
| 2020-11-26 02:28:15 | → | xff0x_ joins (~fox@2001:1a81:52e2:1100:66fc:dc44:c41d:a54) |
| 2020-11-26 02:28:24 | <ezzieyguywuf> | MyLib and MyExe are both local |
| 2020-11-26 02:28:35 | <ezzieyguywuf> | could it be I have something borked it my .cabal file? |
| 2020-11-26 02:28:36 | <int-e> | for this purpose they're not |
| 2020-11-26 02:28:41 | <ezzieyguywuf> | hrm |
| 2020-11-26 02:29:00 | <int-e> | lib:MyLib is built and registered as a package; ghci(d) would only see the executable's own modules |
| 2020-11-26 02:29:13 | <ezzieyguywuf> | ah, I see |
| 2020-11-26 02:29:23 | <ezzieyguywuf> | I don't think I need a lib - I think I just need modules for MyExe |
| 2020-11-26 02:29:30 | <ezzieyguywuf> | int-e: thanks for helping me think through that. |
| 2020-11-26 02:29:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-26 02:30:24 | → | sillyotter joins (~sillyotte@2603-6011-ba0f-f7c5-4926-fd9c-a030-a135.res6.spectrum.com) |
| 2020-11-26 02:30:51 | × | reallymemorable quits (~quassel@pool-100-2-25-229.nycmny.fios.verizon.net) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2020-11-26 02:31:09 | → | reallymemorable joins (~quassel@pool-100-2-25-229.nycmny.fios.verizon.net) |
| 2020-11-26 02:31:10 | × | xff0x quits (~fox@port-92-193-220-65.dynamic.as20676.net) (Ping timeout: 246 seconds) |
| 2020-11-26 02:31:35 | × | sillyotter quits (~sillyotte@2603-6011-ba0f-f7c5-4926-fd9c-a030-a135.res6.spectrum.com) (Client Quit) |
| 2020-11-26 02:36:37 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2020-11-26 02:37:00 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2020-11-26 02:38:31 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:25b7:f5b5:a852:f5c4) |
| 2020-11-26 02:44:44 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2020-11-26 02:46:45 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2020-11-26 02:47:47 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-11-26 02:47:59 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2020-11-26 02:51:02 | × | falafel_ quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds) |
| 2020-11-26 02:53:54 | → | Fractalis joins (~Fractalis@2601:987:280:8d40:eda9:f9e1:2072:cea7) |
| 2020-11-26 02:55:38 | → | drbean joins (~drbean@TC210-63-209-63.static.apol.com.tw) |
| 2020-11-26 03:02:02 | × | kelsey quits (~keteskyl@2600:6c64:7b7f:fa42:880b:e2d1:945a:df75) (Ping timeout: 260 seconds) |
| 2020-11-26 03:02:44 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-26 03:03:09 | → | urea joins (4d8bd2b9@77.139.210.185) |
| 2020-11-26 03:03:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-11-26 03:09:56 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Ping timeout: 240 seconds) |
| 2020-11-26 03:10:13 | → | sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) |
| 2020-11-26 03:10:52 | <ocamler> | lol why is [0..10] inclusive |
| 2020-11-26 03:11:03 | <ocamler> | i just spent like 15 minutes debugging that |
| 2020-11-26 03:12:06 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-11-26 03:12:18 | <koz_> | ocamler: ... because it is? |
| 2020-11-26 03:12:30 | <koz_> | That's just how Enum-based ranges like that work. |
| 2020-11-26 03:12:38 | → | toorevitimirp joins (~tooreviti@117.182.183.18) |
| 2020-11-26 03:13:27 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-26 03:13:36 | <ocamler> | ohhh I see, its for Enums as well |
| 2020-11-26 03:13:52 | → | Guest10117 joins (~vollenwei@4e69b241.skybroadband.com) |
| 2020-11-26 03:14:12 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2020-11-26 03:14:13 | <koz_> | > [LT ..] |
| 2020-11-26 03:14:15 | <lambdabot> | [LT,EQ,GT] |
| 2020-11-26 03:15:09 | × | benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-lrpyjjkwyhqzgysi) (Quit: Connection closed for inactivity) |
| 2020-11-26 03:15:11 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2020-11-26 03:15:16 | × | sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Quit: leaving) |
| 2020-11-26 03:15:25 | × | reallymemorable quits (~quassel@pool-100-2-25-229.nycmny.fios.verizon.net) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2020-11-26 03:17:03 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-26 03:17:30 | <ocamler> | damn thats cool |
| 2020-11-26 03:18:10 | <ocamler> | pretty sure thats impossible in ocaml |
| 2020-11-26 03:19:14 | × | urea quits (4d8bd2b9@77.139.210.185) (Remote host closed the connection) |
| 2020-11-26 03:20:17 | × | ocamler quits (3263cbdb@50.99.203.219) (Remote host closed the connection) |
| 2020-11-26 03:21:08 | × | Guest10117 quits (~vollenwei@4e69b241.skybroadband.com) (Ping timeout: 260 seconds) |
| 2020-11-26 03:24:36 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-11-26 03:33:24 | → | plutoniix joins (~q@ppp-223-24-94-50.revip6.asianet.co.th) |
| 2020-11-26 03:35:10 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2020-11-26 03:35:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-26 03:36:14 | → | danso joins (~dan@69-165-210-185.cable.teksavvy.com) |
| 2020-11-26 03:37:25 | × | alx741 quits (~alx741@181.196.68.166) (Ping timeout: 264 seconds) |
| 2020-11-26 03:38:02 | → | alx741 joins (~alx741@181.196.68.166) |
| 2020-11-26 03:39:13 | × | Iceland_jack quits (~user@31.124.48.169) (Ping timeout: 264 seconds) |
| 2020-11-26 03:39:52 | lagothrix | is now known as Guest14131 |
| 2020-11-26 03:39:52 | × | Guest14131 quits (~lagothrix@unaffiliated/lagothrix) (Killed (verne.freenode.net (Nickname regained by services))) |
| 2020-11-26 03:40:00 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 2020-11-26 03:41:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-11-26 03:41:55 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2020-11-26 03:42:21 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2020-11-26 03:44:37 | × | theDon quits (~td@94.134.91.236) (Ping timeout: 264 seconds) |
| 2020-11-26 03:46:11 | → | theDon joins (~td@muedsl-82-207-238-209.citykom.de) |
| 2020-11-26 03:46:56 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2020-11-26 03:52:39 | → | vg joins (~vg@139.59.59.230) |
| 2020-11-26 03:55:06 | <ezzieyguywuf> | how can I turn a [[String]] into a [[Text]]? |
| 2020-11-26 03:55:21 | <ezzieyguywuf> | fmap . fmap? |
| 2020-11-26 03:55:30 | <dolio> | (fmap . fmap) pack |
| 2020-11-26 03:57:03 | <ezzieyguywuf> | dolio: nice, thank you. |
| 2020-11-26 04:00:05 | × | DTZUZU quits (~DTZUZU@207.81.171.116) (Read error: Connection reset by peer) |
| 2020-11-26 04:00:44 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2020-11-26 04:00:55 | × | SupaYoshii quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2020-11-26 04:01:52 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2020-11-26 04:02:14 | → | DTZUZU joins (~DTZUZU@207.81.171.116) |
| 2020-11-26 04:02:17 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-26 04:02:50 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-26 04:05:18 | × | incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2020-11-26 04:05:31 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 2020-11-26 04:05:40 | → | incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2020-11-26 04:05:47 | → | vg joins (~vg@139.59.59.230) |
| 2020-11-26 04:05:59 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 2020-11-26 04:06:09 | <incertia> | would there be any interest in a prism equivalent for data-has |
All times are in UTC.