Newest at the top
| 2026-01-11 13:19:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 13:08:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-11 13:07:04 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-01-11 13:05:29 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2026-01-11 13:03:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 12:57:20 +0100 | <yarl> | Leary: oh thank you. did not know this exists. |
| 2026-01-11 12:56:44 +0100 | <Leary> | yarl: Better to ask #ghc. |
| 2026-01-11 12:55:34 +0100 | <yarl> | (I don't know much about ghc, just trying to package it for aarch64 into guix) |
| 2026-01-11 12:54:56 +0100 | <yarl> | Why does ghc-iserv.bin is not linking it? |
| 2026-01-11 12:54:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-01-11 12:53:10 +0100 | <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 12:52:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-11 12:50:11 +0100 | bggd__ | (~bgg@2a01:e0a:fd5:f510:39ae:25a6:9051:cd77) (Remote host closed the connection) |
| 2026-01-11 12:49:37 +0100 | <yarl> | Or if I pass -dynamic |
| 2026-01-11 12:48:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-11 12:48:02 +0100 | <yarl> | If I remote -fexternal-interpreter it seems to work. |
| 2026-01-11 12:47:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-01-11 12:47:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 12:47:14 +0100 | qqq | (~qqq@185.54.21.105) |
| 2026-01-11 12:45:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 12:45:23 +0100 | <yarl> | see paste.debian.net/hidden/a090992c |
| 2026-01-11 12:44:35 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-11 12:40:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 12:37:03 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-01-11 12:35:23 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-11 12:35:16 +0100 | <yarl> | I am having trouble running the testsuite on ghc 9.2.8 |
| 2026-01-11 12:34:19 +0100 | <yarl> | Hello haskell. |
| 2026-01-11 12:33:48 +0100 | yarl | (~yarl@user/yarl) yarl |
| 2026-01-11 12:29:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 12:24:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 12:13:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-11 12:12:24 +0100 | <hadronized> | __monty__: thanks, I’ll pay them a visit |
| 2026-01-11 12:09:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 12:07:13 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-01-11 12:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-11 12:05:12 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-01-11 12:02:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 12:00:05 +0100 | <__monty__> | hadronized: You might be interested in the #proglangdesign channel. |
| 2026-01-11 11:55:58 +0100 | <lambdabot> | *Exception: <interactive>:3:5-25: Non-exhaustive patterns in x@(Right 3) |
| 2026-01-11 11:55:57 +0100 | <chromoblob> | > let x@(Right 3) = Right 5 in x |
| 2026-01-11 11:54:44 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) synchromesh |
| 2026-01-11 11:54:24 +0100 | <lambdabot> | *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y) |
| 2026-01-11 11:54:23 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer) |
| 2026-01-11 11:54:23 +0100 | <chromoblob> | > let x@(Left y) = Right 5 in x |
| 2026-01-11 11:54:00 +0100 | <lambdabot> | *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y) |
| 2026-01-11 11:53:59 +0100 | <chromoblob> | > let x@(Left y) = Right y in x |
| 2026-01-11 11:51:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-11 11:47:49 +0100 | <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 11:46:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 11:40:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |