Logs: liberachat/#haskell
| 2021-06-09 15:27:48 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-09 15:27:53 | → | fluffyballoon joins (~fluffybal@2620:72:0:6480::10f7) |
| 2021-06-09 15:28:09 | → | jneira joins (~jneira@166.red-81-39-172.dynamicip.rima-tde.net) |
| 2021-06-09 15:29:00 | → | ridcully joins (~ridcully@p508ac428.dip0.t-ipconnect.de) |
| 2021-06-09 15:29:00 | <c_wraith> | yes, I understand that looks weird. quote literals actually do different things depending on the scope of identifiers |
| 2021-06-09 15:29:09 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-06-09 15:30:31 | <c_wraith> | it looks up fromList and finds the name is in scope at the top level. So it generates a VarE for that name. It looks up result and finds it's local, so it calls liftTyped on it |
| 2021-06-09 15:30:47 | <c_wraith> | it calls liftTyped *on the value*, that is |
| 2021-06-09 15:31:24 | → | alx741 joins (~alx741@181.196.69.18) |
| 2021-06-09 15:31:25 | <c_wraith> | That's actually one of the hardest parts of TH for me to wrap my head around - what the various name resolution rules inside a quote literal do |
| 2021-06-09 15:31:29 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-06-09 15:31:53 | → | motherfs1 joins (~motherfsc@user/motherfsck) |
| 2021-06-09 15:32:22 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-09 15:32:31 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-09 15:32:34 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-09 15:32:40 | → | bruceleewees joins (~bruceleew@83.24.248.233.ipv4.supernova.orange.pl) |
| 2021-06-09 15:33:00 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Quit: WeeChat 3.1) |
| 2021-06-09 15:33:01 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2021-06-09 15:33:04 | × | jippiedoe quits (~david@77-171-152-62.fixed.kpn.net) (Quit: Leaving) |
| 2021-06-09 15:33:05 | × | pbrisbin_ quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Quit: WeeChat 3.1) |
| 2021-06-09 15:33:19 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-09 15:35:34 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-09 15:38:25 | → | agumonke` joins (~user@88.160.31.174) |
| 2021-06-09 15:38:27 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-09 15:40:53 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-09 15:41:03 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2021-06-09 15:41:35 | <delYsid> | Haha. So TH works now, but I need to wait a few minutes till ghci loads the module. |
| 2021-06-09 15:41:42 | <delYsid> | And building also takes a minute. |
| 2021-06-09 15:43:02 | <c_wraith> | TH is not fast. |
| 2021-06-09 15:43:12 | <c_wraith> | this is why I tend to avoid it when I can :) |
| 2021-06-09 15:43:19 | <c_wraith> | even if that means writing lenses by hand :) |
| 2021-06-09 15:45:13 | → | aerona joins (~aerona@2600:6c54:4600:f300:8401:a988:a361:a685) |
| 2021-06-09 15:46:45 | fendor_ | is now known as fendor |
| 2021-06-09 15:46:52 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-09 15:47:12 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-09 15:47:59 | → | ddellaco_ joins (~ddellacos@89.46.62.69) |
| 2021-06-09 15:48:20 | × | ddellacosta quits (~ddellacos@89.46.62.34) (Ping timeout: 264 seconds) |
| 2021-06-09 15:49:33 | <delYsid> | If someone complains, I'll point them at merijn :-) |
| 2021-06-09 15:49:48 | <delYsid> | But I learnt a bunch, thanks for that!" |
| 2021-06-09 15:51:21 | × | wei2912_ quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-09 15:52:13 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-09 15:55:17 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
| 2021-06-09 15:55:30 | × | ddellaco_ quits (~ddellacos@89.46.62.69) (Ping timeout: 264 seconds) |
| 2021-06-09 15:56:56 | → | ddellacosta joins (~ddellacos@86.106.121.108) |
| 2021-06-09 15:59:21 | × | brandonh quits (~brandonh@151.38.222.167) (Quit: brandonh) |
| 2021-06-09 16:00:02 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-09 16:01:08 | → | johnw joins (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-06-09 16:01:17 | × | nsilv1 quits (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 2021-06-09 16:04:10 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-09 16:05:59 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 244 seconds) |
| 2021-06-09 16:07:31 | → | ddellaco_ joins (~ddellacos@89.46.62.73) |
| 2021-06-09 16:08:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-09 16:09:04 | → | ddellac__ joins (~ddellacos@86.106.121.26) |
| 2021-06-09 16:09:18 | × | ddellacosta quits (~ddellacos@86.106.121.108) (Ping timeout: 264 seconds) |
| 2021-06-09 16:10:46 | → | lucubratiuncula joins (~guiot@dynamic-adsl-84-220-161-37.clienti.tiscali.it) |
| 2021-06-09 16:10:59 | × | mpt quits (~tom@2a02:908:1862:49e0::5) (Quit: WeeChat 3.1) |
| 2021-06-09 16:11:36 | × | lucubratiuncula quits (~guiot@dynamic-adsl-84-220-161-37.clienti.tiscali.it) (Client Quit) |
| 2021-06-09 16:11:48 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:190f:d7af:8eb9:1d14) |
| 2021-06-09 16:12:11 | → | biberu joins (~biberu@user/biberu) |
| 2021-06-09 16:12:42 | × | ddellaco_ quits (~ddellacos@89.46.62.73) (Ping timeout: 244 seconds) |
| 2021-06-09 16:13:02 | slowButP1esent | is now known as slowButPresent |
| 2021-06-09 16:13:34 | samebchase6 | is now known as samebchase |
| 2021-06-09 16:15:08 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-09 16:15:17 | × | pe200012 quits (~pe200012@183.236.83.76) (Ping timeout: 244 seconds) |
| 2021-06-09 16:16:00 | → | knu joins (~knu@mue-88-130-62-022.dsl.tropolys.de) |
| 2021-06-09 16:16:11 | × | jess quits (~jess@libera/staff/jess) () |
| 2021-06-09 16:16:41 | → | Baloo_ joins (~Baloo_@45.83.220.183) |
| 2021-06-09 16:16:44 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-09 16:17:42 | peutri_ | is now known as peutri |
| 2021-06-09 16:18:29 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-09 16:19:07 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-09 16:21:21 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-09 16:21:26 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-06-09 16:21:56 | → | ddellacosta joins (~ddellacos@86.106.121.46) |
| 2021-06-09 16:24:31 | → | azeem joins (~azeem@176.201.21.77) |
| 2021-06-09 16:24:44 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-06-09 16:24:54 | × | ddellac__ quits (~ddellacos@86.106.121.26) (Ping timeout: 264 seconds) |
| 2021-06-09 16:25:29 | <knu> | Hey, I'm a bit confused with the behavior of haddock concerning data families |
| 2021-06-09 16:25:38 | × | sqrt2 quits (~ben@80-108-18-7.cable.dynamic.surfer.at) (Read error: Connection reset by peer) |
| 2021-06-09 16:26:01 | × | fluffyballoon quits (~fluffybal@2620:72:0:6480::10f7) (Quit: Client closed) |
| 2021-06-09 16:26:17 | <knu> | A module just defining instances won't list any of them in haddock, instead they are all in the module defining the data family |
| 2021-06-09 16:26:54 | <knu> | But if write module Barf (module Barf) where it lists every instance, but says that these are patterns |
| 2021-06-09 16:27:27 | → | sqrt2 joins (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) |
| 2021-06-09 16:28:07 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-09 16:28:43 | <knu> | are data family instances equivalent to patterns? |
| 2021-06-09 16:31:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-09 16:32:06 | × | sqrt2 quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Ping timeout: 264 seconds) |
| 2021-06-09 16:33:15 | <delYsid> | aha! [|| fromList $$(x)) ||] |
| 2021-06-09 16:33:18 | × | azeem quits (~azeem@176.201.21.77) (Ping timeout: 252 seconds) |
| 2021-06-09 16:34:23 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2021-06-09 16:36:34 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-09 16:36:38 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-09 16:37:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Remote host closed the connection) |
| 2021-06-09 16:38:29 | → | azeem joins (~azeem@176.200.249.22) |
| 2021-06-09 16:39:03 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2021-06-09 16:41:38 | xerox_ | is now known as xerox |
| 2021-06-09 16:46:46 | motherfs1 | is now known as motherfsck |
| 2021-06-09 16:47:42 | × | azeem quits (~azeem@176.200.249.22) (Ping timeout: 264 seconds) |
| 2021-06-09 16:49:05 | → | fvr joins (uid503686@id-503686.highgate.irccloud.com) |
| 2021-06-09 16:49:47 | ← | fvr parts (uid503686@id-503686.highgate.irccloud.com) () |
All times are in UTC.