Logs: liberachat/#haskell
| 2026-01-11 10:08:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 10:15:27 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-11 10:19:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 10:20:42 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-01-11 10:22:37 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-01-11 10:24:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-11 10:25:13 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-01-11 10:28:11 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-11 10:33:52 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2026-01-11 10:35:07 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 2026-01-11 10:35:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 10:39:57 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-11 10:40:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-11 10:46:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 10:47:49 | <hadronized> | I’m designing a new language, and I’m wondering about the benefit of refinement types over a type system which would encode the refinement in the types. Is it correct to state that we could emulate refinement types with static types, without probably refinement rules (like transitive rules that are probably hard to express on static types) |
| 2026-01-11 10:51:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-11 10:53:59 | <chromoblob> | > let x@(Left y) = Right y in x |
| 2026-01-11 10:54:00 | <lambdabot> | *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y) |
| 2026-01-11 10:54:23 | <chromoblob> | > let x@(Left y) = Right 5 in x |
| 2026-01-11 10:54:23 | × | synchromesh quits (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer) |
| 2026-01-11 10:54:24 | <lambdabot> | *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y) |
| 2026-01-11 10:54:44 | → | synchromesh joins (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) |
| 2026-01-11 10:55:57 | <chromoblob> | > let x@(Right 3) = Right 5 in x |
| 2026-01-11 10:55:58 | <lambdabot> | *Exception: <interactive>:3:5-25: Non-exhaustive patterns in x@(Right 3) |
| 2026-01-11 11:00:05 | <__monty__> | hadronized: You might be interested in the #proglangdesign channel. |
| 2026-01-11 11:02:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 11:05:12 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-01-11 11:06:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-11 11:07:13 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-01-11 11:09:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 11:12:24 | <hadronized> | __monty__: thanks, I’ll pay them a visit |
| 2026-01-11 11:13:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-11 11:24:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 11:29:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 11:33:48 | → | yarl joins (~yarl@user/yarl) |
| 2026-01-11 11:34:19 | <yarl> | Hello haskell. |
| 2026-01-11 11:35:16 | <yarl> | I am having trouble running the testsuite on ghc 9.2.8 |
| 2026-01-11 11:35:23 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-11 11:37:03 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-01-11 11:40:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 11:44:35 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2026-01-11 11:45:23 | <yarl> | see paste.debian.net/hidden/a090992c |
| 2026-01-11 11:45:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 11:47:14 | → | qqq joins (~qqq@185.54.21.105) |
| 2026-01-11 11:47:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 11:47:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-01-11 11:48:02 | <yarl> | If I remote -fexternal-interpreter it seems to work. |
| 2026-01-11 11:48:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-11 11:49:37 | <yarl> | Or if I pass -dynamic |
| 2026-01-11 11:50:11 | × | bggd__ quits (~bgg@2a01:e0a:fd5:f510:39ae:25a6:9051:cd77) (Remote host closed the connection) |
| 2026-01-11 11:52:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-11 11:53:10 | <yarl> | __aarch64_ldset2_sync is in libgcc as confirmed using nm | grep : /gnu/store/gmrh4aspg7m45wnz62n6pw3b3zbjkw9f-gcc-13.3.0-lib/lib/gcc/aarch64-unknown-linux-gnu/13.3.0/libgcc.a |
| 2026-01-11 11:54:27 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-01-11 11:54:56 | <yarl> | Why does ghc-iserv.bin is not linking it? |
| 2026-01-11 11:55:34 | <yarl> | (I don't know much about ghc, just trying to package it for aarch64 into guix) |
| 2026-01-11 11:56:44 | <Leary> | yarl: Better to ask #ghc. |
| 2026-01-11 11:57:20 | <yarl> | Leary: oh thank you. did not know this exists. |
| 2026-01-11 12:03:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 12:05:29 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2026-01-11 12:07:04 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-01-11 12:08:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-11 12:19:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 12:23:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-11 12:34:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 12:36:08 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 2026-01-11 12:37:19 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-11 12:38:34 | Digitteknohippie | is now known as Digit |
| 2026-01-11 12:40:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 12:41:08 | × | gmg quits (~user@user/gehmehgeh) (Client Quit) |
| 2026-01-11 12:43:54 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-11 12:44:13 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-11 12:45:07 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-11 12:48:38 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2026-01-11 12:48:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 12:51:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-01-11 12:54:22 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2026-01-11 12:55:19 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-11 12:55:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-11 12:57:53 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-11 12:58:06 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2026-01-11 13:04:00 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-11 13:06:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 13:10:14 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2026-01-11 13:11:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-11 13:15:33 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-11 13:22:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 13:22:58 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-11 13:24:51 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-01-11 13:24:57 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-11 13:26:28 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-11 13:27:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-11 13:30:39 | → | housemate joins (~housemate@203.56.146.214) |
| 2026-01-11 13:34:13 | × | itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 264 seconds) |
| 2026-01-11 13:34:23 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-11 13:34:36 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2026-01-11 13:38:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-11 13:38:40 | → | weary-traveler joins (~user@user/user363627) |
| 2026-01-11 13:41:03 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-11 13:43:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 13:48:27 | → | itaipu joins (~itaipu@168.121.99.54) |
All times are in UTC.