Logs on 2025-03-01 (liberachat/#haskell)
| 00:00:18 | → | ell joins (~ellie@user/ellie) |
| 00:01:07 | <haskellbridge> | <Liamzee> you could hack it with CPP, i suppose |
| 00:01:14 | <c_wraith> | You can do better than that |
| 00:01:42 | <c_wraith> | You can put platform-specific stuff in separate trees and conditionally include those trees depending on platform in cabal |
| 00:02:05 | <c_wraith> | But it involves a lot of manual work, and a good platform would have a better abstraction for that. |
| 00:02:15 | <haskellbridge> | <Liamzee> but the entire point is so that you're building full stack in one module, one module at a time |
| 00:02:43 | <haskellbridge> | <Liamzee> tbh with CPP, you don't actually need Haskell |
| 00:06:10 | <haskellbridge> | <Liamzee> https://en.wikipedia.org/wiki/Isomorphic_JavaScript |
| 00:06:16 | <haskellbridge> | <Liamzee> also this is basically what i was looking for, oh well |
| 00:12:33 | <haskellbridge> | <Liamzee> that also brings miso into play, which advertises itself as isomorphic |
| 00:14:30 | × | Everything quits (~Everythin@46.211.105.36) (Quit: leaving) |
| 00:36:37 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:40:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 00:40:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 00:48:26 | × | k_hachig_ quits (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 00:51:31 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f90d472fd3bae079d4a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:55:45 | × | sprotte24 quits (~sprotte24@p200300d16f44db00402a6a5cf9d1162b.dip0.t-ipconnect.de) (Quit: Leaving) |
| 01:07:47 | <haskellbridge> | <Liamzee> but c_wraith, I'm still wondering, if you have a simple datatype of backend, frontend, client |
| 01:08:00 | <haskellbridge> | <Liamzee> i mean, you can still opt to go the compiler plugin route |
| 01:08:01 | <haskellbridge> | <Liamzee> ugh |
| 01:14:11 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Quit: leaving) |
| 01:15:37 | × | alp quits (~alp@2001:861:8ca0:4940:cf02:35f:1502:8681) (Ping timeout: 268 seconds) |
| 01:17:28 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 01:20:53 | × | bilegeek quits (~bilegeek@123.sub-174-228-103.myvzw.com) (Ping timeout: 248 seconds) |
| 01:23:40 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:28:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 01:32:06 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:33:48 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 01:34:40 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:35:12 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 01:35:32 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:38:12 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 01:43:01 | → | califax joins (~califax@user/califx) |
| 01:47:07 | → | bilegeek joins (~bilegeek@93.sub-174-228-98.myvzw.com) |
| 01:48:25 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:55:42 | × | m5zs7k quits (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 01:56:07 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 01:56:15 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 02:00:48 | × | fmira quits (~user@user/fmira) (Ping timeout: 264 seconds) |
| 02:09:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:09:32 | → | bilegeek_ joins (~bilegeek@30.sub-174-208-227.myvzw.com) |
| 02:12:21 | × | bilegeek quits (~bilegeek@93.sub-174-228-98.myvzw.com) (Ping timeout: 268 seconds) |
| 02:12:27 | → | tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net) |
| 02:13:28 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 02:16:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 02:16:42 | → | nek0 joins (~nek0@user/nek0) |
| 02:17:04 | → | Guest60 joins (~Guest92@2804:351c:dd00:1680:a251:bff:fe45:7a90) |
| 02:21:17 | × | Guest60 quits (~Guest92@2804:351c:dd00:1680:a251:bff:fe45:7a90) (Client Quit) |
| 02:33:47 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:51:56 | → | tavare joins (~tavare@150.129.88.189) |
| 02:51:56 | × | tavare quits (~tavare@150.129.88.189) (Changing host) |
| 02:51:56 | → | tavare joins (~tavare@user/tavare) |
| 02:54:38 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 02:55:29 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:57:36 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 02:59:47 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 03:00:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 03:02:33 | → | bilegeek__ joins (~bilegeek@227.sub-174-208-227.myvzw.com) |
| 03:05:00 | × | bilegeek_ quits (~bilegeek@30.sub-174-208-227.myvzw.com) (Ping timeout: 252 seconds) |
| 03:05:23 | → | alp joins (~alp@2001:861:8ca0:4940:744f:ab18:67c5:f6a5) |
| 03:09:32 | → | bilegeek_ joins (~bilegeek@241.sub-174-209-38.myvzw.com) |
| 03:12:24 | × | bilegeek__ quits (~bilegeek@227.sub-174-208-227.myvzw.com) (Ping timeout: 260 seconds) |
| 03:12:39 | → | weary-traveler joins (~user@user/user363627) |
| 03:13:26 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 03:14:57 | → | jrm joins (~jrm@user/jrm) |
| 03:15:08 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 03:21:22 | × | bilegeek_ quits (~bilegeek@241.sub-174-209-38.myvzw.com) (Ping timeout: 244 seconds) |
| 03:22:39 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 03:28:22 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 03:28:48 | → | madcabbage joins (~cabbage@207.148.176.79) |
| 03:32:21 | → | weary-traveler joins (~user@user/user363627) |
| 03:34:22 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 03:39:34 | × | notdabs quits (~Owner@2600:6c40:4300:950:cc75:6335:c59d:cd1) (Read error: Connection reset by peer) |
| 03:40:03 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 03:41:33 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:45:41 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 03:47:59 | → | bilegeek__ joins (~bilegeek@4.sub-174-209-32.myvzw.com) |
| 03:51:32 | → | bilegeek_ joins (~bilegeek@75.sub-174-228-101.myvzw.com) |
| 03:53:58 | → | lol_ joins (~lol@2603:3016:1e01:b960:c10:54c:3021:e6cf) |
| 03:54:29 | × | bilegeek__ quits (~bilegeek@4.sub-174-209-32.myvzw.com) (Ping timeout: 252 seconds) |
| 03:57:09 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b960:5cab:e8ae:c3b1:72bf) (Ping timeout: 248 seconds) |
| 03:58:02 | × | messewix quits (~jmc@user/messewix) (Remote host closed the connection) |
| 04:00:14 | × | alp quits (~alp@2001:861:8ca0:4940:744f:ab18:67c5:f6a5) (Ping timeout: 260 seconds) |
| 04:05:06 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:08:29 | lol_ | is now known as jcarpenter2 |
| 04:15:46 | × | xacktm quits (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
| 04:23:00 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 04:26:57 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:27:17 | × | bilegeek_ quits (~bilegeek@75.sub-174-228-101.myvzw.com) (Ping timeout: 244 seconds) |
| 04:30:21 | × | aforemny_ quits (~aforemny@i577B1335.versanet.de) (Ping timeout: 246 seconds) |
| 04:30:53 | → | aforemny joins (~aforemny@i59F4C54D.versanet.de) |
| 04:31:44 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 04:35:38 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 04:47:40 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 04:52:56 | → | xacktm joins (xacktm@user/xacktm) |
| 04:54:45 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 05:03:41 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 05:04:03 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:05:03 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 05:06:47 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 05:08:19 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 05:12:21 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:17:21 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 05:39:44 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 05:42:56 | → | pabs3 joins (~pabs3@user/pabs3) |
| 05:47:09 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 05:48:18 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 05:49:17 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:53:23 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:58:44 | × | todi1 quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 05:58:44 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:58:59 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 06:03:28 | → | euphores joins (~SASL_euph@user/euphores) |
| 06:03:40 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 06:12:27 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:13:12 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 06:13:43 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:14:15 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 06:23:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 06:24:09 | → | califax joins (~califax@user/califx) |
| 06:26:13 | × | madcabbage quits (~cabbage@207.148.176.79) (Ping timeout: 245 seconds) |
| 06:36:03 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 06:36:25 | → | califax joins (~califax@user/califx) |
| 06:36:25 | × | synchromesh quits (~john@2406:5a00:24cf:bb00:bc6d:a873:1cc2:c331) (Read error: Connection reset by peer) |
| 06:36:45 | → | bilegeek joins (~bilegeek@2600:1008:b082:130d:73e0:dbf5:d1af:ba7e) |
| 06:37:22 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 06:37:48 | → | synchromesh joins (~john@2406:5a00:24cf:bb00:bc6d:a873:1cc2:c331) |
| 06:38:17 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 06:44:08 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:48:11 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:48:16 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 06:48:20 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 06:52:30 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:00:27 | × | JamesMowery quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 07:00:46 | → | JamesMowery joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 07:05:20 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:10:15 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:11:16 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 07:11:37 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:20:31 | → | fmira joins (~user@user/fmira) |
| 07:28:26 | → | puke joins (~puke@user/puke) |
| 07:29:52 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:31:11 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Remote host closed the connection) |
| 07:33:36 | → | cheater joins (~Username@user/cheater) |
| 07:34:28 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 07:44:34 | → | killy joins (~killy@terminal-3-187.retsat1.com.pl) |
| 07:46:26 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 07:47:30 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 07:50:05 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:50:53 | → | puke joins (~puke@user/puke) |
| 08:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:01:43 | → | caconym joins (~caconym@user/caconym) |
| 08:04:13 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 08:06:02 | → | bilegeek_ joins (~bilegeek@2600:1008:b005:a5c1:938f:3f78:9105:bc03) |
| 08:08:27 | → | alp joins (~alp@2001:861:8ca0:4940:ac95:84b7:4c46:37eb) |
| 08:08:44 | × | bilegeek quits (~bilegeek@2600:1008:b082:130d:73e0:dbf5:d1af:ba7e) (Ping timeout: 260 seconds) |
| 08:15:16 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:16:03 | → | bilegeek__ joins (~bilegeek@2600:1008:b091:1244:cb4d:bb7e:a88:2b9f) |
| 08:18:39 | × | bilegeek_ quits (~bilegeek@2600:1008:b005:a5c1:938f:3f78:9105:bc03) (Ping timeout: 260 seconds) |
| 08:19:02 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:19:35 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 08:20:22 | → | img joins (~img@user/img) |
| 08:20:32 | → | bilegeek_ joins (~bilegeek@51.sub-174-208-229.myvzw.com) |
| 08:21:06 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 08:22:46 | → | bilegeek joins (~bilegeek@2600:1008:b01c:e54:1adb:15db:d010:32d5) |
| 08:23:38 | × | bilegeek__ quits (~bilegeek@2600:1008:b091:1244:cb4d:bb7e:a88:2b9f) (Ping timeout: 272 seconds) |
| 08:25:06 | × | bilegeek_ quits (~bilegeek@51.sub-174-208-229.myvzw.com) (Ping timeout: 252 seconds) |
| 08:28:35 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
| 08:33:18 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:36:27 | × | alp quits (~alp@2001:861:8ca0:4940:ac95:84b7:4c46:37eb) (Ping timeout: 252 seconds) |
| 08:37:21 | → | misterfish joins (~misterfis@84.53.85.146) |
| 08:39:54 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 08:39:55 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 08:49:25 | × | Square quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 09:01:59 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 09:02:00 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:03:09 | <[exa]> | morning all! saturday package scan: is there anything like Aeson that would somewhat transparently work with JSON-LD "annotations"? I assume it could be done quite reasonably with custom aeson instances, but ideally I'd like autogenerated instances that have the proper annotations already. |
| 09:06:10 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 09:13:06 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 09:14:16 | × | bilegeek quits (~bilegeek@2600:1008:b01c:e54:1adb:15db:d010:32d5) (Quit: Leaving) |
| 09:23:58 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 09:25:46 | × | dtman34 quits (~dtman34@2601:447:d000:1f5e:f0c1:a096:f8a:d3d5) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 09:26:07 | → | dtman34 joins (~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) |
| 09:27:15 | → | euphores joins (~SASL_euph@user/euphores) |
| 09:28:30 | → | gmg joins (~user@user/gehmehgeh) |
| 09:31:42 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 09:39:01 | → | sprotte24 joins (~sprotte24@p200300d16f4b980025b1dfc12a42f674.dip0.t-ipconnect.de) |
| 09:47:44 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:49:54 | → | euouae joins (~euouae@user/euouae) |
| 09:50:06 | <euouae> | Hello if I want to include numbers in my source files is it possible without breaking the emacs IDE or lsp etc? |
| 09:51:05 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:51:45 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 09:52:06 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 09:54:02 | <tomsmeding> | ... what |
| 09:54:19 | <tomsmeding> | > 2 |
| 09:54:20 | <lambdabot> | 2 |
| 09:54:23 | <tomsmeding> | those kinds of numbers? |
| 09:54:57 | × | manwithluck quits (~manwithlu@185-183-33-218.hosted-by-worldstream.net) (Ping timeout: 248 seconds) |
| 09:56:08 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 09:59:43 | → | misterfish joins (~misterfis@84.53.85.146) |
| 10:01:38 | → | manwithluck joins (~manwithlu@2a00:7c80:0:3a6::12) |
| 10:05:05 | × | sp1ff quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 10:13:24 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f23d472fd3bae079d4a.dip0.t-ipconnect.de) |
| 10:15:05 | × | Sgeo__ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:18:03 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 10:19:11 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 10:22:13 | → | gmg joins (~user@user/gehmehgeh) |
| 10:24:04 | <[exa]> | tomsmeding: might be that LSP nowadays breaks even on this |
| 10:28:37 | <tomsmeding> | [exa]: I can tell you that I am successfully using numbers in my haskell code |
| 10:28:56 | <tomsmeding> | the neither my editor, nor the LSP, nor HLS breaks on numbers |
| 10:33:08 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:35:08 | <Leary> | I fear they're trying to write HASIC. |
| 10:35:40 | × | CryptLab quits (NSA@gateway/vpn/protonvpn/commanderbond007) (Ping timeout: 244 seconds) |
| 10:35:42 | <tomsmeding> | it would be hilarious if someone actually made an implementation of HASIC |
| 10:35:44 | <sprout> | line numbers I assume |
| 10:36:13 | <tomsmeding> | euouae: the tension is killing, enlighten us |
| 10:37:37 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 10:38:05 | <mauke> | 10 main :: IO () |
| 10:38:09 | <mauke> | 20 main = do |
| 10:38:17 | <mauke> | 30 putStrLn "hello" |
| 10:38:22 | <mauke> | 40 goto 20 |
| 10:38:38 | <tomsmeding> | what would that even _mean_ |
| 10:39:03 | <mauke> | just be glad that I didn't jump into the type signature! |
| 10:39:35 | <tomsmeding> | somewhat, but I'm still uncomfortable |
| 10:40:31 | <mauke> | oh, I just thought of another way to "include numbers in my source files" |
| 10:40:37 | <mauke> | #include "/dev/fd/0" |
| 10:41:23 | <tomsmeding> | that's about as reasonable an interpretation as claiming that they're used to macOS and actually meant a spreadsheet |
| 10:43:22 | <tomsmeding> | mauke: on second thoughts I'm starting to like your last suggestion |
| 10:43:42 | <tomsmeding> | it's as close as you're going to get to "including" a "number", really |
| 10:46:37 | <euouae> | tomsmeding: oh sorry, I mean file *names* |
| 10:46:57 | <tomsmeding> | we were getting so close! |
| 10:47:03 | <euouae> | I'm doing some leetcode challenges but 123.hs is bad I think |
| 10:47:21 | <tomsmeding> | works perfectly fine for me |
| 10:47:26 | <euouae> | anyway right now I just have all the solutions in one file separated by -- * |
| 10:47:27 | <tomsmeding> | it's not a valid file name in a cabal project |
| 10:47:36 | <euouae> | oh yeah, I use cabal |
| 10:47:39 | <tomsmeding> | but as a single file, HLS is okay with it for me |
| 10:47:53 | <tomsmeding> | in a cabal project, a module file must always have the module name as its file name |
| 10:47:58 | <tomsmeding> | and module names must start with a capital letter |
| 10:48:19 | <euouae> | Perhaps I can do something like E123.hs for exercise 123? |
| 10:48:22 | <tomsmeding> | yes |
| 10:48:35 | <euouae> | Okay, thank you. I'm actually thinking I'll just keep it all in one flat file |
| 10:49:14 | <tomsmeding> | euouae: imagine what would happen if you would try to use such a module qualified |
| 10:49:20 | <tomsmeding> | > Data.Maybe.isJust (Just 42) |
| 10:49:22 | <lambdabot> | True |
| 10:49:37 | <tomsmeding> | would that be `Exercises.12 input`? how would the parser even know what you mean tthere |
| 10:50:28 | <euouae> | I get ti |
| 10:50:40 | <euouae> | Another stupid question, in my test/ I have Main.hs and Tests.hs |
| 10:50:55 | <euouae> | Tests.hs has the hedgehog generated/discovered tests, how can I import that in Main.hs? |
| 10:51:05 | <tomsmeding> | `import Tests`? |
| 10:51:10 | <euouae> | I get `These modules are needed for compilation but not listed in your .cabal file's other-modules for ‘leetcode-0.1.0.0-inplace-leetcode-test’ :` |
| 10:51:17 | <euouae> | naming Tests as the module |
| 10:51:27 | <euouae> | It's a warning-Wmissing-home-modules |
| 10:51:27 | <tomsmeding> | right, you need `other-modules: Tests` in the test-suite block in your cabal file |
| 10:51:55 | → | __monty__ joins (~toonn@user/toonn) |
| 10:51:55 | <tomsmeding> | you always need to list all modules that you're defining in the cabal file, either in other-modules or in exposed-modules (the latter relevant only for libraries) |
| 10:52:26 | <euouae> | nice, thakn you |
| 10:54:14 | <Leary> | tomsmeding: https://hackage.haskell.org/package/BASIC-0.1.5.0/docs/Language-BASIC.html |
| 10:59:29 | × | killy quits (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 248 seconds) |
| 11:06:26 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 11:12:22 | → | talisman` joins (~user@2601:644:937c:ed10::ae5) |
| 11:13:03 | <euouae> | Does anyone know how I can turn off all the hlint recommendations |
| 11:13:08 | <euouae> | holy cow they're annoying on emacs |
| 11:13:56 | <euouae> | You're moving the cursor point on a symbol to see its type and boom Clippy pops up "It looks like you're not optimizing your endofunctors here" |
| 11:14:21 | <euouae> | I've tried to turn them off selectively I'm thinking that I just don't want them at all |
| 11:14:33 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Ping timeout: 245 seconds) |
| 11:17:37 | <tomsmeding> | euouae: figure out where you put language server configuration in your emacs LSP client |
| 11:17:56 | <tomsmeding> | the setting you need to set is haskell.plugin.hlint.globalOn = false |
| 11:18:32 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:23:05 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 11:24:45 | <tomsmeding> | Leary: I've actually seen that before, it's genius |
| 11:27:37 | <euouae> | thank you!! |
| 11:27:38 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 11:28:02 | <tomsmeding> | (I have that set, as well as haskell.plugin.stan.globalOn = false) |
| 11:28:09 | <euouae> | what's that? |
| 11:28:15 | <tomsmeding> | more annoying messages :3 |
| 11:28:17 | <euouae> | I think stan is the otehr one. I've noticed I get lint-like things from 2 difefrent sources |
| 11:29:02 | <tomsmeding> | I'm not saying stan or hlint are bad, I personally just don't need or want them in my editor (and I think HLS is a bit over-eager in making them opt-out instead of opt-in) |
| 11:29:10 | <euouae> | They should be opt-in |
| 11:29:27 | <euouae> | but anyway, the slice of haskell + emacs programmers is so small that maybe it doesn't matter |
| 11:29:39 | <euouae> | they're just not interacting well with emacs, that's all |
| 11:29:49 | <tomsmeding> | euouae: how does it look in emacs? |
| 11:30:01 | <euouae> | It's attention-grabbing and erratic |
| 11:30:20 | <euouae> | pop up messages that hide other stuff, etc |
| 11:30:26 | <tomsmeding> | I find them annoying in vim too but from what you're saying it's not quite as bad :) |
| 11:30:31 | <tomsmeding> | do warnings also pop up? |
| 11:30:36 | <tomsmeding> | I'd find that annoying too :p |
| 11:30:40 | <euouae> | no, those are in a separate window |
| 11:30:52 | <euouae> | I can check whatever I need when I check that window |
| 11:31:02 | <euouae> | but I don't want squiggly lines, annoying pop ups, etc |
| 11:31:06 | <tomsmeding> | oh wait 'info'-level messages are more in-your-face than warnings? |
| 11:31:15 | <euouae> | yeah lol |
| 11:31:19 | <tomsmeding> | that sounds like a mistake in the emacs lsp client :p |
| 11:31:32 | <tomsmeding> | because this is not just HLS, those levels are in the LSP protocol in general |
| 11:31:54 | <euouae> | Emasc UI is not designed for *all* intents and purposes. Certain things are anti patterns in emacs |
| 11:31:58 | <euouae> | in particular popup messages |
| 11:32:20 | <tomsmeding> | sounds like this is your chance to improve emacs :) |
| 11:32:22 | <euouae> | well I can't fix everything, so I'll just ignore this |
| 11:32:26 | <euouae> | yeah I knew you were going to say this |
| 11:32:28 | <tomsmeding> | :p |
| 11:32:34 | <euouae> | I've sent hundreds of useless stupid patches over time |
| 11:32:45 | <euouae> | and sometimes, I've even gotten into fights for those stupid patches... I'm kind of checked out |
| 11:32:58 | <tomsmeding> | I totally understand :p |
| 11:36:45 | <euouae> | sweet! I got it to work. thank you |
| 11:36:59 | <tomsmeding> | yay |
| 11:38:42 | <euouae> | tomsmeding: it doesn't help I have a generally different temperament from the average programmer. kind of a short fuse, and it's been getting shorter... It's only so many times I can keep it together when I send a doc patch that turns into a feature rewrite into getting lectured on x86 assembly cycle cost |
| 11:38:56 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 11:38:57 | <tomsmeding> | heh |
| 11:39:28 | → | rvalue joins (~rvalue@user/rvalue) |
| 11:39:55 | <tomsmeding> | the nice thing about open source is that you can contribute, but also that you can fork, and furthermore that nobody requires you to contribute :p |
| 11:41:03 | <euouae> | When I was a wee bit naive I thought it was a good idea to spend a few months studying the source of a somewhat complicated program (cryptography, etc) before sending a message to the dev, asking to join the project |
| 11:41:50 | <euouae> | I got a really deflationary message in response. I thought, I know, I'll rewrite it in Rust. A few more weeks, (or months was it?) I realized I made the wrong design choice by going with green threads because the rust USB library does not support them |
| 11:42:30 | <euouae> | and then libusb + async was this huge rabbit hole wish list item that I never went down to. gave up ;p |
| 11:42:38 | <tomsmeding> | yeah in the haskell playground readme I have a note saying to get in contact before you write lots of code, precisely for this reason |
| 11:42:58 | <euouae> | No, you're so right. But sometimes you make mistakes before you learn |
| 11:43:35 | <tomsmeding> | re forking: I build my own HLS because I have a particular patch that I want in there but I'm too lazy to properly contribute a configuration setting for it |
| 11:43:52 | <tomsmeding> | I asked for that setting (can't find the issue now) but it never materialised, so periodic room heating is what it is |
| 11:43:52 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:44:46 | <euouae> | lol |
| 11:45:46 | <tomsmeding> | here we go https://github.com/haskell/haskell-language-server/pull/2332#issuecomment-965094062 |
| 11:46:49 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:47:25 | <euouae> | looks like your questoin went unanswered heh |
| 11:47:40 | <tomsmeding> | I even specifically gave them licence to not answer |
| 11:47:56 | <tomsmeding> | I'm not blaming them :p |
| 11:59:33 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 12:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 12:01:04 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 12:02:07 | → | caconym joins (~caconym@user/caconym) |
| 12:02:30 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 12:04:12 | → | alp joins (~alp@2001:861:8ca0:4940:20f3:153b:3579:d302) |
| 12:04:16 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:07:50 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f23d472fd3bae079d4a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 12:09:06 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 12:20:04 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 12:50:20 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:50:28 | → | killy joins (~killy@terminal-3-187.retsat1.com.pl) |
| 12:55:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 12:55:41 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 12:55:43 | → | user_ joins (~user@user/fmira) |
| 13:05:39 | → | misterfish joins (~misterfis@84.53.85.146) |
| 13:13:31 | → | srazkvt joins (~sarah@user/srazkvt) |
| 13:16:48 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.3) |
| 13:17:01 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 13:18:32 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 13:21:45 | × | sprotte24 quits (~sprotte24@p200300d16f4b980025b1dfc12a42f674.dip0.t-ipconnect.de) (Quit: Leaving) |
| 13:24:08 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:25:08 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 244 seconds) |
| 13:25:24 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 13:26:59 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:31:25 | → | gentauro joins (~gentauro@user/gentauro) |
| 13:36:24 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:40:47 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 13:50:51 | × | killy quits (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving) |
| 13:53:15 | → | sprotte24 joins (~sprotte24@p200300d16f4b980025b1dfc12a42f674.dip0.t-ipconnect.de) |
| 13:57:23 | <Axman6> | Anyone know why when I have an executable in my cabal file, when I use "ghc-options: -O2 -threaded -rtsopts -with-rtsopts=-N" I get "unexpected RTS argument: "-N"" and the rts help printed out, including the help telling me I can use -N? |
| 13:58:04 | <Axman6> | It's particularly frustrating because I can see there's thousands of cabal files on github using exactly this pattern |
| 14:00:34 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 14:00:58 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:01:26 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 14:03:58 | <Axman6> | URGH, cabal build wasn't rebuilding my binary when the flags changed! FFS |
| 14:05:31 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 14:07:41 | <mauke> | ca-ching |
| 14:11:15 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:19:03 | → | weary-traveler joins (~user@user/user363627) |
| 14:19:26 | GdeVolpiano | is now known as Guest2641 |
| 14:19:26 | GdeVolpi1 | is now known as GdeVolpiano |
| 14:22:08 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:26:37 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 14:29:04 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 14:29:18 | <int-e> | Axman6: Let me go out on a limb and ask... what non-ELF platform is this? |
| 14:34:34 | <int-e> | (cabal-install relies on GHC for recompilation checks. I learned recently that GHC stores compile flags in a special section in ELF executables to make that work, but not on other platforms) |
| 14:36:31 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 14:44:13 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 14:46:05 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 14:47:20 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 14:48:25 | ← | tanky parts (~tanky@user/tanky) (WeeChat 3.8) |
| 14:50:50 | × | euouae quits (~euouae@user/euouae) () |
| 14:57:21 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 15:02:39 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 15:07:55 | <Axman6> | it is indeed macOS |
| 15:08:13 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:12:28 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 15:13:58 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 15:14:16 | → | EvanR joins (~EvanR@user/evanr) |
| 15:18:19 | → | notdabs joins (~Owner@2600:6c40:4300:950:d78:9719:f6a5:bdd) |
| 15:35:30 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 15:45:50 | → | hattckory joins (~hattckory@184.145.138.167) |
| 15:50:44 | × | hattckory quits (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
| 15:53:10 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 15:54:17 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:58:35 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 16:14:31 | dunj3_ | is now known as dunj3 |
| 16:26:35 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 16:37:42 | → | killy joins (~killy@terminal-3-187.retsat1.com.pl) |
| 16:40:41 | → | alfiee joins (~alfiee@user/alfiee) |
| 16:44:58 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 16:45:11 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f23fd140dc145444417.dip0.t-ipconnect.de) |
| 16:47:22 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143) |
| 16:48:15 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 16:49:47 | → | messewix joins (~jmc@user/messewix) |
| 16:57:48 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 16:59:11 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 17:00:04 | → | catface joins (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) |
| 17:00:09 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 17:01:50 | catface | is now known as wonderman |
| 17:03:40 | × | wonderman quits (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) (Changing host) |
| 17:03:40 | → | wonderman joins (~brett@user/wonderman) |
| 17:05:26 | → | weary-traveler joins (~user@user/user363627) |
| 17:06:49 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 17:09:46 | wonderman | is now known as superbatman |
| 17:10:08 | → | j1n37- joins (~j1n37@user/j1n37) |
| 17:10:09 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 17:16:39 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 17:17:04 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 17:17:08 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 17:26:24 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:29:29 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143) (Ping timeout: 260 seconds) |
| 17:30:49 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143) |
| 17:31:28 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 17:31:42 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:33:34 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f23fd140dc145444417.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 17:34:02 | → | Buliarou1 joins (~gypsydang@46.232.210.139) |
| 17:35:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 17:47:18 | × | Guest2641 quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.3) |
| 18:05:05 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 18:10:11 | × | tv quits (~tv@user/tv) (Remote host closed the connection) |
| 18:12:28 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:14:42 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 18:17:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 18:17:31 | → | Guest1 joins (~Guest90@231.11.11.93.rev.sfr.net) |
| 18:19:26 | → | jespada joins (~jespada@2800:a4:2276:e000:c80c:9883:d280:9e9e) |
| 18:22:45 | × | talisman` quits (~user@2601:644:937c:ed10::ae5) (Ping timeout: 252 seconds) |
| 18:22:56 | → | ensyde joins (~ensyde@2601:5c6:c200:6dc0::e3ba) |
| 18:26:16 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 18:31:42 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 18:32:45 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 18:32:55 | → | Guest98 joins (~Guest98@90.160.179.9) |
| 18:33:06 | → | cheater_ joins (~Username@user/cheater) |
| 18:34:03 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 18:34:11 | cheater_ | is now known as cheater |
| 18:34:35 | × | Guest98 quits (~Guest98@90.160.179.9) (Client Quit) |
| 18:44:57 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 18:45:21 | → | tv joins (~tv@user/tv) |
| 18:47:06 | → | pavonia joins (~user@user/siracusa) |
| 18:47:17 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 18:55:28 | × | jespada quits (~jespada@2800:a4:2276:e000:c80c:9883:d280:9e9e) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:57:53 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:02:15 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 19:02:40 | → | Guest85 joins (~Guest85@91.229.132.224) |
| 19:05:42 | → | Square joins (~Square@user/square) |
| 19:06:14 | → | madcabbage joins (~cabbage@108.61.194.151) |
| 19:06:59 | × | messewix quits (~jmc@user/messewix) (Remote host closed the connection) |
| 19:09:40 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 19:11:27 | × | Guest85 quits (~Guest85@91.229.132.224) (Quit: Client closed) |
| 19:11:52 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 19:16:23 | <Guest1> | Good evening everyone (GMT+1) here |
| 19:16:41 | <Guest1> | I have a strange issue with cabal/ghc |
| 19:17:04 | <Guest1> | Currently working under macOS, no idea if it’s related |
| 19:17:14 | → | gawen joins (~gawen@user/gawen) |
| 19:21:01 | <Guest1> | I created an empty project (cabal init), filled two dependencies (duckdb-haskell, yaml), and « cabal build »… then cabal seems stuck with the message « Building duckdb-haskell-0.1.0.0 (lib) ». No network usage, no CPU… nothing. |
| 19:22:44 | <[exa]> | Guest1: wow, can you try something like `dtrace` if available to check where it is stuck? |
| 19:22:58 | <[exa]> | maybe it's `truss`, on linux it's normally `strace` |
| 19:23:26 | <haskellbridge> | <sm> Guest1, check if it's using up your memory, with top |
| 19:23:58 | <haskellbridge> | <sm> * memory and swapping, |
| 19:24:23 | <haskellbridge> | <sm> you could also make it more verbose with -v |
| 19:25:18 | <Guest1> | using top and the monitor (graphical top for macosx) only shows the cabal process, but no cpu, no memory hogs |
| 19:25:35 | <haskellbridge> | <sm> (as a mac user, I can say that trace/truss won't be easy) |
| 19:25:52 | <Guest1> | With -v, it stops on the message. Running: /Users/slac/.ghcup/bin/cabal-3.12.1.0 act-as-setup '--build-type=Simple' -- build '--verbose=2' '--builddir=dist' |
| 19:26:01 | <haskellbridge> | <sm> maybe it's hung on networking then ? |
| 19:26:26 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f23fd140dc145444417.dip0.t-ipconnect.de) |
| 19:27:34 | <Guest1> | good idea : I do have a firewall which could block scripts and terminal commands. I usually do get alert messages when some program tries to access the Internet, but maybe it’s silently failing here. |
| 19:29:49 | <Guest1> | Hmm… not sure, not seeing anything on the FW. I do not know dtrace, how could it help me on this ? |
| 19:32:16 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 19:33:40 | <haskellbridge> | <sm> do you have little snitch running ? Nothing recently denied ? |
| 19:34:22 | <Guest1> | No. The issue seems to come from the duckdb package. cabal works fine if I remove that dependency. |
| 19:34:36 | <[exa]> | Guest1: ah it's `dtruss` on mac, sorry for confusion. Basically you can connect it to a process and see what systemcall it's hung on. See e.g. https://stackoverflow.com/questions/31045575/how-to-trace-system-calls-of-a-program-in-mac-os-x |
| 19:35:16 | <[exa]> | (wow the thread even shows `ktrace` as alternative, never seen that, cool.) |
| 19:35:26 | <haskellbridge> | <sm> That's a 10 year old answer unfortunately, it's much harder to do now |
| 19:35:42 | <haskellbridge> | <sm> Guest, I would run cabal with more verbose output |
| 19:36:23 | <haskellbridge> | <sm> oh, you did |
| 19:36:57 | k_hachig_ | is now known as k_hachig |
| 19:37:05 | <haskellbridge> | <sm> maybe duckdb does something funny in its Setup.hs |
| 19:37:32 | <haskellbridge> | <sm> it seems to be not a published package |
| 19:37:57 | <haskellbridge> | <sm> do you mean https://hackage.haskell.org/package/duckdb-haskell ? |
| 19:38:05 | <Guest1> | sorry, dtruss doesn’t work because of security protection |
| 19:38:13 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 19:38:14 | <Guest1> | sm: yes I do |
| 19:39:07 | <haskellbridge> | <sm> possibly related: https://github.com/sighingnow/duckdb-haskell/issues/1 |
| 19:40:03 | <Guest1> | yes indeed… |
| 19:40:11 | <geekosaur> | my butt says system protections are slowing it for some reason. (on windows almost certainly true; you need to disable antivirus scanning for some things to run at normal speed) |
| 19:40:58 | <geekosaur> | I think ghcup instal lon windows warns you of this, although it might not detect wsl2 install. but this is a mac so w/e |
| 19:41:06 | <haskellbridge> | <sm> I haven't heard of mac SIP causing slowness.. usually it just says no |
| 19:41:27 | <Guest1> | It’s the issue’s birthday, by the way ;) |
| 19:42:20 | <haskellbridge> | <sm> that's a lot of cpp files. But compiling those should be fast and shouldn't hang, right |
| 19:42:40 | <Guest1> | Maybe it’ll only take 10 minutes, I have an M3, which is supposed to be faster :) |
| 19:43:07 | <Guest1> | Thank you, everyone. Very much. |
| 19:43:22 | → | gawen joins (~gawen@user/gawen) |
| 19:43:57 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:45:13 | → | Digit joins (~user@user/digit) |
| 19:48:46 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:48:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 19:55:31 | → | michalz joins (~michalz@185.246.207.222) |
| 19:59:18 | × | xal quits (~xal@mx1.xal.systems) (Quit: bye) |
| 19:59:52 | → | xal joins (~xal@mx1.xal.systems) |
| 20:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:01:10 | → | caconym joins (~caconym@user/caconym) |
| 20:02:37 | × | user_ quits (~user@user/fmira) (Remote host closed the connection) |
| 20:02:55 | <haskellbridge> | <sm> sustained no cpu activity sounds suspect though. |
| 20:03:04 | → | user_ joins (~user@user/fmira) |
| 20:03:19 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143) (Ping timeout: 260 seconds) |
| 20:15:24 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1) |
| 20:16:09 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 20:16:43 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:16:46 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 20:19:41 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 20:29:21 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:30:34 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 20:33:39 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 20:35:41 | <Guest1> | yes, indeed. That’s why I was confused in the first place, as it was my first guess (cpu or network hog) |
| 20:38:23 | <haskellbridge> | <sm> if stuck, maybe download that package and compare building from the source tree |
| 20:38:27 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 20:38:46 | <haskellbridge> | <sm> and/or with stack |
| 20:40:10 | × | Guest1 quits (~Guest90@231.11.11.93.rev.sfr.net) (Ping timeout: 240 seconds) |
| 20:40:51 | <haskellbridge> | <sm> I tried building here.. what did you do to satisfy " #include <memory>" ? |
| 20:42:28 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 20:52:26 | → | Digitteknohippie joins (~user@user/digit) |
| 20:53:36 | × | Digit quits (~user@user/digit) (Ping timeout: 244 seconds) |
| 20:53:53 | <mauke> | <memory> is a standard C++ header |
| 21:04:18 | <haskellbridge> | <sm> not here.. |
| 21:05:00 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 21:05:46 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 21:05:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 21:07:19 | <haskellbridge> | <sm> or rather: I just wanted to know what my fellow mac user did to avoid this when building duckdb-haskell https://termbin.com/bkgs |
| 21:07:19 | × | synchromesh quits (~john@2406:5a00:24cf:bb00:bc6d:a873:1cc2:c331) (Read error: Connection reset by peer) |
| 21:08:24 | → | synchromesh joins (~john@2406:5a00:24cf:bb00:9992:10a:da26:56df) |
| 21:08:39 | <sm> | but they've moved on |
| 21:08:49 | <sm> | and I should too. :) |
| 21:10:52 | × | Pozyomka quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 21:10:52 | → | Pozyomka_ joins (~pyon@user/pyon) |
| 21:11:23 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 21:12:03 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 21:12:28 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143) |
| 21:12:55 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 21:13:32 | → | poscat joins (~poscat@user/poscat) |
| 21:15:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:19:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 21:23:01 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 21:25:39 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 21:41:32 | <kaol> | GHC is too easy to use. I propose that every extension has to have a word in their name with a different spelling in British and US English and that we randomize which one to use for each. |
| 21:42:48 | → | tromp joins (~textual@2a02:a210:cba:8500:dc22:4f8f:98d9:547) |
| 21:43:19 | <c_wraith> | that's still just memorization. better randomize the correct choice for each compilation |
| 21:43:27 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 21:46:01 | <mauke> | include some fake british spellings, too |
| 21:46:05 | <mauke> | like motour or diametre |
| 21:48:59 | ← | JuanDaugherty parts (~juan@user/JuanDaugherty) (Exeunt DS Producers) |
| 21:57:51 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 21:58:25 | × | michalz quits (~michalz@185.246.207.222) (Remote host closed the connection) |
| 22:01:18 | <monochrom> | I propose that GHC requires you to login to a github account, a google account, a microsoft account, an apple acount, and an amazon acount; and then it sends a verification code by whatsapp. |
| 22:01:29 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:02:04 | <monochrom> | 6FA (TM) |
| 22:02:23 | <enikar> | lol |
| 22:05:42 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 22:06:03 | <kaol> | And delete source files on type errors. No wait, that was a real feature. |
| 22:09:16 | <monochrom> | Then also delete source files on runtime errors. |
| 22:09:48 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 22:09:52 | <monochrom> | <-- was discussing static typing vs dynamic typing yesterday for a class |
| 22:10:16 | → | chamlis joins (~chamlis@user/chamlis) |
| 22:10:42 | <monochrom> | And why not: delete GHC itself on GHC panics. |
| 22:14:21 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:26:58 | × | sudden quits (~cat@user/sudden) (Ping timeout: 252 seconds) |
| 22:28:58 | → | sudden joins (~cat@user/sudden) |
| 22:30:19 | <haskellbridge> | <sm> I propose that extensions should be automatically enabled as needed, like cabal build flags |
| 22:31:34 | → | sdegsedfhbseth joins (~Guest4@2a02:3100:7f77:c000:3d6d:3f21:674f:dfef) |
| 22:31:45 | × | sdegsedfhbseth quits (~Guest4@2a02:3100:7f77:c000:3d6d:3f21:674f:dfef) (Quit: Client closed) |
| 22:31:59 | <haskellbridge> | <sm> using AI to work around ghc, libs, hls, platform issues |
| 22:38:47 | <int-e> | how does that work, do you ask the AI to assure you that there are no issues? |
| 22:41:40 | <haskellbridge> | <sm> Uh, ghc and all the tools call AI for help and try something different instead of just printing an error like caveman tech |
| 22:43:49 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 22:44:24 | × | superbatman quits (~brett@user/wonderman) (Quit: Leaving) |
| 22:44:37 | → | superbatman joins (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) |
| 22:44:55 | <haskellbridge> | <sm> I'm only half joking. I'd pay for a vs code addon that augments haskell tool error messages with more useful advice and up to date links |
| 22:45:28 | <haskellbridge> | <sm> we're all doing a ton of machine work |
| 22:47:13 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:50:10 | × | notdabs quits (~Owner@2600:6c40:4300:950:d78:9719:f6a5:bdd) (Remote host closed the connection) |
| 22:50:33 | → | notdabs joins (~Owner@2600:6c40:4300:950:d78:9719:f6a5:bdd) |
| 22:51:29 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 22:57:53 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 23:08:07 | → | wonderman joins (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) |
| 23:08:20 | × | wonderman quits (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) (Changing host) |
| 23:08:20 | → | wonderman joins (~brett@user/wonderman) |
| 23:10:18 | × | killy quits (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 272 seconds) |
| 23:17:05 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 23:22:42 | wonderman | is now known as superbatman_ |
| 23:24:20 | superbatman_ | is now known as TheHoodedClaw |
| 23:24:32 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 23:32:08 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 23:32:13 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 23:32:58 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:37:22 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 23:38:06 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143) (Ping timeout: 268 seconds) |
| 23:49:10 | → | vicfred joins (~vicfred@user/vicfred) |
| 23:50:43 | → | yegorc joins (~yegorc@user/yegorc) |
| 23:50:45 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 248 seconds) |
| 23:59:04 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
All times are in UTC on 2025-03-01.