Newest at the top
| 2025-01-22 10:51:23 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-22 10:49:36 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-22 10:48:03 +0100 | <homo> | [exa] I'm afraid without cooperation from ghc developers, ghc will never be buildable by alternative implementations, because ghc depends too much on its own extensions and internal quirks, and 7.x bugs show there is no guarantee that ghc can build itself, alternative option is to fork ghc to reduce those requirements |
| 2025-01-22 10:48:01 +0100 | <haskellbridge> | <sm> why microhs exists at all ? |
| 2025-01-22 10:44:49 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-01-22 10:42:14 +0100 | cy7 | (~yt@pool-99-238-69-14.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2025-01-22 10:40:36 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350e-d10b-25a2-ca7e-51a0-4409.rev.sfr.net) alexherbo2 |
| 2025-01-22 10:40:17 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350e-d10b-25a2-ca7e-51a0-4409.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-22 10:39:55 +0100 | <hellwolf> | I am missing the "why" clearly stated for the MicroHs. But it's exciting if we could bootstrap GHC from it. |
| 2025-01-22 10:18:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-22 10:14:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 10:06:02 +0100 | <kqr> | opqdonut, Wait, yeah, that does exactly what I need. I think when I tested it I accidentally gave it the wrong boolean and then never stopped to think it through again. Thanks! |
| 2025-01-22 10:02:05 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-22 09:57:46 +0100 | merijn | (~merijn@77.242.116.146) (Quit: leaving) |
| 2025-01-22 09:56:10 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-22 09:54:45 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-01-22 09:53:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350e-d10b-25a2-ca7e-51a0-4409.rev.sfr.net) alexherbo2 |
| 2025-01-22 09:49:09 +0100 | <opqdonut> | kqr: showFixed, "First arg is whether to chop off trailing zeros" |
| 2025-01-22 09:48:25 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9071ccd1d777a13b28.dip0.t-ipconnect.de) acidjnk |
| 2025-01-22 09:41:11 +0100 | <kqr> | I feel like I'm missing something obvious here. I have a Data.Fixed number, and I want to stringify it with just the precision needed. I.e. something like 200 becomes "200", 5 becomes "5", while 0.1 becomes "0.1", and 0.003 is "0.003". I could do this manually, of course, but there ought to be something to help me, right? |
| 2025-01-22 09:40:04 +0100 | <kqr> | Oops, premature return. Sorry! |
| 2025-01-22 09:39:59 +0100 | <kqr> | I feel like I' |
| 2025-01-22 09:39:06 +0100 | Square | (~Square@user/square) Square |
| 2025-01-22 09:35:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-22 09:29:59 +0100 | tnt2 | tnt1 |
| 2025-01-22 09:29:58 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-22 09:29:38 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-22 09:28:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-22 09:27:58 +0100 | kuribas | (~user@ptr-17d51emnohepwfpyix2.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-22 09:27:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-22 09:25:11 +0100 | euleritian | (~euleritia@ip2504f9f4.dynamic.kabel-deutschland.de) |
| 2025-01-22 09:24:35 +0100 | euleritian | (~euleritia@dynamic-176-006-129-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-22 09:24:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 09:22:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-22 09:22:25 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:5054:ff:fee3:b667) dtman34 |
| 2025-01-22 09:22:04 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:1cea:b288:f5aa:1b03) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-01-22 09:12:05 +0100 | acidjnk | (~acidjnk@p200300d6e7283f902c848c46912cda18.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-22 09:10:33 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-22 09:10:08 +0100 | tnt2 | tnt1 |
| 2025-01-22 09:10:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-22 09:08:45 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-22 09:02:32 +0100 | <[exa]> | wow, cool news from microhs. One could ask if microhs could bootstrap ghc then |
| 2025-01-22 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-22 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-22 08:55:52 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-22 08:54:25 +0100 | igemnace_ | igemnace |
| 2025-01-22 08:50:27 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-22 08:47:27 +0100 | ZLima12_ | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-01-22 08:47:18 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 276 seconds) |
| 2025-01-22 08:43:42 +0100 | bgamari | (~bgamari@64.223.233.64) |