Logs: freenode/#haskell
| 2021-05-02 03:53:06 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 240 seconds) |
| 2021-05-02 03:53:06 | × | __minoru__shirae quits (~shiraeesh@109.166.57.8) (Ping timeout: 240 seconds) |
| 2021-05-02 03:57:06 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-02 04:07:50 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-02 04:08:34 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-02 04:08:35 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-02 04:09:10 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 2021-05-02 04:09:46 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-02 04:12:14 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 2021-05-02 04:12:26 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-02 04:19:21 | × | urodna_ quits (~urodna@unaffiliated/urodna) (Quit: urodna_) |
| 2021-05-02 04:20:50 | × | electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2021-05-02 04:21:26 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-02 04:22:56 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-gjijlciteuoywprs) |
| 2021-05-02 04:23:11 | → | vchlup__ joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-02 04:23:54 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-02 04:26:09 | × | ddellacosta quits (~ddellacos@86.106.143.18) (Remote host closed the connection) |
| 2021-05-02 04:28:35 | × | mrmonday quits (~mrmonday@195.140.213.38) (Remote host closed the connection) |
| 2021-05-02 04:36:16 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-02 04:41:50 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-05-02 04:42:04 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-02 04:44:44 | → | zyga joins (~zyga@37.120.211.188) |
| 2021-05-02 04:47:45 | <olligobber> | so I'm trying to write something using template haskell types, and I noticed that despite the existence of InfixT, when I do [t| Bool >>> Char |] it uses ConT >>> and AppT |
| 2021-05-02 04:49:14 | <olligobber> | which is annoying, cos now I need to somehow tell the difference between type operators and type names purely based on their name, rather than whether they are ConT or InfixT |
| 2021-05-02 04:49:36 | <olligobber> | does anyone know a good way to do that? or do I just have to check if the name is made of symbols? |
| 2021-05-02 04:49:47 | ← | jaiya parts (~jaiya@unaffiliated/jaiya) () |
| 2021-05-02 04:49:53 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 246 seconds) |
| 2021-05-02 04:50:27 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-02 04:50:50 | × | lewky quits (~lewky@159.65.37.240) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-02 04:53:38 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-02 04:54:18 | <olligobber> | oh I know, I'll look at how the pretty printer tells the difference |
| 2021-05-02 04:54:26 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-05-02 04:58:41 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-02 05:00:52 | → | ddellacosta joins (~ddellacos@86.106.143.213) |
| 2021-05-02 05:02:24 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-02 05:04:58 | <olligobber> | it literally just checks if the first character satisfies isAlpha or `elem` "_[]()" |
| 2021-05-02 05:05:12 | × | ddellacosta quits (~ddellacos@86.106.143.213) (Ping timeout: 240 seconds) |
| 2021-05-02 05:05:22 | <olligobber> | great |
| 2021-05-02 05:13:14 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-05-02 05:13:23 | → | __minoru__shirae joins (~shiraeesh@109.166.57.8) |
| 2021-05-02 05:17:26 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-02 05:19:17 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds) |
| 2021-05-02 05:19:29 | × | puke quits (~vroom@217.138.252.196) (Remote host closed the connection) |
| 2021-05-02 05:25:47 | × | zyga quits (~zyga@37.120.211.188) (Remote host closed the connection) |
| 2021-05-02 05:34:50 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 268 seconds) |
| 2021-05-02 05:35:06 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-02 05:38:04 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 2021-05-02 05:38:29 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-05-02 05:40:23 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-02 05:42:37 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 252 seconds) |
| 2021-05-02 05:48:55 | → | Ishutin joins (~ishutin@84-236-8-11.pool.digikabel.hu) |
| 2021-05-02 05:49:51 | × | tessier quits (~treed@kernel-panic/copilotco) (Ping timeout: 260 seconds) |
| 2021-05-02 05:52:11 | × | Ishutin_ quits (~ishutin@84-236-1-102.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2021-05-02 05:53:34 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-02 06:02:46 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 240 seconds) |
| 2021-05-02 06:04:07 | × | jophish__ quits (ca536851@202.83.104.81) (Quit: jophish__) |
| 2021-05-02 06:04:59 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-02 06:05:44 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-02 06:09:53 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-02 06:10:41 | → | sunyibo joins (~alex@2a04:52c0:101:443::) |
| 2021-05-02 06:10:46 | → | jtk joins (~jtk@185.169.233.12) |
| 2021-05-02 06:10:48 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-02 06:11:57 | <sunyibo> | I'd like to build git-annex on debian. I'm getting this https://bpa.st/W4ZA . Can someone please help? |
| 2021-05-02 06:14:55 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-02 06:17:47 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-02 06:18:28 | <c_wraith> | sunyibo: did you run `cabal update` like it asked? |
| 2021-05-02 06:19:44 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-dvuppglxmxbuwdqf) (Quit: Connection closed for inactivity) |
| 2021-05-02 06:21:39 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-05-02 06:21:53 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 2021-05-02 06:22:24 | <sunyibo> | I did |
| 2021-05-02 06:23:39 | <sunyibo> | same result |
| 2021-05-02 06:26:40 | → | Sgeo_ joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-02 06:26:48 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 2021-05-02 06:27:31 | <c_wraith> | what version of git-annex do you have? |
| 2021-05-02 06:27:52 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-02 06:32:32 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-gjijlciteuoywprs) (Quit: Connection closed for inactivity) |
| 2021-05-02 06:35:22 | → | aarvar1 joins (~foewfoiew@2601:602:a080:fa0:3ddb:82cf:708b:a443) |
| 2021-05-02 06:35:38 | × | aarvar1 quits (~foewfoiew@2601:602:a080:fa0:3ddb:82cf:708b:a443) (Client Quit) |
| 2021-05-02 06:35:49 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:696f:bd5:1d30:cd10) (Ping timeout: 250 seconds) |
| 2021-05-02 06:37:55 | <c_wraith> | I decided to try building it myself and... wtf, git-annex depends on yesod. No wonder this is taking a year to build. |
| 2021-05-02 06:38:06 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-02 06:40:03 | <sunyibo> | https://en.wikipedia.org/wiki/Yesod this is getting better and better. Thanks for trying. I guess I have to https://www.haskell.org/cabal/#install-upgrade first |
| 2021-05-02 06:41:12 | <c_wraith> | It looks like debian has git-annex packages. That might be the way to go, unless you need a newer version |
| 2021-05-02 06:42:10 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:ee71:af9a:c3fd:7044) (Ping timeout: 276 seconds) |
| 2021-05-02 06:42:16 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-02 06:43:59 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-02 06:45:19 | <sunyibo> | I do. Or I did. And now I just want to learn how to build a package. |
| 2021-05-02 06:47:05 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-02 06:47:10 | <c_wraith> | I don't understand why git-annex depends on yesod. That's not what I'd expect. But anyway.... |
| 2021-05-02 06:48:08 | <c_wraith> | The first step to building a package is getting the necessary build tools. I'm running debian and got ghc and cabal via ghcup. It's a convenient way to manage those things. |
| 2021-05-02 06:49:01 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-02 06:54:20 | <sunyibo> | could you build it? |
| 2021-05-02 06:54:29 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:4bd1:656f:4270:d212) |
| 2021-05-02 06:54:34 | <c_wraith> | unsure. Still working. |
| 2021-05-02 06:54:53 | <sunyibo> | there is a web interface for git-annex. Hence maybe the need for yesod... |
| 2021-05-02 06:55:42 | <c_wraith> | that would do it. I didn't look at the cabal file, maybe it's a separate binary and I could have avoided building it. |
| 2021-05-02 06:56:40 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-02 06:57:57 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-02 06:58:03 | × | ADG1089 quits (~aditya@223.226.237.158) (Remote host closed the connection) |
| 2021-05-02 06:59:24 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
All times are in UTC.