Newest at the top
| 2026-04-09 11:29:16 +0000 | <Milan_Vanca> | is 3.14 bound to name pi? |
| 2026-04-09 11:29:09 +0000 | <Freakie> | the expression 2 * 4 is bound to the name x |
| 2026-04-09 11:29:07 +0000 | <Milan_Vanca> | what about pi = 3.14 |
| 2026-04-09 11:28:50 +0000 | <Freakie> | let x = 2 * 4 |
| 2026-04-09 11:28:43 +0000 | <Milan_Vanca> | Not sure if I understand what "bound to name" means. |
| 2026-04-09 11:26:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:af0a:3044:7ec:45a0) |
| 2026-04-09 11:25:53 +0000 | <mauke> | my rule of thumb is that if it's bound to a name and has no class constraints in the type, it's reused |
| 2026-04-09 11:24:57 +0000 | <mauke> | depends on what you mean by "something", I guess |
| 2026-04-09 11:23:48 +0000 | <Milan_Vanca> | Hello guyz, is there a rule that says when will something be reused or computed anew? |
| 2026-04-09 11:19:44 +0000 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-04-09 11:09:03 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-09 11:08:39 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-09 10:50:47 +0000 | qqq | (~qqq@185.54.23.237) |
| 2026-04-09 10:49:16 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-04-09 10:46:46 +0000 | Enrico63 | (~Enrico63@host-212-171-80-94.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-09 10:44:52 +0000 | danz98710 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-09 10:42:11 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-09 10:38:30 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-04-09 10:36:20 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-04-09 10:30:52 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-09 10:30:28 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-04-09 10:20:32 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-09 10:13:50 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-04-09 10:12:50 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-09 10:10:13 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5547dbd3ba66fa0822f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-04-09 10:09:41 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-04-09 10:09:41 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:eca7:61cc:3f32:5425) (Changing host) |
| 2026-04-09 10:09:41 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:eca7:61cc:3f32:5425) bggd |
| 2026-04-09 10:09:05 +0000 | <tomsmeding> | and if you want to also compile with GHC <9.8, also -Wno-recognised-warnings-flags |
| 2026-04-09 10:08:25 +0000 | <tomsmeding> | kaol: -Wno-x-partial |
| 2026-04-09 10:06:44 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e536bdd7e91e7ee797c5.dip0.t-ipconnect.de) acidjnk |
| 2026-04-09 10:01:15 +0000 | <kaol> | No wait, my module just didn't compile. I must have been hitting :r already. |
| 2026-04-09 10:00:25 +0000 | <kaol> | Found it: {-# OPTIONS_GHC -Wno-warnings-deprecations #-} |
| 2026-04-09 09:58:40 +0000 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-04-09 09:58:36 +0000 | Vajb | (~Vajb@n854ip96os9fc74v6iq-1.v6.elisa-mobile.fi) |
| 2026-04-09 09:58:06 +0000 | <kaol> | Where's the mute button for GHC's head warning about partial functions? I don't care about them in my test suite. |
| 2026-04-09 09:54:23 +0000 | Vajb | (~Vajb@n7m5g0hrctljxjtgjiv-1.v6.elisa-mobile.fi) (Ping timeout: 272 seconds) |
| 2026-04-09 09:54:11 +0000 | carbolymer | (carbolymer@delirium.systems) carbolymer |
| 2026-04-09 09:53:34 +0000 | carbolymer | (carbolymer@delirium.systems) () |
| 2026-04-09 09:43:22 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-09 09:42:36 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-09 09:38:19 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-04-09 09:35:46 +0000 | uli-fem | (~uli-fem@115.128.112.118) (Ping timeout: 248 seconds) |
| 2026-04-09 09:34:39 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-04-09 09:28:51 +0000 | carbolymer | (carbolymer@delirium.systems) carbolymer |
| 2026-04-09 09:28:37 +0000 | carbolymer | (carbolymer@delirium.systems) () |
| 2026-04-09 09:24:44 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-09 09:24:17 +0000 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 252 seconds) |
| 2026-04-09 09:24:08 +0000 | qqq | (~qqq@185.54.23.237) (Quit: Lost terminal) |
| 2026-04-09 09:22:59 +0000 | Freakie | (~Freakie@185.45.22.133) |