2021-05-09 00:02:33 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-09 00:06:20 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-09 00:07:16 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 00:08:07 +0200 | Alleria | (~textual@2603-7000-3040-0000-09a8-282f-3437-302a.res6.spectrum.com) |
2021-05-09 00:08:23 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
2021-05-09 00:08:30 +0200 | Alleria | Guest67296 |
2021-05-09 00:08:58 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-05-09 00:09:04 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:4d33:5c3c:fcf9:dcea) |
2021-05-09 00:10:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 00:11:41 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
2021-05-09 00:12:21 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
2021-05-09 00:12:53 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-05-09 00:20:08 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
2021-05-09 00:25:32 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
2021-05-09 00:26:15 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
2021-05-09 00:27:42 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) |
2021-05-09 00:29:30 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
2021-05-09 00:30:22 +0200 | antoniotrkdz | (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) (Ping timeout: 252 seconds) |
2021-05-09 00:31:50 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) |
2021-05-09 00:32:05 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
2021-05-09 00:33:31 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) |
2021-05-09 00:33:47 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
2021-05-09 00:34:10 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) |
2021-05-09 00:34:49 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-05-09 00:37:00 +0200 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
2021-05-09 00:37:14 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
2021-05-09 00:37:41 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
2021-05-09 00:37:55 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 00:42:32 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
2021-05-09 00:43:16 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-05-09 00:44:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-05-09 00:45:01 +0200 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
2021-05-09 00:50:07 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) |
2021-05-09 00:51:25 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-09 00:51:26 +0200 | malumore | (~malumore@151.62.124.22) (Ping timeout: 240 seconds) |
2021-05-09 00:52:11 +0200 | alx741 | (~alx741@181.196.68.205) (Ping timeout: 246 seconds) |
2021-05-09 00:56:16 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds) |
2021-05-09 00:59:07 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-05-09 00:59:26 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-05-09 00:59:31 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-05-09 00:59:31 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
2021-05-09 00:59:31 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
2021-05-09 01:01:19 +0200 | Guest67296 | (~textual@2603-7000-3040-0000-09a8-282f-3437-302a.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
2021-05-09 01:03:13 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
2021-05-09 01:03:57 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 01:04:56 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
2021-05-09 01:05:07 +0200 | alx741 | (~alx741@186.178.108.184) |
2021-05-09 01:05:41 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
2021-05-09 01:06:44 +0200 | olle | (~olle@mue-88-130-56-050.dsl.tropolys.de) |
2021-05-09 01:06:50 +0200 | Alleria | (~textual@2603-7000-3040-0000-e8d4-b4be-a934-005b.res6.spectrum.com) |
2021-05-09 01:07:09 +0200 | <olle> | Is there a Haskell answer to the expression problem? Isolating change when adding new data vs adding new behaviour? |
2021-05-09 01:07:14 +0200 | Alleria | Guest53940 |
2021-05-09 01:08:09 +0200 | <olle> | Google helps |
2021-05-09 01:08:39 +0200 | Alleria_ | (~AllahuAkb@2603-7000-3040-0000-6831-3bef-c439-efb8.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
2021-05-09 01:08:52 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
2021-05-09 01:11:21 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 01:12:11 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-05-09 01:13:07 +0200 | <Rembane> | olle: Kinda, see the paper Data types a la carte. |
2021-05-09 01:14:20 +0200 | Alleria_ | (~AllahuAkb@2603-7000-3040-0000-a19f-b6a7-57ef-17ab.res6.spectrum.com) |
2021-05-09 01:14:52 +0200 | <seven_three> | is it possible to write a quickcheck `Property`, that prints out a extra message on success/failure? It seems that hspec has a `describe` function to do this. I would like my output from a call of `quickCheck` to print `+++ OK, passed 100 tests -- prop_reverse` |
2021-05-09 01:16:06 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
2021-05-09 01:17:47 +0200 | <olle> | Rembane: Found some slides |
2021-05-09 01:17:48 +0200 | <olle> | https://userpages.uni-koblenz.de/~laemmel/TheEagle/resources/pdf/xproblem1.pdf |
2021-05-09 01:20:57 +0200 | <olle> | Wow, easy to both add new data and new behaviour in a separate module? Impressive. |
2021-05-09 01:21:26 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-05-09 01:21:57 +0200 | tlgl^nix | (~damien@S0106f0f24986c533.su.shawcable.net) |
2021-05-09 01:22:11 +0200 | <Rembane> | olle: Yeah, I think it's really cool! :) |
2021-05-09 01:22:59 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
2021-05-09 01:24:13 +0200 | <olle> | This was only Haskell 98, it seems |
2021-05-09 01:24:18 +0200 | <olle> | In the paper |
2021-05-09 01:24:21 +0200 | <olle> | sorry, slides |
2021-05-09 01:26:21 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
2021-05-09 01:26:27 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
2021-05-09 01:28:31 +0200 | <Rembane> | Then it should absolutely work in later versions of Haskell. |
2021-05-09 01:30:12 +0200 | tlgl^nix | (~damien@S0106f0f24986c533.su.shawcable.net) (Ping timeout: 240 seconds) |
2021-05-09 01:30:45 +0200 | <olle> | Using type-classes instead of pattern match |
2021-05-09 01:31:39 +0200 | shiraeeshi | (~shiraeesh@46.34.206.174) (Ping timeout: 268 seconds) |
2021-05-09 01:32:01 +0200 | motersen | (~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection) |
2021-05-09 01:32:15 +0200 | motersen | (~motersen@gateway/tor-sasl/motersen) |
2021-05-09 01:33:52 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 01:33:56 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-09 01:35:52 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
2021-05-09 01:36:18 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-09 01:37:12 +0200 | olle | (~olle@mue-88-130-56-050.dsl.tropolys.de) (Ping timeout: 240 seconds) |
2021-05-09 01:37:16 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-05-09 01:41:11 +0200 | tlgl^nix | (~damien@S0106f0f24986c533.su.shawcable.net) |
2021-05-09 01:42:27 +0200 | <monochrom> | Except that "data (Exp l, Exp r) => ..." is Haskell 98 but not Haskell 2010 :) |
2021-05-09 01:43:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-05-09 01:46:46 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-05-09 01:52:51 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 01:54:26 +0200 | tlgl^nix | (~damien@S0106f0f24986c533.su.shawcable.net) (Ping timeout: 240 seconds) |
2021-05-09 01:57:22 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 01:57:31 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
2021-05-09 01:58:24 +0200 | bennofs__ | (~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de) (Read error: Connection reset by peer) |
2021-05-09 01:58:42 +0200 | bennofs_ | (~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de) |
2021-05-09 01:59:25 +0200 | arahael1 | (~arahael@124-150-95-173.tpgi.com.au) |
2021-05-09 02:00:20 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
2021-05-09 02:00:35 +0200 | desophos | (~desophos@2601:249:1680:a570:45cb:bc96:d6c7:8cf9) |
2021-05-09 02:00:39 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-09 02:01:39 +0200 | Arahael | (~arahael@123-243-38-74.tpgi.com.au) (Ping timeout: 252 seconds) |
2021-05-09 02:03:52 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
2021-05-09 02:04:38 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
2021-05-09 02:06:59 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
2021-05-09 02:08:45 +0200 | xsperry | (~as@unaffiliated/xsperry) (Remote host closed the connection) |
2021-05-09 02:13:06 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 02:13:27 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 02:13:44 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
2021-05-09 02:14:45 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
2021-05-09 02:16:21 +0200 | arahael1 | Arahael |
2021-05-09 02:16:45 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-05-09 02:17:54 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
2021-05-09 02:17:56 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
2021-05-09 02:18:15 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-05-09 02:18:25 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:1174:bcc9:701e:5393) |
2021-05-09 02:18:38 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
2021-05-09 02:20:03 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
2021-05-09 02:20:23 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-09 02:21:01 +0200 | ericsagnes | (~ericsagne@i220-108-228-29.s42.a013.ap.plala.or.jp) (Ping timeout: 260 seconds) |
2021-05-09 02:21:31 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 02:21:41 +0200 | bennofs__ | (~quassel@dynamic-078-055-001-072.78.55.pool.telefonica.de) |
2021-05-09 02:23:29 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-05-09 02:25:31 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-09 02:25:55 +0200 | bennofs_ | (~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de) (Ping timeout: 268 seconds) |
2021-05-09 02:27:54 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
2021-05-09 02:33:33 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
2021-05-09 02:34:19 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-05-09 02:40:41 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2021-05-09 02:41:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 02:43:32 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
2021-05-09 02:48:01 +0200 | shiraeeshi | (~shiraeesh@46.34.206.174) |
2021-05-09 02:48:47 +0200 | Tristan | (~tristan@luna.whatbox.ca) |
2021-05-09 02:49:11 +0200 | Tristan | Guest27055 |
2021-05-09 02:55:32 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
2021-05-09 03:02:47 +0200 | sw4n | (~dustinswa@2001:19f0:5c01:f12:5400:1ff:fe39:69d9) |
2021-05-09 03:04:19 +0200 | sw4n | (~dustinswa@2001:19f0:5c01:f12:5400:1ff:fe39:69d9) (Client Quit) |
2021-05-09 03:04:24 +0200 | rootmolloch | (~zanetto@2a02:3038:406:59de:ae59:febd:838d:9aad) |
2021-05-09 03:04:40 +0200 | <rootmolloch> | hey smart ones :-) |
2021-05-09 03:04:48 +0200 | <rootmolloch> | a round of chess ?? |
2021-05-09 03:07:29 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 03:08:12 +0200 | fryguybo1 | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 240 seconds) |
2021-05-09 03:09:03 +0200 | xff0x | (~xff0x@2001:1a81:52ef:f00:5daf:a79:257d:70d5) (Ping timeout: 260 seconds) |
2021-05-09 03:10:57 +0200 | xff0x | (~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) |
2021-05-09 03:11:15 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-hbgtmzmnpyrxsuay) (Quit: Connection closed for inactivity) |
2021-05-09 03:11:50 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
2021-05-09 03:12:46 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-05-09 03:13:14 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
2021-05-09 03:13:53 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-05-09 03:14:26 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:98d9:9567:ec99:15ba) (Read error: Connection reset by peer) |
2021-05-09 03:14:32 +0200 | sillyotter | (~sillyotte@cpe-74-137-150-154.kya.res.rr.com) |
2021-05-09 03:15:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-05-09 03:15:53 +0200 | sillyotter | (~sillyotte@cpe-74-137-150-154.kya.res.rr.com) (Client Quit) |
2021-05-09 03:16:56 +0200 | ADG1089 | (~aditya@223.226.229.98) |
2021-05-09 03:17:55 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-09 03:17:56 +0200 | ADG1089 | (~aditya@223.226.229.98) (Read error: Connection reset by peer) |
2021-05-09 03:18:34 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Remote host closed the connection) |
2021-05-09 03:22:46 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 03:26:20 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) () |
2021-05-09 03:26:21 +0200 | <monochrom> | I prefer tic-tac-toe or global thermonuclear war |
2021-05-09 03:26:23 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-05-09 03:26:41 +0200 | <rootmolloch> | hehe |
2021-05-09 03:27:53 +0200 | <rootmolloch> | monochrom: come on one round ? |
2021-05-09 03:28:14 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-09 03:31:29 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) |
2021-05-09 03:32:08 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 03:41:38 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 03:42:01 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
2021-05-09 03:42:15 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 03:44:24 +0200 | xcmw | (~textual@128-092-110-163.biz.spectrum.com) |
2021-05-09 03:46:39 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
2021-05-09 03:46:39 +0200 | ollie | (519fdcf4@host81-159-220-244.range81-159.btcentralplus.com) (Quit: Connection closed) |
2021-05-09 03:50:25 +0200 | <pjb> | rootmolloch: https://www.chess.com |
2021-05-09 03:51:01 +0200 | <rootmolloch> | pjb: naaahhh <- because i am about to code my own ideas |
2021-05-09 03:51:17 +0200 | <rootmolloch> | pjb: for now only stanard chess |
2021-05-09 03:51:34 +0200 | <rootmolloch> | pjb: but later -> garden eden chess and so on |
2021-05-09 03:51:43 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) |
2021-05-09 03:53:55 +0200 | <rootmolloch> | pjb: and zabuer strike chess and waht so else |
2021-05-09 03:54:08 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 03:55:15 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 03:55:24 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-zlcfevtikjnrahqv) |
2021-05-09 03:55:41 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
2021-05-09 03:56:46 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-05-09 03:59:22 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
2021-05-09 04:01:14 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
2021-05-09 04:01:34 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 04:02:57 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
2021-05-09 04:05:58 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
2021-05-09 04:06:05 +0200 | Matthias1 | (~matthias@li890-22.members.linode.com) |
2021-05-09 04:07:13 +0200 | Matthias1 | (~matthias@li890-22.members.linode.com) (Read error: Connection reset by peer) |
2021-05-09 04:08:07 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-jmpqhvzulmqpvjss) |
2021-05-09 04:09:34 +0200 | plutoniix | (~q@node-uhz.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
2021-05-09 04:10:14 +0200 | rootmolloch | (~zanetto@2a02:3038:406:59de:ae59:febd:838d:9aad) (Quit: Leaving) |
2021-05-09 04:14:53 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-09 04:15:25 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
2021-05-09 04:15:53 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 04:19:55 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 04:20:03 +0200 | chisui | (588239e0@mue-88-130-57-224.dsl.tropolys.de) (Ping timeout: 240 seconds) |
2021-05-09 04:20:11 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
2021-05-09 04:20:12 +0200 | theDon | (~td@94.134.91.193) (Ping timeout: 240 seconds) |
2021-05-09 04:22:20 +0200 | theDon | (~td@muedsl-82-207-238-217.citykom.de) |
2021-05-09 04:24:52 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-05-09 04:25:01 +0200 | vict | (~vict@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection) |
2021-05-09 04:25:24 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
2021-05-09 04:27:46 +0200 | bakhase | (~bakhase@modemcable159.116-21-96.mc.videotron.ca) |
2021-05-09 04:29:04 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-05-09 04:29:04 +0200 | finn_elija | Guest78265 |
2021-05-09 04:29:04 +0200 | FinnElija | finn_elija |
2021-05-09 04:29:27 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
2021-05-09 04:31:07 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-05-09 04:31:57 +0200 | Guest78265 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
2021-05-09 04:33:00 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
2021-05-09 04:36:51 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 04:37:42 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
2021-05-09 04:38:30 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
2021-05-09 04:42:01 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds) |
2021-05-09 04:42:46 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
2021-05-09 04:46:33 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 04:51:04 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-05-09 05:01:44 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
2021-05-09 05:05:02 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-wcndohrnqmiujhrv) |
2021-05-09 05:05:49 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 05:09:52 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
2021-05-09 05:10:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
2021-05-09 05:10:48 +0200 | alx741 | (~alx741@186.178.108.184) (Quit: alx741) |
2021-05-09 05:11:32 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
2021-05-09 05:11:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 05:22:59 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 05:26:54 +0200 | drbean_ | (~drbean@TC210-63-209-196.static.apol.com.tw) |
2021-05-09 05:27:17 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
2021-05-09 05:31:23 +0200 | yaroot | (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
2021-05-09 05:32:05 +0200 | yaroot | (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
2021-05-09 05:32:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-05-09 05:34:01 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
2021-05-09 05:35:24 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds) |
2021-05-09 05:36:30 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
2021-05-09 05:42:32 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-09 05:43:51 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) |
2021-05-09 05:46:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-05-09 05:49:03 +0200 | ddellaco_ | (~ddellacos@86.106.143.176) |
2021-05-09 05:52:31 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
2021-05-09 05:52:51 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) |
2021-05-09 05:57:51 +0200 | Shuppiluliuma | (~shuppilul@153.33.68.161) (Ping timeout: 260 seconds) |
2021-05-09 05:58:50 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 06:00:18 +0200 | motersen | (~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection) |
2021-05-09 06:00:23 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
2021-05-09 06:00:33 +0200 | motersen | (~motersen@gateway/tor-sasl/motersen) |
2021-05-09 06:03:07 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
2021-05-09 06:04:05 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
2021-05-09 06:16:01 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 06:17:32 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 240 seconds) |
2021-05-09 06:23:14 +0200 | ddellaco_ | (~ddellacos@86.106.143.176) (Remote host closed the connection) |
2021-05-09 06:25:48 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-05-09 06:29:59 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
2021-05-09 06:30:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-05-09 06:39:13 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 06:43:26 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
2021-05-09 06:45:28 +0200 | mapperr | (~mapperr@vmi389916.contaboserver.net) (Ping timeout: 252 seconds) |
2021-05-09 06:47:11 +0200 | bakhase | (~bakhase@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection) |
2021-05-09 06:48:39 +0200 | mapperr | (~mapperr@vmi389916.contaboserver.net) |
2021-05-09 06:51:19 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 252 seconds) |
2021-05-09 06:56:26 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
2021-05-09 07:01:58 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 07:02:47 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 07:03:49 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 07:06:11 +0200 | shiraeeshi | (~shiraeesh@46.34.206.174) (Ping timeout: 240 seconds) |
2021-05-09 07:08:04 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
2021-05-09 07:08:19 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
2021-05-09 07:08:51 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 07:13:40 +0200 | Guest18158 | (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) |
2021-05-09 07:13:52 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-wcndohrnqmiujhrv) (Quit: Connection closed for inactivity) |
2021-05-09 07:16:49 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-05-09 07:19:18 +0200 | redmp | (~redmp@172.58.75.196) |
2021-05-09 07:19:27 +0200 | <redmp> | % import Control.Concurrent.STM |
2021-05-09 07:19:27 +0200 | <yahb> | redmp: |
2021-05-09 07:19:40 +0200 | <redmp> | % waitAnyCancel [] |
2021-05-09 07:19:40 +0200 | <yahb> | redmp: ; <interactive>:73:1: error: Variable not in scope: waitAnyCancel :: [a0] -> t |
2021-05-09 07:19:48 +0200 | <redmp> | % import Control.Concurrent.Async |
2021-05-09 07:19:48 +0200 | <yahb> | redmp: |
2021-05-09 07:19:49 +0200 | <redmp> | % waitAnyCancel [] |
2021-05-09 07:19:54 +0200 | <yahb> | redmp: [Timed out] |
2021-05-09 07:20:05 +0200 | <redmp> | on my machine this gets: *** Exception: thread blocked indefinitely in an STM transaction |
2021-05-09 07:20:38 +0200 | <redmp> | I haven't looked at the source yet, but it seems like for an empty list it would just not start any asyncs, nor wait on them |
2021-05-09 07:21:53 +0200 | <redmp> | Ah, it's implemented with a fold over STM actions that has STM.retry as the first accumulator.. |
2021-05-09 07:22:26 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
2021-05-09 07:23:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-09 07:24:59 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 07:28:05 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
2021-05-09 07:28:40 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
2021-05-09 07:29:27 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-05-09 07:37:52 +0200 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
2021-05-09 07:38:23 +0200 | xcmw | (~textual@128-092-110-163.biz.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-05-09 07:39:18 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-wcgdsdofsuaceqeo) (Quit: Connection closed for inactivity) |
2021-05-09 07:42:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 07:46:35 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 268 seconds) |
2021-05-09 07:47:08 +0200 | guriya | (a0ee4b85@unaffiliated/guriya) |
2021-05-09 07:48:37 +0200 | <Lycurgus> | also the most natural semantics for 'waitAnyCancel' on a list is to block until there's something in the list |
2021-05-09 07:53:48 +0200 | safe | (~safe@unaffiliated/safe) (Quit: Leaving) |
2021-05-09 07:55:11 +0200 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
2021-05-09 07:55:27 +0200 | vite | (~vite@195.140.213.38) (Remote host closed the connection) |
2021-05-09 07:55:45 +0200 | <redmp> | % :t waitAnyCancel |
2021-05-09 07:55:45 +0200 | <yahb> | redmp: ; <interactive>:1:1: error: Variable not in scope: waitAnyCancel |
2021-05-09 07:55:57 +0200 | <redmp> | % import Control.Concurrent.Async |
2021-05-09 07:55:58 +0200 | <yahb> | redmp: |
2021-05-09 07:55:59 +0200 | <redmp> | % :t waitAnyCancel |
2021-05-09 07:55:59 +0200 | <yahb> | redmp: [Async a] -> IO (Async a, a) |
2021-05-09 07:56:54 +0200 | <redmp> | but it's just a list.. if it's passed in empty, it's going to remain empty forever .. seems like there should be a fail-fast case that doesn't reach the foldr |
2021-05-09 07:59:08 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
2021-05-09 08:00:52 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 08:03:07 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
2021-05-09 08:03:10 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 08:03:59 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-09 08:04:02 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-09 08:04:56 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-05-09 08:08:06 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-05-09 08:09:21 +0200 | justBull | (~justache@unaffiliated/justache) (Quit: Ping timeout (120 seconds)) |
2021-05-09 08:09:54 +0200 | justBull | (~justache@unaffiliated/justache) |
2021-05-09 08:10:21 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Quit: birdd) |
2021-05-09 08:10:44 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
2021-05-09 08:11:39 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:1174:bcc9:701e:5393) (Ping timeout: 245 seconds) |
2021-05-09 08:12:39 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 08:12:45 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-05-09 08:15:54 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
2021-05-09 08:16:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-05-09 08:17:02 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
2021-05-09 08:18:58 +0200 | sphi | (a0ca25b5@160.202.37.181) |
2021-05-09 08:19:14 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-05-09 08:20:16 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-nvxmqndcqoqioqwm) (Quit: Connection closed for inactivity) |
2021-05-09 08:20:24 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2021-05-09 08:20:38 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 08:21:25 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
2021-05-09 08:23:07 +0200 | sphi | (a0ca25b5@160.202.37.181) (Client Quit) |
2021-05-09 08:23:46 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-05-09 08:24:15 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:9d04:a396:248a:e13a) |
2021-05-09 08:24:48 +0200 | sphi | (~arjun@160.202.37.181) |
2021-05-09 08:26:34 +0200 | xsperry | (~as@unaffiliated/xsperry) |
2021-05-09 08:26:50 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 246 seconds) |
2021-05-09 08:27:25 +0200 | sphi | (~arjun@160.202.37.181) (Client Quit) |
2021-05-09 08:36:21 +0200 | tenki | (~tenki@115.171.244.89) |
2021-05-09 08:36:26 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 08:37:59 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-05-09 08:38:14 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-05-09 08:39:30 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) |
2021-05-09 08:40:07 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 08:41:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-09 08:42:42 +0200 | tenki | (~tenki@115.171.244.89) (Quit: leaving) |
2021-05-09 08:44:13 +0200 | todda7 | (~torstein@178-147-206-209.haap.dm.cosmote.net) |
2021-05-09 08:44:49 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
2021-05-09 08:45:25 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 08:47:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
2021-05-09 08:47:12 +0200 | Surya | (31cea985@49.206.169.133) |
2021-05-09 08:50:09 +0200 | <Athas> | So... 'cabal install' always prepares an sdist and installs from that? Does that mean it will never do incremental builds? |
2021-05-09 08:50:26 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
2021-05-09 08:52:43 +0200 | tsaka__ | (~torstein@178-147-206-209.haap.dm.cosmote.net) |
2021-05-09 08:53:38 +0200 | tsaka__ | (~torstein@178-147-206-209.haap.dm.cosmote.net) (Remote host closed the connection) |
2021-05-09 08:56:13 +0200 | ADG1089 | (~aditya@223.226.229.98) |
2021-05-09 08:56:46 +0200 | todda7 | (~torstein@178-147-206-209.haap.dm.cosmote.net) (Ping timeout: 260 seconds) |
2021-05-09 08:58:59 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 09:01:18 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
2021-05-09 09:03:55 +0200 | redmp | (~redmp@172.58.75.196) (Ping timeout: 265 seconds) |
2021-05-09 09:03:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
2021-05-09 09:04:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-05-09 09:05:43 +0200 | redmp | (~redmp@172.58.75.196) |
2021-05-09 09:08:45 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
2021-05-09 09:09:06 +0200 | Surya | (31cea985@49.206.169.133) (Quit: Ping timeout (120 seconds)) |
2021-05-09 09:09:48 +0200 | redmp | (~redmp@172.58.75.196) (Client Quit) |
2021-05-09 09:09:51 +0200 | greymalkin | (~greymalki@199.180.249.79) (Ping timeout: 246 seconds) |
2021-05-09 09:10:33 +0200 | greymalkin | (~greymalki@199.180.249.79) |
2021-05-09 09:11:13 +0200 | malumore | (~malumore@151.62.119.114) |
2021-05-09 09:15:11 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds) |
2021-05-09 09:19:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-05-09 09:22:08 +0200 | <ADG1089> | f x y = case x of Nothing -> case y of Nothing -> Nothing; Just v -> v; Just w -> w |
2021-05-09 09:22:37 +0200 | <ADG1089> | i.e. how can i get the first Just value from two given values using monadic operators? |
2021-05-09 09:24:17 +0200 | <Athas> | ADG1089: the Alternative instance for Maybe will do that. |
2021-05-09 09:24:27 +0200 | <Athas> | f x y = x <|> y |
2021-05-09 09:25:22 +0200 | <ADG1089> | Athas: thanks! |
2021-05-09 09:27:06 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 09:27:25 +0200 | <sclv> | Athas: i expect so |
2021-05-09 09:28:43 +0200 | Surya | (31cea985@49.206.169.133) |
2021-05-09 09:28:49 +0200 | <Athas> | sclv: so what do cabal users do instead during development? |
2021-05-09 09:29:03 +0200 | <sclv> | just build |
2021-05-09 09:29:11 +0200 | <sclv> | install is not for development |
2021-05-09 09:30:21 +0200 | <Surya> | Problem while installing haskell platfom Link:https://stackoverflow.com/questions/67455260/no-space-in-device-error-while-installing-haskell-pla… need some help |
2021-05-09 09:31:01 +0200 | <sclv> | Surya: looks like you’re out of disk space |
2021-05-09 09:31:29 +0200 | <Athas> | sclv: so something like 'cabal build && cp $(cabal list-bin foo) $HOME/.local/bin/'? |
2021-05-09 09:31:33 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-05-09 09:31:36 +0200 | <Athas> | It seems awfully runabout. |
2021-05-09 09:31:42 +0200 | <Surya> | Actually I have 139.2 GB free space in my disk |
2021-05-09 09:31:53 +0200 | fendor_ | (~fendor@178.165.129.59.wireless.dyn.drei.com) |
2021-05-09 09:32:04 +0200 | <Athas> | Maybe most cabal users don't write executable, but the cabal developers themselves do! |
2021-05-09 09:32:13 +0200 | <sclv> | Athas: just build, don’t copy |
2021-05-09 09:32:28 +0200 | sdrodge_ | (~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.1) |
2021-05-09 09:33:11 +0200 | <Athas> | sclv: then how do I run the executable outside of the cabal directory? |
2021-05-09 09:33:45 +0200 | sdrodge | (~sdrodge@unaffiliated/sdrodge) |
2021-05-09 09:33:55 +0200 | SSP | (~surya@49.206.169.133) |
2021-05-09 09:34:56 +0200 | <sclv> | Athas: you can invoke it directly or keep a symlink around I guess |
2021-05-09 09:35:49 +0200 | <sclv> | Surya: sure you don’t have multiple disks? |
2021-05-09 09:35:54 +0200 | <Athas> | The cabal-generated binary path is not very stable (depends on GHC and cabal-install version), so that would be annoying in the long term. |
2021-05-09 09:36:11 +0200 | <tomsmeding> | Athas: merijn does this https://github.com/merijn/Belewitte/blob/master/cabal-run.sh |
2021-05-09 09:36:13 +0200 | <Athas> | If I want to switch to cabal, I guess I have to keep a build invocation in my history. |
2021-05-09 09:36:21 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
2021-05-09 09:36:38 +0200 | <sclv> | Athas or just a bash script :-) |
2021-05-09 09:37:10 +0200 | kuribas | (~user@ptr-25vy0i7beyvs4gs9lz1.18120a2.ip6.access.telenet.be) |
2021-05-09 09:38:09 +0200 | <Surya> | @sclv:No I have only one disk mounted,I have another partition for dual boot but thats not mounted now |
2021-05-09 09:38:09 +0200 | <lambdabot> | Unknown command, try @list |
2021-05-09 09:38:16 +0200 | <Athas> | The problem is that I am likely to also have a system-installed version of the program I'm hacking on available on PATH. Unless my development workflow installs the development version on the PATH, there is 100% certainty that I will eventually use the system version for some test by mistake. |
2021-05-09 09:39:03 +0200 | <Athas> | A secondary problem is that users and developers will need to use different commands... hm. This is probably not worth the effort to me. |
2021-05-09 09:39:07 +0200 | <pjb> | Athas: use a prefix to the name! afoo instead of foo. |
2021-05-09 09:40:52 +0200 | <Athas> | pjb: that still requires me to manually do the right thing. I prefer to set up things to that error sources are eliminated in the first place (that's why I use Haskell!). |
2021-05-09 09:43:40 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-05-09 09:53:16 +0200 | jacks2 | (~bc8134e3@217.29.117.252) |
2021-05-09 09:54:01 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
2021-05-09 09:54:04 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
2021-05-09 09:54:59 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 245 seconds) |
2021-05-09 09:57:44 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2021-05-09 09:59:05 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 10:00:23 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-05-09 10:05:34 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
2021-05-09 10:06:34 +0200 | <tomsmeding> | Surya: sclv: likely the installation process is configuring ghc in /tmp which may be a tmpfs on your system, i.e. residing in RAM |
2021-05-09 10:09:57 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
2021-05-09 10:10:10 +0200 | <tomsmeding> | Surya: You may have success exporting TMPDIR=/some/temporary/directory/on/your/disk before running the installation |
2021-05-09 10:13:24 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
2021-05-09 10:15:27 +0200 | alexander | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
2021-05-09 10:15:42 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
2021-05-09 10:15:57 +0200 | alexander | Guest96828 |
2021-05-09 10:18:50 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
2021-05-09 10:19:15 +0200 | ADG1089 | (~aditya@223.226.229.98) (Remote host closed the connection) |
2021-05-09 10:19:42 +0200 | jacks2 | (~bc8134e3@217.29.117.252) (Quit: quit) |
2021-05-09 10:24:43 +0200 | aveltras | (uid364989@gateway/web/irccloud.com/x-tgluoemwgszedtgx) |
2021-05-09 10:27:40 +0200 | puke | (~vroom@217.138.252.196) (Quit: puke) |
2021-05-09 10:28:10 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 268 seconds) |
2021-05-09 10:28:23 +0200 | xsperry | (~as@unaffiliated/xsperry) () |
2021-05-09 10:29:30 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2021-05-09 10:29:48 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 10:29:55 +0200 | olligobber | (~olligobbe@unaffiliated/olligobber) |
2021-05-09 10:30:09 +0200 | xsperry | (~as@unaffiliated/xsperry) |
2021-05-09 10:30:30 +0200 | surya96 | (31cea985@49.206.169.133) |
2021-05-09 10:31:35 +0200 | <surya96> | tomsmeding:I am Surya,It got stucked can't even move the cursor |
2021-05-09 10:31:46 +0200 | SSP | (~surya@49.206.169.133) (Remote host closed the connection) |
2021-05-09 10:32:18 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 10:32:33 +0200 | <tomsmeding> | surya96: indeed sounds like your ram is full and your machine is swapping :p |
2021-05-09 10:33:20 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-05-09 10:34:22 +0200 | <surya96> | tomsmeding:I there any possible solution 🙁 |
2021-05-09 10:34:36 +0200 | Surya | (31cea985@49.206.169.133) (Quit: Ping timeout (120 seconds)) |
2021-05-09 10:34:49 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
2021-05-09 10:35:37 +0200 | <surya96> | To install haskell platform im my system |
2021-05-09 10:36:14 +0200 | <tomsmeding> | surya96: mkdir ~/tmpdir; export TMPDIR="$HOME/tmpdir" |
2021-05-09 10:36:23 +0200 | <tomsmeding> | Then run the command you would normally run |
2021-05-09 10:36:39 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
2021-05-09 10:36:46 +0200 | <tomsmeding> | If my suspicion is right that should install fine |
2021-05-09 10:37:06 +0200 | <tomsmeding> | (and then that directory can be deleted afterwards, but make sure to close this terminal too then) |
2021-05-09 10:37:22 +0200 | bearcarl | (b730f4b8@183.48.244.184) |
2021-05-09 10:37:57 +0200 | <surya96> | tomsmeding ok I'll try now |
2021-05-09 10:39:08 +0200 | bearcarl | (b730f4b8@183.48.244.184) (Client Quit) |
2021-05-09 10:39:27 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 10:39:29 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
2021-05-09 10:39:47 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
2021-05-09 10:42:23 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-09 10:43:09 +0200 | bearcarl | (b730f4b8@183.48.244.184) |
2021-05-09 10:44:22 +0200 | bearcarl | (b730f4b8@183.48.244.184) (Client Quit) |
2021-05-09 10:44:23 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
2021-05-09 10:44:56 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
2021-05-09 10:45:06 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-05-09 10:46:05 +0200 | <surya96> | Thank you tomsmeding It worked very well 😃 |
2021-05-09 10:46:52 +0200 | desophos | (~desophos@2601:249:1680:a570:45cb:bc96:d6c7:8cf9) (Quit: Leaving) |
2021-05-09 10:47:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-05-09 10:52:36 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 10:53:26 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
2021-05-09 10:53:34 +0200 | <tomsmeding> | surya96: cheers! |
2021-05-09 10:55:10 +0200 | <tomsmeding> | I wonder if ghcup should do a check if there is a reasonable amount of space free on the device containing $TMPDIR, and if not print a warning containing the above-mentioned fix (before continuing anyway) |
2021-05-09 10:57:57 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 10:59:20 +0200 | surya96 | (31cea985@49.206.169.133) (Quit: Connection closed) |
2021-05-09 11:00:23 +0200 | guriya | (a0ee4b85@unaffiliated/guriya) (Ping timeout: 240 seconds) |
2021-05-09 11:03:20 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Quit: Konversation terminated!) |
2021-05-09 11:04:32 +0200 | malumore | (~malumore@151.62.119.114) (Ping timeout: 240 seconds) |
2021-05-09 11:04:37 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-05-09 11:09:15 +0200 | motersen_ | (~motersen@gateway/tor-sasl/motersen) |
2021-05-09 11:10:21 +0200 | motersen | (~motersen@gateway/tor-sasl/motersen) (Ping timeout: 240 seconds) |
2021-05-09 11:11:34 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 11:11:35 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
2021-05-09 11:13:10 +0200 | drbean_ | (~drbean@TC210-63-209-196.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-05-09 11:20:29 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-05-09 11:20:33 +0200 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
2021-05-09 11:21:00 +0200 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
2021-05-09 11:22:51 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
2021-05-09 11:27:21 +0200 | <maerwald> | tomsmeding: https://gitlab.haskell.org/haskell/ghcup-hs/-/commit/7d13836feaa8340161ed6d9bd9ee83da28b1db55#465b… |
2021-05-09 11:29:04 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 11:30:32 +0200 | Surya | (31cea985@49.206.169.133) |
2021-05-09 11:30:53 +0200 | Surya | (31cea985@49.206.169.133) (Client Quit) |
2021-05-09 11:32:21 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
2021-05-09 11:32:33 +0200 | vgtw_ | (~vgtw@gateway/tor-sasl/vgtw) |
2021-05-09 11:32:57 +0200 | vgtw_ | vgtw |
2021-05-09 11:33:13 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-05-09 11:34:19 +0200 | jacks2 | (~bc8134e3@217.29.117.252) |
2021-05-09 11:35:12 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
2021-05-09 11:39:17 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
2021-05-09 11:42:50 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
2021-05-09 11:46:59 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 11:48:09 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) |
2021-05-09 11:52:49 +0200 | Nahra | (~user@unaffiliated/nahra) |
2021-05-09 11:53:19 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
2021-05-09 11:53:33 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
2021-05-09 11:54:23 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
2021-05-09 11:54:44 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2021-05-09 11:55:34 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-05-09 12:02:10 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:e1e0:777e:85c3:9996) |
2021-05-09 12:05:11 +0200 | jassob | (~jassob@korrob.vth.sgsnet.se) (Ping timeout: 252 seconds) |
2021-05-09 12:06:11 +0200 | Guest18158 | (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) (Ping timeout: 250 seconds) |
2021-05-09 12:15:04 +0200 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
2021-05-09 12:17:11 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2021-05-09 12:17:28 +0200 | jassob | (~jassob@korrob.vth.sgsnet.se) |
2021-05-09 12:18:00 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-05-09 12:21:01 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-09 12:25:41 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-05-09 12:27:55 +0200 | lieven | (~mal@2001:41d0:1:66c4::1) (Ping timeout: 276 seconds) |
2021-05-09 12:28:06 +0200 | cheater2 | (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
2021-05-09 12:28:20 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-05-09 12:29:38 +0200 | <tomsmeding> | maerwald: You're prescient. Awesome! |
2021-05-09 12:29:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 12:29:55 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
2021-05-09 12:30:19 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-05-09 12:32:31 +0200 | <Philonous> | Should unsafeCoerce come with a runtime cost? I'm coercing some values to and alter back from Any, and this coercion seems to introduce runtime costs; I've checkd core and the only difference seems to be additional `cast`-s, is that expected to introduce costs? |
2021-05-09 12:32:43 +0200 | <Philonous> | s/alter/later |
2021-05-09 12:34:47 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
2021-05-09 12:36:31 +0200 | lieven | (~mal@unaffiliated/lieven) |
2021-05-09 12:44:22 +0200 | juuandyy | (~juuandyy@90.106.228.121) |
2021-05-09 12:51:58 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 12:57:15 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
2021-05-09 12:57:24 +0200 | leafgecko | (~leafgecko@218.108.17.58) |
2021-05-09 12:57:30 +0200 | leafgecko | (~leafgecko@218.108.17.58) (Read error: Connection reset by peer) |
2021-05-09 12:57:57 +0200 | grulfen | (~grulfen@h-148-119.A163.priv.bahnhof.se) |
2021-05-09 12:58:05 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
2021-05-09 12:58:39 +0200 | cheater2 | (~user@unaffiliated/cheater) |
2021-05-09 13:01:47 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 13:02:04 +0200 | xff0x | (~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) (Ping timeout: 245 seconds) |
2021-05-09 13:04:04 +0200 | xff0x | (~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) |
2021-05-09 13:04:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-05-09 13:05:52 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-05-09 13:07:01 +0200 | chisui | (59f77c9d@i59F77C9D.versanet.de) |
2021-05-09 13:09:18 +0200 | ad_ | (~ad@185.169.233.51) |
2021-05-09 13:10:02 +0200 | ram19890 | (~ram@49.205.84.15) (Quit: Konversation terminated!) |
2021-05-09 13:10:29 +0200 | ram19890 | (~ram@49.205.84.15) |
2021-05-09 13:13:02 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 13:13:18 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 13:13:38 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
2021-05-09 13:14:06 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 13:14:52 +0200 | ram19890 | (~ram@49.205.84.15) (Ping timeout: 252 seconds) |
2021-05-09 13:15:21 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 13:15:56 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
2021-05-09 13:19:32 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 13:19:34 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
2021-05-09 13:21:36 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 13:23:33 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
2021-05-09 13:28:44 +0200 | Guest87676 | (~laudiacay@67.176.215.84) |
2021-05-09 13:31:11 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 13:33:05 +0200 | Guest87676 | (~laudiacay@67.176.215.84) (Ping timeout: 246 seconds) |
2021-05-09 13:35:46 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-05-09 13:35:53 +0200 | jacks2 | (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout)) |
2021-05-09 13:36:41 +0200 | asfswdf | (~as@cpe-188-129-124-33.dynamic.amis.hr) |
2021-05-09 13:36:45 +0200 | asfswdf | (~as@cpe-188-129-124-33.dynamic.amis.hr) (Remote host closed the connection) |
2021-05-09 13:37:59 +0200 | xsperry | (~as@unaffiliated/xsperry) (Ping timeout: 246 seconds) |
2021-05-09 13:40:57 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
2021-05-09 13:44:25 +0200 | aveltras | (uid364989@gateway/web/irccloud.com/x-tgluoemwgszedtgx) (Quit: Connection closed for inactivity) |
2021-05-09 13:45:09 +0200 | clefru | (~clefru@unaffiliated/clefru) |
2021-05-09 13:45:26 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
2021-05-09 13:47:26 +0200 | juuandyy | (~juuandyy@90.106.228.121) (Ping timeout: 246 seconds) |
2021-05-09 13:47:27 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 13:52:47 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Quit: Konversation terminated!) |
2021-05-09 13:52:47 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
2021-05-09 13:57:49 +0200 | Guest18158 | (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) |
2021-05-09 14:00:26 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-05-09 14:01:16 +0200 | xsperry | (~as@unaffiliated/xsperry) |
2021-05-09 14:02:04 +0200 | Guest18158 | (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) (Ping timeout: 245 seconds) |
2021-05-09 14:02:27 +0200 | olligobber | (~olligobbe@unaffiliated/olligobber) (Remote host closed the connection) |
2021-05-09 14:02:29 +0200 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 246 seconds) |
2021-05-09 14:03:11 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2021-05-09 14:03:32 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-05-09 14:06:19 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-05-09 14:08:12 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
2021-05-09 14:09:23 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-05-09 14:10:51 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-znzzchzkdvsvanxc) |
2021-05-09 14:12:04 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
2021-05-09 14:16:07 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
2021-05-09 14:16:43 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-09 14:25:22 +0200 | bytheseaside | (~bytheseas@modemcable159.116-21-96.mc.videotron.ca) |
2021-05-09 14:32:10 +0200 | Guest53940 | (~textual@2603-7000-3040-0000-e8d4-b4be-a934-005b.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-05-09 14:35:13 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
2021-05-09 14:35:14 +0200 | drbean_ | (~drbean@TC210-63-209-33.static.apol.com.tw) |
2021-05-09 14:36:43 +0200 | chisui | (59f77c9d@i59F77C9D.versanet.de) (Ping timeout: 240 seconds) |
2021-05-09 14:37:42 +0200 | fendor_ | fendor |
2021-05-09 14:39:57 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
2021-05-09 14:39:59 +0200 | snowflake_ | (~snowflake@gateway/tor-sasl/snowflake) |
2021-05-09 14:40:27 +0200 | xff0x | (~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) (Ping timeout: 250 seconds) |
2021-05-09 14:41:18 +0200 | xff0x | (~xff0x@2001:1a81:5389:3400:2b01:e41a:6d1e:863a) |
2021-05-09 14:44:23 +0200 | Wuzzy | (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
2021-05-09 14:46:44 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
2021-05-09 14:48:00 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
2021-05-09 14:49:22 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-05-09 14:51:08 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 14:51:59 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
2021-05-09 14:54:21 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-05-09 14:56:31 +0200 | cno | (~christof@159.48.55.76) |
2021-05-09 14:58:11 +0200 | shiraeeshi | (~shiraeesh@46.34.206.28) |
2021-05-09 14:58:32 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Remote host closed the connection) |
2021-05-09 14:59:24 +0200 | Alleria | (~textual@zrcout.mskcc.org) |
2021-05-09 14:59:48 +0200 | Alleria | Guest48058 |
2021-05-09 15:00:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 15:01:31 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) |
2021-05-09 15:03:32 +0200 | juuandyy | (~juuandyy@90.106.228.121) |
2021-05-09 15:05:09 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-09 15:05:49 +0200 | urodna | (~urodna@unaffiliated/urodna) |
2021-05-09 15:06:16 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
2021-05-09 15:11:08 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
2021-05-09 15:15:32 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
2021-05-09 15:16:43 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
2021-05-09 15:16:43 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
2021-05-09 15:16:43 +0200 | mouseghost | (~draco@wikipedia/desperek) |
2021-05-09 15:19:18 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
2021-05-09 15:23:34 +0200 | <kuribas> | Is it possible to use XsdToHaskell with duplicateRecordFields? |
2021-05-09 15:24:26 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
2021-05-09 15:24:35 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-05-09 15:25:13 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
2021-05-09 15:25:53 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
2021-05-09 15:27:12 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-05-09 15:27:29 +0200 | <kuribas> | Why does haxml redefine primite types? |
2021-05-09 15:27:42 +0200 | <kuribas> | http://hackage.haskell.org/package/HaXml-1.25.5/docs/Text-XML-HaXml-Schema-PrimitiveTypes.html |
2021-05-09 15:31:48 +0200 | <kuribas> | Text.XML.HaXml.Schema.PrimitiveTypes.Int looks exactly like Int to me. |
2021-05-09 15:31:57 +0200 | <kuribas> | I don't see why it would need to be redefined. |
2021-05-09 15:33:17 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 15:34:20 +0200 | nullniverse | (~null@unaffiliated/nullniverse) |
2021-05-09 15:34:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-05-09 15:35:22 +0200 | neiluj | (~jco@unaffiliated/neiluj) (Remote host closed the connection) |
2021-05-09 15:35:46 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
2021-05-09 15:38:59 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 15:39:05 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
2021-05-09 15:40:14 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 15:40:43 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-05-09 15:41:06 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 15:41:07 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 15:42:04 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 15:42:51 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-09 15:43:26 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
2021-05-09 15:45:07 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 15:45:17 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
2021-05-09 15:45:31 +0200 | <kuribas> | great, XsdToHaskell doesn't even seem to work |
2021-05-09 15:45:34 +0200 | <kuribas> | it's missing some types. |
2021-05-09 15:45:54 +0200 | fendor_ | (~fendor@178.165.129.14.wireless.dyn.drei.com) |
2021-05-09 15:46:45 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds) |
2021-05-09 15:46:49 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds) |
2021-05-09 15:47:03 +0200 | ram19890 | (~ram@49.205.84.15) |
2021-05-09 15:48:16 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-05-09 15:48:50 +0200 | fendor | (~fendor@178.165.129.59.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
2021-05-09 15:50:43 +0200 | ad_ | (~ad@185.169.233.51) (Remote host closed the connection) |
2021-05-09 15:52:43 +0200 | shiraeeshi | (~shiraeesh@46.34.206.28) (Ping timeout: 252 seconds) |
2021-05-09 15:55:03 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-05-09 15:55:21 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
2021-05-09 15:58:31 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) |
2021-05-09 15:59:00 +0200 | alx741 | (~alx741@186.178.108.184) |
2021-05-09 15:59:49 +0200 | <tomsmeding> | kuribas: that Int is just a re-export |
2021-05-09 16:00:51 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-05-09 16:01:21 +0200 | <kuribas> | right... |
2021-05-09 16:01:29 +0200 | <kuribas> | there is also XsdString, why not just use String? |
2021-05-09 16:01:41 +0200 | juuandyy | (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
2021-05-09 16:02:15 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) |
2021-05-09 16:02:43 +0200 | <tomsmeding> | I guess because they think a string meant for xml has different semantics than a list of characters? |
2021-05-09 16:02:49 +0200 | <tomsmeding> | i.e. for instances |
2021-05-09 16:03:21 +0200 | <tomsmeding> | Though they don't have [a] instances for the classes in question |
2021-05-09 16:04:35 +0200 | nbloomf_ | (~nbloomf@2600:1700:ad14:3020:89ee:f3d4:789d:7129) |
2021-05-09 16:04:50 +0200 | <tomsmeding> | Ah right they also have instances for ID and such, which are also just newtypes over String |
2021-05-09 16:05:23 +0200 | <tomsmeding> | kuribas: so they have different strings with different semantics -- one of which happens to be a normal string |
2021-05-09 16:05:54 +0200 | <kuribas> | hmm, ok. |
2021-05-09 16:06:08 +0200 | <kuribas> | I'd hoped XsdToHaskell would use standard haskell primitives. |
2021-05-09 16:06:23 +0200 | <kuribas> | translate String to Text for example. |
2021-05-09 16:06:39 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) (Ping timeout: 245 seconds) |
2021-05-09 16:10:25 +0200 | drbean_ | (~drbean@TC210-63-209-33.static.apol.com.tw) (Ping timeout: 268 seconds) |
2021-05-09 16:11:27 +0200 | kierra | (~kierra@195.140.213.38) |
2021-05-09 16:12:59 +0200 | nbloomf_ | (~nbloomf@2600:1700:ad14:3020:89ee:f3d4:789d:7129) (Quit: Textual IRC Client: www.textualapp.com) |
2021-05-09 16:21:14 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 16:21:20 +0200 | nullniv15 | (~null@unaffiliated/nullniverse) |
2021-05-09 16:21:30 +0200 | nullniverse | (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
2021-05-09 16:21:30 +0200 | nullniv15 | (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
2021-05-09 16:21:59 +0200 | nullniverse | (~null@unaffiliated/nullniverse) |
2021-05-09 16:22:00 +0200 | <kuribas> | how to create a "diff" from two records? |
2021-05-09 16:22:49 +0200 | LKoen | (~LKoen@156.168.9.109.rev.sfr.net) |
2021-05-09 16:22:51 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
2021-05-09 16:23:02 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-09 16:23:29 +0200 | malumore | (~malumore@151.62.119.114) |
2021-05-09 16:23:29 +0200 | kenran | (~kenran@i59F67BEC.versanet.de) |
2021-05-09 16:24:01 +0200 | <kuribas> | ah, I could convert to JSON, then use aeson-diff |
2021-05-09 16:25:39 +0200 | shiraeeshi | (~shiraeesh@46.34.206.28) |
2021-05-09 16:25:49 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
2021-05-09 16:26:29 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
2021-05-09 16:26:37 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
2021-05-09 16:26:45 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
2021-05-09 16:29:14 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-05-09 16:29:59 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 16:30:00 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-09 16:31:00 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 16:33:15 +0200 | Deide | (~Deide@217.155.19.23) |
2021-05-09 16:33:47 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 16:34:14 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
2021-05-09 16:35:12 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
2021-05-09 16:35:27 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds) |
2021-05-09 16:38:11 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
2021-05-09 16:43:52 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-05-09 16:46:07 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2021-05-09 16:47:22 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 16:49:04 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2021-05-09 16:49:24 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
2021-05-09 16:52:23 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-05-09 16:53:40 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-09 16:54:28 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-fzaqsjhbxqzhfzhw) |
2021-05-09 17:00:29 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-09 17:01:22 +0200 | grulfen | (~grulfen@h-148-119.A163.priv.bahnhof.se) (Quit: WeeChat 2.9) |
2021-05-09 17:04:12 +0200 | nrdmn98 | (~nrdmn@95.129.53.118) (Read error: Connection reset by peer) |
2021-05-09 17:04:21 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
2021-05-09 17:04:46 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-05-09 17:08:02 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-05-09 17:17:01 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 17:17:48 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 17:19:37 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 17:21:59 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
2021-05-09 17:22:13 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) |
2021-05-09 17:24:19 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds) |
2021-05-09 17:24:31 +0200 | puke | (~vroom@217.138.252.196) |
2021-05-09 17:25:25 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 17:29:01 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-05-09 17:30:20 +0200 | Shuppiluliuma | (~shuppilul@153.33.68.161) |
2021-05-09 17:30:59 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 17:31:43 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 252 seconds) |
2021-05-09 17:31:51 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
2021-05-09 17:33:14 +0200 | sphi | (~sphi@unaffiliated/sphi) |
2021-05-09 17:36:27 +0200 | kuribas | (~user@ptr-25vy0i7beyvs4gs9lz1.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2021-05-09 17:42:39 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-09 17:43:53 +0200 | knupfer | (~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) |
2021-05-09 17:44:30 +0200 | knupfer | (~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) (Client Quit) |
2021-05-09 17:44:42 +0200 | knupfer | (~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) |
2021-05-09 17:46:26 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
2021-05-09 17:49:13 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 17:49:19 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
2021-05-09 17:49:33 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 17:51:26 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
2021-05-09 17:52:59 +0200 | Nobita | (ca0e785e@202.14.120.94) |
2021-05-09 17:54:37 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
2021-05-09 17:54:47 +0200 | pjb | (~pjb@2a01cb04063ec50060d83fce37963843.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
2021-05-09 17:55:00 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 17:57:12 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-05-09 18:01:01 +0200 | pjb | (~pjb@2a01cb04063ec50010b77dfbed5a7ace.ipv6.abo.wanadoo.fr) |
2021-05-09 18:01:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-09 18:01:53 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 18:02:51 +0200 | knupfer | (~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) (Quit: knupfer) |
2021-05-09 18:03:16 +0200 | Nobita | (ca0e785e@202.14.120.94) (Quit: Connection closed) |
2021-05-09 18:03:31 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-09 18:03:55 +0200 | nullniverse | (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
2021-05-09 18:04:22 +0200 | nullniverse | (~null@unaffiliated/nullniverse) |
2021-05-09 18:04:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-05-09 18:05:59 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
2021-05-09 18:06:25 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2021-05-09 18:07:17 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-05-09 18:07:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-05-09 18:08:10 +0200 | nullniv38 | (~null@unaffiliated/nullniverse) |
2021-05-09 18:11:06 +0200 | nullniverse | (~null@unaffiliated/nullniverse) (Ping timeout: 260 seconds) |
2021-05-09 18:11:12 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-05-09 18:12:02 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 18:12:14 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 18:13:15 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-05-09 18:13:45 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
2021-05-09 18:16:08 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-09 18:20:07 +0200 | cdsmith | (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
2021-05-09 18:21:30 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 18:21:49 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 18:22:09 +0200 | fendor_ | fendor |
2021-05-09 18:26:43 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
2021-05-09 18:27:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-09 18:30:46 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-05-09 18:30:47 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-05-09 18:31:38 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 18:31:54 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-05-09 18:32:15 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-05-09 18:32:48 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-mkmevptkirixfume) |
2021-05-09 18:34:53 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-09 18:35:49 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
2021-05-09 18:36:00 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 18:36:20 +0200 | shiraeeshi | (~shiraeesh@46.34.206.28) (Remote host closed the connection) |
2021-05-09 18:37:00 +0200 | shiraeeshi | (~shiraeesh@46.34.206.28) |
2021-05-09 18:42:46 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
2021-05-09 18:45:33 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-09 18:47:22 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
2021-05-09 18:48:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-05-09 18:51:06 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2021-05-09 18:53:16 +0200 | dexterlb | (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
2021-05-09 18:54:53 +0200 | dexterlb | (~dexterlb@2a01:9e40:2:2::2) |
2021-05-09 18:57:22 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
2021-05-09 18:57:39 +0200 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
2021-05-09 18:58:48 +0200 | kuribas | (~user@ptr-25vy0i9zf0thjlfh30h.18120a2.ip6.access.telenet.be) |
2021-05-09 18:59:17 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds) |
2021-05-09 19:02:17 +0200 | shiraeeshi | (~shiraeesh@46.34.206.28) (Ping timeout: 265 seconds) |
2021-05-09 19:02:29 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
2021-05-09 19:03:10 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-09 19:04:26 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-05-09 19:09:27 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:4d33:5c3c:fcf9:dcea) (Ping timeout: 260 seconds) |
2021-05-09 19:10:26 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) |
2021-05-09 19:11:20 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
2021-05-09 19:12:52 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-05-09 19:13:28 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-09 19:16:48 +0200 | shiraeeshi | (~shiraeesh@46.34.206.28) |
2021-05-09 19:17:32 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 19:17:50 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 19:19:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-09 19:21:26 +0200 | sphi | (~sphi@unaffiliated/sphi) (Ping timeout: 240 seconds) |
2021-05-09 19:22:46 +0200 | slaterr | (~bc817c21@1582020-static.lxtnkya3.metronetinc.net) |
2021-05-09 19:23:11 +0200 | Vortex12 | (8cb80538@140.184.5.56) |
2021-05-09 19:24:05 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 19:24:09 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-05-09 19:24:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-05-09 19:24:26 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
2021-05-09 19:24:49 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 19:25:06 +0200 | <dmj`> | kuribas: gdiff |
2021-05-09 19:25:12 +0200 | <dmj`> | @package gdiff |
2021-05-09 19:25:12 +0200 | <lambdabot> | https://hackage.haskell.org/package/gdiff |
2021-05-09 19:25:37 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 19:25:50 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 19:26:03 +0200 | <kuribas> | dmj`: neat, but complicated type level stuff is not an option... |
2021-05-09 19:27:01 +0200 | <dmj`> | kuribas: internally it might do type level stuff but I think the interface is simple iirc |
2021-05-09 19:27:08 +0200 | guriya | (a0ee4b35@unaffiliated/guriya) |
2021-05-09 19:27:15 +0200 | Vortex12 | (8cb80538@140.184.5.56) (Client Quit) |
2021-05-09 19:29:52 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) (Ping timeout: 240 seconds) |
2021-05-09 19:30:21 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
2021-05-09 19:30:46 +0200 | knupfer | (~Thunderbi@p200300eb4f3eab0020dc92fffef921d9.dip0.t-ipconnect.de) |
2021-05-09 19:30:56 +0200 | heebo | (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) |
2021-05-09 19:31:37 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
2021-05-09 19:31:53 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 260 seconds) |
2021-05-09 19:36:23 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 19:36:42 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 19:37:04 +0200 | knupfer | (~Thunderbi@p200300eb4f3eab0020dc92fffef921d9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2021-05-09 19:38:29 +0200 | knupfer | (~Thunderbi@p200300eb4f3eab00b8fde2fffe7a1e5d.dip0.t-ipconnect.de) |
2021-05-09 19:38:30 +0200 | knupfer | (~Thunderbi@p200300eb4f3eab00b8fde2fffe7a1e5d.dip0.t-ipconnect.de) (Client Quit) |
2021-05-09 19:41:12 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
2021-05-09 19:42:55 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 19:43:00 +0200 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
2021-05-09 19:43:33 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-ekuqsqzasggslgwf) |
2021-05-09 19:44:10 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 19:44:59 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-zlcfevtikjnrahqv) (Quit: Connection closed for inactivity) |
2021-05-09 19:52:31 +0200 | jneira | (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) (Ping timeout: 252 seconds) |
2021-05-09 19:54:01 +0200 | copypasteque | (~copypaste@2001:41d0:8:b325::1) (Quit: WeeChat 2.9) |
2021-05-09 19:54:09 +0200 | Tesseraction | (~Tesseract@unaffiliated/tesseraction) |
2021-05-09 19:55:31 +0200 | hexfive | (~hexfive@50.35.83.177) |
2021-05-09 19:57:45 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 19:58:46 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 19:58:55 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 20:00:00 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 20:00:59 +0200 | nineonine | (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) |
2021-05-09 20:01:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 20:04:06 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2021-05-09 20:04:22 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 20:05:44 +0200 | Guest48058 | (~textual@zrcout.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-05-09 20:05:58 +0200 | nineonine | (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) (Ping timeout: 268 seconds) |
2021-05-09 20:07:19 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 20:08:11 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-05-09 20:08:41 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 20:08:46 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
2021-05-09 20:09:46 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-05-09 20:12:20 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 20:14:42 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-jmpqhvzulmqpvjss) (Quit: Connection closed for inactivity) |
2021-05-09 20:15:36 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
2021-05-09 20:16:14 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
2021-05-09 20:20:38 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 20:20:58 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 20:21:56 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 20:22:06 +0200 | LKoen_ | (~LKoen@156.168.9.109.rev.sfr.net) |
2021-05-09 20:22:17 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 20:24:06 +0200 | LKoen | (~LKoen@156.168.9.109.rev.sfr.net) (Ping timeout: 240 seconds) |
2021-05-09 20:24:11 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 20:25:54 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
2021-05-09 20:28:48 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 265 seconds) |
2021-05-09 20:29:38 +0200 | Guest87676 | (~laudiacay@67.176.215.84) |
2021-05-09 20:31:03 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3f46:104f:9f93:5042) |
2021-05-09 20:31:06 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) (Ping timeout: 260 seconds) |
2021-05-09 20:32:11 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-05-09 20:32:36 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-05-09 20:32:54 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-09 20:33:46 +0200 | ram19890 | (~ram@49.205.84.15) (Quit: Konversation terminated!) |
2021-05-09 20:34:01 +0200 | Guest87676 | (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds) |
2021-05-09 20:35:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-05-09 20:36:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-05-09 20:37:39 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-05-09 20:39:50 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2021-05-09 20:41:16 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-05-09 20:43:48 +0200 | dexterlb | (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
2021-05-09 20:44:31 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 276 seconds) |
2021-05-09 20:45:28 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) |
2021-05-09 20:45:50 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
2021-05-09 20:46:16 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
2021-05-09 20:49:46 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
2021-05-09 20:51:42 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
2021-05-09 20:52:02 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-09 20:54:53 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-09 20:55:02 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-05-09 20:55:20 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
2021-05-09 20:55:49 +0200 | hackage | (mniip@haskell/bot/hackage) (Read error: Connection reset by peer) |
2021-05-09 20:56:46 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-05-09 20:57:14 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
2021-05-09 20:57:22 +0200 | hackage | (mniip@haskell/bot/hackage) |
2021-05-09 20:57:55 +0200 | Paks | (~paks@c-69-136-183-189.hsd1.il.comcast.net) (Read error: Connection reset by peer) |
2021-05-09 21:00:14 +0200 | Katarushisu | (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 268 seconds) |
2021-05-09 21:05:10 +0200 | knupfer | (~Thunderbi@200116b82bc00c0071d45d1406321d5a.dip.versatel-1u1.de) |
2021-05-09 21:07:36 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-09 21:07:49 +0200 | juuandyy | (~juuandyy@90.106.228.121) |
2021-05-09 21:09:49 +0200 | pavonia | (~user@unaffiliated/siracusa) |
2021-05-09 21:10:32 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
2021-05-09 21:11:19 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:cc13:5292:6bd3:1cef) (Ping timeout: 250 seconds) |
2021-05-09 21:11:46 +0200 | kuribas | (~user@ptr-25vy0i9zf0thjlfh30h.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2021-05-09 21:13:55 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
2021-05-09 21:14:46 +0200 | dcoutts_ | (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds) |
2021-05-09 21:15:04 +0200 | knupfer | (~Thunderbi@200116b82bc00c0071d45d1406321d5a.dip.versatel-1u1.de) (Ping timeout: 276 seconds) |
2021-05-09 21:16:20 +0200 | miho | (~miho@93-139-109-136.adsl.net.t-com.hr) |
2021-05-09 21:16:33 +0200 | miho | Guest1972 |
2021-05-09 21:17:52 +0200 | Varis | (~Tadas@unaffiliated/varis) |
2021-05-09 21:17:58 +0200 | Guest1972 | (~miho@93-139-109-136.adsl.net.t-com.hr) (Client Quit) |
2021-05-09 21:18:03 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:8509:1194:46cd:65cb) |
2021-05-09 21:20:34 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-09 21:21:02 +0200 | bytheseaside | (~bytheseas@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds) |
2021-05-09 21:21:05 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-05-09 21:22:11 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-05-09 21:24:56 +0200 | Somf1c | (~Somf1c@modemcable159.116-21-96.mc.videotron.ca) |
2021-05-09 21:25:43 +0200 | unknown_develope | (~unknown_d@93-139-109-136.adsl.net.t-com.hr) |
2021-05-09 21:26:39 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:9d04:a396:248a:e13a) (Ping timeout: 260 seconds) |
2021-05-09 21:27:27 +0200 | unknown_develope | (~unknown_d@93-139-109-136.adsl.net.t-com.hr) (Client Quit) |
2021-05-09 21:30:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-09 21:30:15 +0200 | lazyshrk | (~lazyshrk@128.199.58.13) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-05-09 21:31:05 +0200 | lazyshrk | (~lazyshrk@128.199.58.13) |
2021-05-09 21:32:12 +0200 | <heebo> | can someone tell me what the .\/ operator does |
2021-05-09 21:32:18 +0200 | <heebo> | is it type merge? |
2021-05-09 21:34:20 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
2021-05-09 21:35:12 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-05-09 21:38:07 +0200 | <ski> | @hoogle (.\/) |
2021-05-09 21:38:08 +0200 | <lambdabot> | No results found |
2021-05-09 21:38:24 +0200 | <ski> | it would probably help saying what package it's from |
2021-05-09 21:38:42 +0200 | <monochrom> | Which package? |
2021-05-09 21:39:15 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:44a9:4dc5:2863:2677) |
2021-05-09 21:42:55 +0200 | ircbrowse_tom | (~ircbrowse@64.225.78.177) |
2021-05-09 21:42:56 +0200 | Server | +CLnt |
2021-05-09 21:44:20 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-05-09 21:50:14 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-05-09 21:50:47 +0200 | guriya | (a0ee4b35@unaffiliated/guriya) (Quit: Connection closed) |
2021-05-09 21:51:33 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
2021-05-09 21:52:16 +0200 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
2021-05-09 21:54:25 +0200 | m_shiraeeshi | (~shiraeesh@46.34.206.81) |
2021-05-09 21:56:17 +0200 | shiraeeshi | (~shiraeesh@46.34.206.28) (Ping timeout: 265 seconds) |
2021-05-09 21:56:57 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-05-09 22:00:00 +0200 | Alleria | (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) |
2021-05-09 22:00:24 +0200 | Alleria | Guest47670 |
2021-05-09 22:01:35 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 22:02:56 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 22:04:12 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-05-09 22:04:37 +0200 | Guest47670 | (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) (Ping timeout: 250 seconds) |
2021-05-09 22:04:46 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
2021-05-09 22:05:08 +0200 | thongpv87 | (~thongpv87@27.76.236.94) |
2021-05-09 22:05:15 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
2021-05-09 22:06:45 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
2021-05-09 22:06:51 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
2021-05-09 22:07:14 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-09 22:07:44 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-09 22:08:04 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 22:08:48 +0200 | petersen | (~petersen@redhat/juhp) |
2021-05-09 22:11:28 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-05-09 22:13:06 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 22:13:23 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 22:14:32 +0200 | cno | (~christof@159.48.55.76) (Ping timeout: 240 seconds) |
2021-05-09 22:14:56 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
2021-05-09 22:15:07 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
2021-05-09 22:18:03 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-05-09 22:18:39 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-09 22:23:33 +0200 | ByronJohnson | (~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds) |
2021-05-09 22:23:55 +0200 | LKoen_ | (~LKoen@156.168.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
2021-05-09 22:23:56 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
2021-05-09 22:24:06 +0200 | Tene | (~tene@poipu/supporter/slacker/tene) (Ping timeout: 252 seconds) |
2021-05-09 22:26:48 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de) |
2021-05-09 22:30:13 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-05-09 22:30:19 +0200 | ByronJohnson | (~bairyn@unaffiliated/bob0) |
2021-05-09 22:30:46 +0200 | heebo | (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
2021-05-09 22:30:59 +0200 | Tene | (~tene@mail.digitalkingdom.org) |
2021-05-09 22:30:59 +0200 | Tene | (~tene@mail.digitalkingdom.org) (Changing host) |
2021-05-09 22:30:59 +0200 | Tene | (~tene@poipu/supporter/slacker/tene) |
2021-05-09 22:32:41 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2021-05-09 22:33:37 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
2021-05-09 22:33:49 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
2021-05-09 22:33:59 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-05-09 22:36:10 +0200 | juuandyy | (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
2021-05-09 22:40:26 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-05-09 22:40:42 +0200 | Sgeo_ | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-05-09 22:41:09 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-09 22:41:22 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-05-09 22:43:54 +0200 | stree | (~stree@68.36.8.116) |
2021-05-09 22:47:37 +0200 | corvusdev | (~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net) |
2021-05-09 22:50:03 +0200 | ixlun | (~matthew@109.249.184.235) |
2021-05-09 22:50:59 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-09 22:54:44 +0200 | kupi | (uid212005@gateway/web/irccloud.com/x-lrhowubsvaodihlk) |
2021-05-09 22:55:01 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-05-09 22:55:20 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
2021-05-09 22:57:29 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
2021-05-09 23:00:44 +0200 | kenran | (~kenran@i59F67BEC.versanet.de) (Remote host closed the connection) |
2021-05-09 23:02:51 +0200 | olle | (~olle@i5E866616.versanet.de) |
2021-05-09 23:04:49 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-09 23:05:27 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-05-09 23:06:20 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-09 23:07:27 +0200 | Guest96828 | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
2021-05-09 23:07:50 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 23:08:09 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 23:08:32 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 23:08:40 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-09 23:09:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-05-09 23:09:15 +0200 | Alleria | (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) |
2021-05-09 23:09:39 +0200 | Alleria | Guest67052 |
2021-05-09 23:09:50 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-09 23:10:12 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-09 23:10:21 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
2021-05-09 23:14:59 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
2021-05-09 23:15:41 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-05-09 23:15:52 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
2021-05-09 23:15:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-05-09 23:17:17 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
2021-05-09 23:18:08 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
2021-05-09 23:19:49 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
2021-05-09 23:20:12 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
2021-05-09 23:21:24 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:e1e0:777e:85c3:9996) (Quit: Leaving) |
2021-05-09 23:23:02 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-09 23:23:21 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 23:25:21 +0200 | son0p | (~ff@181.136.122.143) |
2021-05-09 23:27:38 +0200 | corvusdev | (~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-05-09 23:28:05 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
2021-05-09 23:28:26 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
2021-05-09 23:29:16 +0200 | corvusdev | (~corvusdev@50.212.103.45) |
2021-05-09 23:29:43 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-09 23:31:41 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-05-09 23:32:13 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
2021-05-09 23:32:58 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-05-09 23:34:32 +0200 | cdsmith | (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) |
2021-05-09 23:36:40 +0200 | jump | (~jump@cpe-67-247-15-155.nyc.res.rr.com) |
2021-05-09 23:36:45 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
2021-05-09 23:39:48 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
2021-05-09 23:42:36 +0200 | fendor | (~fendor@178.165.129.14.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-05-09 23:43:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-09 23:43:28 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
2021-05-09 23:46:56 +0200 | corvusdev | (~corvusdev@50.212.103.45) (Quit: Textual IRC Client: www.textualapp.com) |
2021-05-09 23:49:27 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
2021-05-09 23:51:39 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
2021-05-09 23:55:01 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-05-09 23:55:20 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
2021-05-09 23:55:26 +0200 | malumore | (~malumore@151.62.119.114) (Ping timeout: 240 seconds) |
2021-05-09 23:55:33 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-05-09 23:58:20 +0200 | olle | (~olle@i5E866616.versanet.de) (Ping timeout: 252 seconds) |