Logs: freenode/#haskell
| 2021-04-15 21:53:53 | <sclv> | interesting! |
| 2021-04-15 21:54:22 | <maerwald> | but I think a revision update could theoretically add or remove platform support as well |
| 2021-04-15 21:54:26 | × | ddellacosta quits (~ddellacos@86.106.143.222) (Remote host closed the connection) |
| 2021-04-15 21:55:22 | <maerwald> | IMO, they were a mistake and stem out of the necessity to fix stuff on hackage without making releases bypassing maintainers |
| 2021-04-15 21:55:55 | <maerwald> | but that's the error of PVP |
| 2021-04-15 21:55:59 | <maerwald> | not having revisions |
| 2021-04-15 21:56:16 | <sclv> | i mean the issue you linked seems fine -- the revision turned out to not be safe (monotone) and so was reverted |
| 2021-04-15 21:56:18 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-04-15 21:56:19 | <sclv> | and a new version was released |
| 2021-04-15 21:56:30 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 21:56:40 | <sclv> | you need revisions to make things work even if maintainers do them themselves tho |
| 2021-04-15 21:56:42 | <maerwald> | sclv: now cabal freezez index state too, so you don't hit such problems |
| 2021-04-15 21:56:51 | <sclv> | otherwise you can't ever fix wrong metadata |
| 2021-04-15 21:56:55 | <maerwald> | the linked revision update broke CI in production |
| 2021-04-15 21:56:57 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:10d3:95f2:684:2a30) |
| 2021-04-15 21:57:08 | <sclv> | no that was the revision _reversion_ that broke things |
| 2021-04-15 21:57:15 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:10d3:95f2:684:2a30) (Client Quit) |
| 2021-04-15 21:57:24 | <maerwald> | no, that was an added revision |
| 2021-04-15 21:57:39 | <maerwald> | you can't revert a revision, you can only add new ones |
| 2021-04-15 21:57:42 | <sclv> | first there was a revision to allow StateVar to be higher, and they moved to that |
| 2021-04-15 21:57:57 | <sclv> | right then they reverted it with a new revision, and then moving to that lower bound again broke things |
| 2021-04-15 21:58:04 | <sclv> | because that was a _nonmonotone_ revision |
| 2021-04-15 21:59:08 | <sclv> | and yeah its unfortunate that a situation like that (fixing an erronious revision) can lead to nonmonotone behavior |
| 2021-04-15 21:59:32 | × | qwerty2o quits (~qwerty2o@93-172-139-92.bb.netvision.net.il) (Ping timeout: 240 seconds) |
| 2021-04-15 21:59:52 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:2b:3073:f6f8:6923) |
| 2021-04-15 22:00:17 | → | xelxebar_ joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-04-15 22:00:25 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-04-15 22:01:04 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-15 22:01:09 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 2021-04-15 22:01:11 | × | L1Cafe quits (~L1Cafe@kydara.com) (Ping timeout: 240 seconds) |
| 2021-04-15 22:02:25 | <maerwald> | so yeah... the proper way would have been to fix PVP and then allow non-maintainer updates with revisions as proper part of the package version |
| 2021-04-15 22:02:43 | <maerwald> | instead now revisions are something infrastructure specific... |
| 2021-04-15 22:04:04 | × | fendor quits (~fendor@178.165.129.79.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-04-15 22:04:24 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:2b:3073:f6f8:6923) (Ping timeout: 258 seconds) |
| 2021-04-15 22:06:55 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-15 22:07:48 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-15 22:10:04 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 22:10:26 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-15 22:10:33 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-04-15 22:11:01 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-15 22:12:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 22:13:08 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-15 22:14:22 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 2021-04-15 22:14:38 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-15 22:14:49 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-15 22:16:07 | → | L1Cafe joins (~L1Cafe@kydara.com) |
| 2021-04-15 22:16:42 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-15 22:17:49 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:511c:6dec:57c0:cac4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-15 22:19:25 | × | neiluj quits (~jco@unaffiliated/neiluj) (Ping timeout: 260 seconds) |
| 2021-04-15 22:20:04 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-15 22:21:21 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Quit: Leaving) |
| 2021-04-15 22:22:21 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-15 22:22:37 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-15 22:22:56 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 22:28:07 | → | ddellacosta joins (~ddellacos@86.106.143.196) |
| 2021-04-15 22:28:52 | → | kristijonas_ joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-15 22:29:14 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Read error: Connection reset by peer) |
| 2021-04-15 22:30:07 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Ping timeout: 260 seconds) |
| 2021-04-15 22:32:40 | × | ddellacosta quits (~ddellacos@86.106.143.196) (Ping timeout: 252 seconds) |
| 2021-04-15 22:33:52 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-04-15 22:35:27 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) |
| 2021-04-15 22:37:15 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2021-04-15 22:37:37 | → | friel- joins (Sputnik@cpe0c473d6a72b3-cm0c473d6a72b0.cpe.net.fido.ca) |
| 2021-04-15 22:37:49 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-15 22:37:58 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-04-15 22:39:55 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) (Ping timeout: 260 seconds) |
| 2021-04-15 22:40:33 | × | Guest53443 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 240 seconds) |
| 2021-04-15 22:42:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 22:43:19 | × | edge563 quits (~edge563@gateway/tor-sasl/edge563) (Quit: edge563) |
| 2021-04-15 22:44:46 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
| 2021-04-15 22:44:46 | × | seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-15 22:45:22 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-04-15 22:46:27 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:d9af:dd7d:b8a9:dce) |
| 2021-04-15 22:47:14 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-15 22:47:17 | → | seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) |
| 2021-04-15 22:48:37 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-04-15 22:51:11 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 22:51:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-15 22:52:04 | → | rprije joins (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-15 22:53:29 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-04-15 22:55:13 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 2021-04-15 22:55:49 | × | usr25 quits (~J@33.red-83-63-129.staticip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2021-04-15 22:57:27 | × | dunj3 quits (~dunj3@2001:16b8:30dd:8b00:33d6:e798:cf85:ced0) (Remote host closed the connection) |
| 2021-04-15 22:58:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 23:00:56 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-15 23:02:22 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-15 23:03:12 | → | madjestic[m] joins (madjesticm@gateway/shell/matrix.org/x-ktewxaguqqmdajwc) |
| 2021-04-15 23:03:31 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-04-15 23:03:48 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-04-15 23:05:07 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-15 23:06:06 | × | maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 3.1) |
| 2021-04-15 23:06:10 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 23:06:23 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-15 23:06:27 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-15 23:07:52 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-15 23:10:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 23:11:36 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 23:11:54 | → | pfurla_ joins (~pfurla@216.151.180.220) |
| 2021-04-15 23:12:20 | → | usr25 joins (~J@132.pool85-48-187.static.orange.es) |
| 2021-04-15 23:12:32 | × | usr25 quits (~J@132.pool85-48-187.static.orange.es) (Read error: Connection reset by peer) |
All times are in UTC.