Logs: liberachat/#haskell
| 2021-07-18 13:22:44 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-18 13:23:38 | → | retroid_ joins (~retro@97e2ba5d.skybroadband.com) |
| 2021-07-18 13:26:41 | → | hseg_ joins (~gesh@185.120.126.10) |
| 2021-07-18 13:27:28 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-18 13:29:48 | × | hseg quits (~gesh@185.120.126.10) (Ping timeout: 258 seconds) |
| 2021-07-18 13:30:42 | → | chomwitt joins (~Pitsikoko@athedsl-32487.home.otenet.gr) |
| 2021-07-18 13:33:43 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 13:34:49 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 13:39:00 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-18 13:39:00 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Client Quit) |
| 2021-07-18 13:45:29 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-18 13:49:20 | <Boarders> | Is there a convenient way to see every type defined in base? |
| 2021-07-18 13:49:41 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2021-07-18 13:49:41 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2021-07-18 13:49:41 | → | haritz joins (~hrtz@user/haritz) |
| 2021-07-18 13:52:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-18 13:55:20 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-18 14:00:30 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 14:00:33 | <[exa]> | Boarders: in ghci, you can do something like Prelude.[2x tab] |
| 2021-07-18 14:01:05 | <[exa]> | types will be nicely together starting with capitals |
| 2021-07-18 14:01:06 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-07-18 14:01:20 | <[exa]> | but that ain't too systematic, right |
| 2021-07-18 14:01:37 | <Boarders> | Still useful to know :) |
| 2021-07-18 14:01:43 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 14:02:27 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Client Quit) |
| 2021-07-18 14:02:36 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-07-18 14:02:50 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 14:03:06 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-18 14:03:22 | × | acidjnk quits (~acidjnk@p200300d0c72b9505d437a5269bf657ec.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2021-07-18 14:05:02 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-07-18 14:06:06 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-07-18 14:06:36 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2021-07-18 14:07:03 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2021-07-18 14:09:08 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-18 14:12:05 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-18 14:12:13 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-18 14:12:19 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-18 14:12:22 | × | zeenk quits (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-07-18 14:15:29 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-18 14:15:45 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2021-07-18 14:16:42 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-18 14:17:51 | × | keutoi quits (~keutoi@157.47.111.203) (Ping timeout: 255 seconds) |
| 2021-07-18 14:19:47 | → | keutoi joins (~keutoi@106.208.22.182) |
| 2021-07-18 14:20:04 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-18 14:20:11 | × | immae quits (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 2.9) |
| 2021-07-18 14:20:37 | → | immae joins (~immae@2a01:4f8:141:53e7::) |
| 2021-07-18 14:26:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-18 14:30:16 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-07-18 14:30:44 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 14:31:51 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 14:34:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-07-18 14:36:25 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-18 14:37:15 | → | Topsi joins (~Tobias@dyndsl-095-033-088-035.ewe-ip-backbone.de) |
| 2021-07-18 14:39:45 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 14:40:57 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c) (Ping timeout: 250 seconds) |
| 2021-07-18 14:44:42 | × | keutoi quits (~keutoi@106.208.22.182) (Ping timeout: 265 seconds) |
| 2021-07-18 14:45:19 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 2021-07-18 14:45:44 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 14:46:51 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 14:47:44 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 14:47:45 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-18 14:48:51 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 14:49:40 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-07-18 14:52:43 | × | azeem quits (~azeem@dynamic-adsl-84-220-239-18.clienti.tiscali.it) (Ping timeout: 246 seconds) |
| 2021-07-18 14:58:17 | → | afotgkmnzj7asv3r joins (~afotgkmnz@2001:470:69fc:105::c24b) |
| 2021-07-18 14:58:30 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-18 15:01:01 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-18 15:02:48 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-18 15:08:21 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 15:08:28 | → | yauhsien joins (~yauhsien@61-231-25-245.dynamic-ip.hinet.net) |
| 2021-07-18 15:08:50 | × | oso quits (~oso@2601:58c:c080:a950:e67d:b4e2:c5be:433f) (Quit: Client closed) |
| 2021-07-18 15:09:39 | → | Null_A joins (~null_a@2601:645:8700:2290:a961:38e5:e25d:7cd0) |
| 2021-07-18 15:11:02 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-18 15:18:30 | <davean> | hseg_: I feel you've missed what we value about instances |
| 2021-07-18 15:19:04 | <hseg_> | oh? |
| 2021-07-18 15:19:10 | hseg_ | is now known as hseg |
| 2021-07-18 15:19:30 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2021-07-18 15:20:42 | <davean> | hseg: your approach makes it vary by what you import. |
| 2021-07-18 15:20:45 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 15:21:21 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-18 15:21:47 | <hseg> | except it already does -- if you ever have overlapping instances, whether the more specific instance is imported will affect which instance gets chosen |
| 2021-07-18 15:21:55 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 15:21:58 | <davean> | yes, thats the problem |
| 2021-07-18 15:21:59 | <hseg> | true, that isn't common practice |
| 2021-07-18 15:22:45 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2021-07-18 15:23:01 | <hseg> | the idea would be that this would be used to provide instances until upstream does, not to try and override upstream's instances |
| 2021-07-18 15:23:50 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-18 15:23:52 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 15:25:34 | → | isekaijin joins (~pyon@user/pyon) |
| 2021-07-18 15:27:07 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-18 15:28:46 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 15:29:52 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 15:29:54 | → | azeem joins (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) |
| 2021-07-18 15:30:04 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-18 15:30:54 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-18 15:31:56 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-07-18 15:32:58 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-18 15:33:47 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 268 seconds) |
| 2021-07-18 15:34:31 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-18 15:34:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
All times are in UTC.