Logs: freenode/#haskell
| 2021-03-01 16:40:17 | ← | mananamenos parts (~jtomas@193.red-88-11-66.dynamicip.rima-tde.net) () |
| 2021-03-01 16:40:51 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-01 16:41:23 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:745a:4c62:d02:a3cc) |
| 2021-03-01 16:42:20 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-03-01 16:44:11 | → | kam1 joins (~kam1@5.126.106.241) |
| 2021-03-01 16:50:22 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 276 seconds) |
| 2021-03-01 16:51:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-01 16:53:12 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-01 16:53:59 | <monochrom> | ~/.cabal/config has auto-generated "jobs: $ncups" so you have implicit -j so you are still toasted. |
| 2021-03-01 16:56:10 | <merijn> | hmm, did that change at some point? Because that wasn't the case in the past |
| 2021-03-01 16:56:11 | → | banyanRob joins (268ce492@38.140.228.146) |
| 2021-03-01 16:56:46 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 2021-03-01 16:57:53 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-01 16:57:56 | <monochrom> | I happen to have saved default ~/.cabal/config's from 0.14 to 3.4, so I grepped "jobs" and... |
| 2021-03-01 16:58:06 | × | kuribas quits (~user@ptr-25vy0ia3p0g52y47swx.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-03-01 16:58:27 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-01 16:58:32 | <monochrom> | "jobs" first appeared in 1.16, commented out (off by default) |
| 2021-03-01 16:58:50 | <monochrom> | but 1.18 and onwards it's "jobs: $ncpus" all the way down. |
| 2021-03-01 16:58:54 | <merijn> | hah |
| 2021-03-01 16:59:15 | <merijn> | That sounds about right, I think 1.16 was around the time I started, so maybe I just never updated the defaults >.> |
| 2021-03-01 16:59:55 | <merijn> | monochrom: But I recall adding an explicit -j on the cluster making my job substantially faster and that one always had a default config, so something's still weird |
| 2021-03-01 17:00:13 | <merijn> | I blame my environment >.> |
| 2021-03-01 17:00:55 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-03-01 17:01:54 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds) |
| 2021-03-01 17:05:48 | × | chisui quits (577bc9b7@i577BC9B7.versanet.de) (Quit: Connection closed) |
| 2021-03-01 17:07:45 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-01 17:08:01 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-01 17:08:33 | × | conal quits (~conal@192.145.118.113) (Quit: Computer has gone to sleep.) |
| 2021-03-01 17:10:02 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 2021-03-01 17:12:10 | → | conal joins (~conal@192.145.118.123) |
| 2021-03-01 17:12:41 | → | Dysfunctional joins (959c7c03@nat.ds3.agh.edu.pl) |
| 2021-03-01 17:14:49 | <hc> | Hi all, the last three versions of the zip package don't have auto-generated documentation available |
| 2021-03-01 17:14:58 | → | kderme joins (4fa758c1@ppp079167088193.access.hol.gr) |
| 2021-03-01 17:15:52 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-03-01 17:16:06 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-01 17:16:20 | → | nf joins (~n@monade.li) |
| 2021-03-01 17:16:34 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-01 17:16:54 | <Dysfunctional> | Hi, has anyone used bricks here? Did anyone try to do some custom rednering, like... https://paste.tomsmeding.com/kA5KemWL - vertical and horizontal joints might not be enough, and some widgets might need to be cut |
| 2021-03-01 17:17:07 | <Dysfunctional> | rendering* |
| 2021-03-01 17:17:26 | <Dysfunctional> | and joins* |
| 2021-03-01 17:17:55 | <koz_> | hc: File an issue here: https://github.com/mrkkrp/zip/issues |
| 2021-03-01 17:19:40 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) |
| 2021-03-01 17:21:45 | → | LKoen joins (~LKoen@252.248.88.92.rev.sfr.net) |
| 2021-03-01 17:22:52 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-03-01 17:23:15 | → | redmp joins (~redmp@172.58.38.226) |
| 2021-03-01 17:23:18 | → | nf joins (~n@monade.li) |
| 2021-03-01 17:25:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4c96:674d:b3c3:8428) |
| 2021-03-01 17:26:32 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 2021-03-01 17:26:59 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 2021-03-01 17:27:33 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-01 17:27:50 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-03-01 17:29:52 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-03-01 17:30:05 | → | chisui joins (577bc9b7@i577BC9B7.versanet.de) |
| 2021-03-01 17:30:21 | → | nf joins (~n@monade.li) |
| 2021-03-01 17:30:31 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-01 17:31:25 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-01 17:31:30 | × | michalz quits (~user@185.246.204.42) (Remote host closed the connection) |
| 2021-03-01 17:31:52 | <Dysfunctional> | Like it seems vty has a Image data type which is a tree along horizontal and vertical joins, and... I don't know, while it guarantees there won't be any overlaps there's that previous problem. Just wondering if a map or some other fancier tree couldn't be used to sovle that previous problem (for new ppl: https://paste.tomsmeding.com/kA5KemWL ) |
| 2021-03-01 17:32:31 | × | nf quits (~n@monade.li) (Client Quit) |
| 2021-03-01 17:32:58 | → | Tops21 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 2021-03-01 17:33:20 | → | augnun joins (~augnun@2804:14c:658b:41bb:7154:d13c:3dbd:8655) |
| 2021-03-01 17:33:28 | → | Tops22 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 2021-03-01 17:34:45 | → | boxscape joins (86ab2c71@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.44.113) |
| 2021-03-01 17:36:19 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 2021-03-01 17:36:30 | <boxscape> | Not that I actually need this, but to be honest, I kind of expected this to work https://paste.tomsmeding.com/yLYymOaf |
| 2021-03-01 17:37:29 | × | Tops21 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 2021-03-01 17:37:43 | → | nf joins (~n@monade.li) |
| 2021-03-01 17:37:46 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-03-01 17:38:15 | × | mayleesia quits (4d0d9efc@dynamic-077-013-158-252.77.13.pool.telefonica.de) (Quit: Connection closed) |
| 2021-03-01 17:38:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-01 17:39:39 | <boxscape> | I suppose the problem is that neither instance is more general than the other |
| 2021-03-01 17:39:48 | × | knupfer quits (~Thunderbi@200116b824fa7200bdacb2af5161f3a9.dip.versatel-1u1.de) (Quit: knupfer) |
| 2021-03-01 17:40:03 | <geekosaur> | I think so, yes |
| 2021-03-01 17:40:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 17:40:14 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 2021-03-01 17:40:30 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-01 17:40:48 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-03-01 17:40:57 | <dolio> | Yeah, that's incoherent. |
| 2021-03-01 17:41:00 | <Dysfunctional> | yeah, but one is overlappable and other is overlapping, guess they're not interpreted in the same family where the precedence can be calculated |
| 2021-03-01 17:41:14 | → | Tops21 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 2021-03-01 17:41:36 | → | conal_ joins (~conal@64.71.133.70) |
| 2021-03-01 17:42:33 | × | conal quits (~conal@192.145.118.123) (Ping timeout: 264 seconds) |
| 2021-03-01 17:42:44 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:9922:cfc5:8f27:49f4) (Ping timeout: 240 seconds) |
| 2021-03-01 17:43:35 | × | xff0x quits (~xff0x@2001:1a81:5383:2100:fd3a:fd43:5d55:8345) (Ping timeout: 240 seconds) |
| 2021-03-01 17:43:54 | × | Tops22 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 2021-03-01 17:44:15 | <boxscape> | dolio ah, true, changing one of the pragmas to INCOHERENT makes it compile |
| 2021-03-01 17:44:36 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 2021-03-01 17:44:39 | → | xff0x joins (~xff0x@2001:1a81:5383:2100:48ad:dc4f:6fad:3ff7) |
| 2021-03-01 17:44:47 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 17:44:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-03-01 17:45:01 | <dolio> | Oh good. I was just about to say maybe it wasn't incoherent. :) |
| 2021-03-01 17:45:13 | <dolio> | Like, technically. |
| 2021-03-01 17:45:30 | <boxscape> | hm |
| 2021-03-01 17:45:38 | <boxscape> | I don't actually know the technical definition |
| 2021-03-01 17:46:03 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-01 17:46:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 17:47:44 | <dolio> | Anyhow, the 'overlapping' one isn't a special case of the 'overlappable' one. |
| 2021-03-01 17:48:43 | <dolio> | So I guess what marking something 'incoherent' would do is, "just pick this one anyway." |
| 2021-03-01 17:49:01 | <dolio> | Although I'm not 100% certain on the meaning of all the annotations. |
| 2021-03-01 17:49:33 | <boxscape> | it actually picks the one *not* marked with incoherent, though if I'm understanding the user guide correctly, it's "arbitrary" |
All times are in UTC.