Logs: liberachat/#haskell
| 2021-08-04 13:08:12 | → | acidjnk_new3 joins (~acidjnk@p5487d90a.dip0.t-ipconnect.de) |
| 2021-08-04 13:08:36 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-08-04 13:10:11 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 268 seconds) |
| 2021-08-04 13:10:57 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 245 seconds) |
| 2021-08-04 13:11:49 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-04 13:12:12 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9506d8c3ad3b1cac9477.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-08-04 13:12:19 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-04 13:13:34 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-04 13:14:43 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-04 13:16:48 | → | slack1256 joins (~slack1256@191.125.170.167) |
| 2021-08-04 13:16:54 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-04 13:19:57 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 2021-08-04 13:20:57 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-04 13:21:36 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-08-04 13:23:31 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-04 13:25:13 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-08-04 13:30:51 | × | Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Quit: Leaving) |
| 2021-08-04 13:31:50 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-08-04 13:32:13 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 2021-08-04 13:33:04 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-04 13:33:27 | × | slavaqq quits (~Slava@sdmail.sdserver.cz) (Quit: Client closed) |
| 2021-08-04 13:36:09 | → | ubert joins (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) |
| 2021-08-04 13:36:38 | × | turlando quits (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2021-08-04 13:39:44 | → | kspalaiologos joins (~kspalaiol@user/kspalaiologos) |
| 2021-08-04 13:40:42 | × | ubert quits (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-08-04 13:44:55 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-08-04 13:45:46 | → | mattil joins (~mattilinn@87-92-5-183.bb.dnainternet.fi) |
| 2021-08-04 13:48:54 | → | Slava joins (~Slava@sdmail.sdserver.cz) |
| 2021-08-04 13:49:09 | → | markpythonicbit_ joins (~markpytho@50.228.44.6) |
| 2021-08-04 13:50:40 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-04 13:50:42 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-08-04 13:50:53 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-08-04 13:52:09 | × | markpythonicbitc quits (~markpytho@50-254-150-41-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
| 2021-08-04 14:00:20 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 272 seconds) |
| 2021-08-04 14:04:04 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-04 14:04:21 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-08-04 14:06:06 | → | ubert joins (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) |
| 2021-08-04 14:06:29 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-08-04 14:06:29 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-08-04 14:06:29 | → | turlando joins (~turlando@user/turlando) |
| 2021-08-04 14:08:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-04 14:15:30 | → | slac11838 joins (~slack1256@181.203.123.157) |
| 2021-08-04 14:16:52 | <lechner> | hpc: thanks! https://github.com/mrkkrp/megaparsec/issues/461 |
| 2021-08-04 14:17:50 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 2021-08-04 14:17:50 | × | slack1256 quits (~slack1256@191.125.170.167) (Ping timeout: 250 seconds) |
| 2021-08-04 14:20:20 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-04 14:23:08 | × | ubert quits (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-08-04 14:23:51 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-04 14:24:28 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-04 14:25:24 | <lechner> | Hi, how can I install a local package that is not available from Hackage so that it can sastisfy build prerequisites in other local executables, please? Thanks! |
| 2021-08-04 14:25:35 | <dminuoso> | lechner: do you use stack or cabal? |
| 2021-08-04 14:25:40 | <lechner> | cabal |
| 2021-08-04 14:25:50 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 2021-08-04 14:25:51 | <dminuoso> | You can just vendor it via git or a local path |
| 2021-08-04 14:26:24 | <lechner> | it's building but not available one Git repo over |
| 2021-08-04 14:27:09 | <lechner> | it's tagtree in here https://github.com/srid/emanote |
| 2021-08-04 14:28:49 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-04 14:29:52 | <lechner> | do i need nix? |
| 2021-08-04 14:31:01 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-04 14:31:15 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-04 14:33:02 | × | mattil quits (~mattilinn@87-92-5-183.bb.dnainternet.fi) (Quit: Leaving) |
| 2021-08-04 14:34:44 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2021-08-04 14:34:48 | <fendor> | lechner, maybe you want this: https://cabal.readthedocs.io/en/3.4/cabal-project.html#specifying-packages-from-remote-version-control-locations |
| 2021-08-04 14:37:24 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-04 14:38:42 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 2021-08-04 14:38:53 | <lechner> | fendor: thanks! i'll try it. this thing, however, says to go back to v1-install https://github.com/haskell/cabal/issues/6478 |
| 2021-08-04 14:39:12 | <fendor> | lechner, if you have a cabal project, dont |
| 2021-08-04 14:39:27 | × | slac11838 quits (~slack1256@181.203.123.157) (Remote host closed the connection) |
| 2021-08-04 14:39:38 | <fendor> | installing it globally for ghci usage maybe, but it is more complicated than that |
| 2021-08-04 14:40:32 | <lechner> | fendor: neither of the two projects is mine, so i am reluctant to modify the cabal. how does their author build them? |
| 2021-08-04 14:40:43 | <merijn> | lechner: That only applies if you don't want to use cabal.project and v2-build/run |
| 2021-08-04 14:41:04 | <merijn> | lechner: i.e. the ticket is about "installing a vendored library in the package database", which you probably shouldn't anyway |
| 2021-08-04 14:41:24 | × | Guest8674 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-04 14:41:25 | <merijn> | lechner: You almost certainly just want cabal.project |
| 2021-08-04 14:41:31 | × | kspalaiologos quits (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 2021-08-04 14:41:48 | → | kspalaiologos joins (~kspalaiol@user/kspalaiologos) |
| 2021-08-04 14:42:43 | <lechner> | merijn: okay, thanks! maybe srid[m] can tell me how to build emanote |
| 2021-08-04 14:44:45 | × | Slava quits (~Slava@sdmail.sdserver.cz) (Quit: Client closed) |
| 2021-08-04 14:44:58 | × | peterhil quits (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-08-04 14:48:00 | → | peterhil joins (~peterhil@mobile-access-5d6ace-52.dhcp.inet.fi) |
| 2021-08-04 14:51:36 | → | MQ-17J joins (~MQ-17J@8.6.144.192) |
| 2021-08-04 14:53:28 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-04 14:54:17 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-04 14:55:23 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-04 14:55:40 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-04 14:55:42 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-04 14:56:11 | × | hendursaga quits (~weechat@user/hendursaga) (Client Quit) |
| 2021-08-04 14:56:35 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-04 14:57:23 | × | azeem quits (~azeem@176.200.220.247) (Read error: Connection reset by peer) |
| 2021-08-04 14:57:59 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-04 14:59:20 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-04 15:10:37 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-04 15:10:40 | chris | is now known as Guest5642 |
| 2021-08-04 15:13:11 | → | jlamothe joins (~jlamothe@104.158.48.100) |
| 2021-08-04 15:14:11 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-08-04 15:14:12 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-04 15:14:42 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-04 15:14:57 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 258 seconds) |
| 2021-08-04 15:25:13 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-08-04 15:28:07 | <int-e> | lechner: Not sure whether this adds anything at this point, but no, ghc wasn't involved; it was purely a versioning problem between `megaparsec` and `scientific`. |
All times are in UTC.