Logs: liberachat/#haskell
| 2025-11-09 00:34:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 00:36:02 | <tccq> | microhs compiles to ANSI C. This exists and seems to work fine as far as I can tell. It's written in haskell mostly |
| 2025-11-09 00:36:13 | <tccq> | I want a ANSI C compiler written in haskell |
| 2025-11-09 00:36:43 | <tccq> | and by simple I mean not using every possible extension |
| 2025-11-09 00:36:54 | <tccq> | though many are supported by microhs so it's not a hard requirement |
| 2025-11-09 00:37:05 | <EvanR> | ok so microhaskell wasn't written in C, makes sense xD |
| 2025-11-09 00:37:21 | <tccq> | yup |
| 2025-11-09 00:38:18 | <EvanR> | https://github.com/dmytro-feshchenko/haskell-c-compiler |
| 2025-11-09 00:39:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-09 00:39:28 | <tccq> | that's the "educational resource" I referenced. You'll not that the repo contains literally nothing useful as far as I can tell |
| 2025-11-09 00:39:40 | <tccq> | at least in terms of compiling C |
| 2025-11-09 00:39:52 | <EvanR> | yes it contains nearly nothing nevermind |
| 2025-11-09 00:39:58 | <tccq> | I find that |
| 2025-11-09 00:40:01 | <tccq> | and some forks of it |
| 2025-11-09 00:40:03 | <tccq> | but nothing else |
| 2025-11-09 00:40:08 | <EvanR> | I'm sure there's one lying around somewhere |
| 2025-11-09 00:40:08 | <tccq> | perhaps it's on me then |
| 2025-11-09 00:40:22 | <tccq> | but yes I would be extremely surprised that there isn't anything |
| 2025-11-09 00:45:13 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 00:45:53 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-09 00:46:01 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:46:12 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 00:48:10 | ljdarj1 | is now known as ljdarj |
| 2025-11-09 00:50:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 00:50:34 | → | Googulator90 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:50:36 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit) |
| 2025-11-09 00:54:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 00:55:43 | → | pwine joins (~pwine@2600:8800:5000:f790:307d:a3e0:be5e:4c15) |
| 2025-11-09 00:57:04 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 00:57:16 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-09 00:58:49 | × | pwine quits (~pwine@2600:8800:5000:f790:307d:a3e0:be5e:4c15) (K-Lined) |
| 2025-11-09 01:00:23 | → | AlexZenon joins (~alzenon@5.139.232.215) |
| 2025-11-09 01:04:38 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-11-09 01:05:37 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 01:06:00 | × | Googulator90 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 01:06:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 01:06:19 | × | AlexZenon quits (~alzenon@5.139.232.215) (Ping timeout: 264 seconds) |
| 2025-11-09 01:06:55 | × | otto_s quits (~user@p5de2f031.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-09 01:08:10 | → | otto_s joins (~user@p4ff27028.dip0.t-ipconnect.de) |
| 2025-11-09 01:10:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 01:11:17 | → | AlexZenon joins (~alzenon@5.139.232.215) |
| 2025-11-09 01:14:37 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-09 01:21:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 01:23:33 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-09 01:25:01 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 2025-11-09 01:25:14 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Ping timeout: 256 seconds) |
| 2025-11-09 01:27:15 | DetourNe- | is now known as DetourNetworkUK |
| 2025-11-09 01:27:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 01:32:00 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 2025-11-09 01:38:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-09 01:39:44 | → | Inline joins (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) |
| 2025-11-09 01:45:34 | <fgarcia> | writing something that does haskell to Llvmir could be fun. though i am weird and like lto |
| 2025-11-09 01:48:33 | <tccq> | perhaps I'm misremembering but that's basically what GRIN does right? |
| 2025-11-09 01:49:00 | <tccq> | lto is indeed cool though |
| 2025-11-09 01:49:14 | <tccq> | whole program optimization my beloved |
| 2025-11-09 01:50:31 | × | Inline quits (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) (Ping timeout: 244 seconds) |
| 2025-11-09 01:51:20 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2025-11-09 01:53:43 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-11-09 01:55:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 01:59:32 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-09 02:00:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 02:05:40 | → | Inline joins (~inlinE@2a02:3035:669:2d6e:3bc0:fcb:d03f:7eb2) |
| 2025-11-09 02:09:10 | → | sam113102 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2025-11-09 02:09:20 | → | emergence0 joins (emergence@vm0.max-p.me) |
| 2025-11-09 02:09:42 | × | synchromesh quits (~john@2406:5a00:2412:2c00:2563:7fdc:9f17:50de) (Read error: Connection reset by peer) |
| 2025-11-09 02:10:23 | → | FragByte_ joins (~christian@user/fragbyte) |
| 2025-11-09 02:10:23 | → | TimWolla_ joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2025-11-09 02:10:29 | → | Hobbyboy|BNC joins (Hobbyboy@hobbyboy.co.uk) |
| 2025-11-09 02:10:29 | → | orcus- joins (~orcus@user/brprice) |
| 2025-11-09 02:10:38 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 2025-11-09 02:10:54 | → | jinsun- joins (jinsun@here.and.ready-to.party) |
| 2025-11-09 02:11:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 02:11:12 | → | synchromesh joins (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) |
| 2025-11-09 02:11:43 | → | hololeap_ joins (~quassel@user/hololeap) |
| 2025-11-09 02:12:15 | → | Wanderer_ joins (~wanderer@user/wanderer) |
| 2025-11-09 02:12:41 | → | sweater4 joins (~sweater@206.81.18.26) |
| 2025-11-09 02:12:42 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:2f53:a1ab:6a96:bd23) |
| 2025-11-09 02:12:43 | → | jjhoo_ joins (~jahakala@user/jjhoo) |
| 2025-11-09 02:12:44 | → | StrayB1ts joins (~straybits@d205-206-102-121.abhsia.telus.net) |
| 2025-11-09 02:13:03 | → | bairyn joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 2025-11-09 02:13:09 | → | opqdonut__ joins (opqdonut@pseudo.fixme.fi) |
| 2025-11-09 02:13:24 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-09 02:13:30 | → | sshine_ joins (~simon@dao.mechanicus.xyz) |
| 2025-11-09 02:13:33 | → | tolt_ joins (~weechat-h@li219-154.members.linode.com) |
| 2025-11-09 02:14:06 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-09 02:14:41 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2025-11-09 02:15:42 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-09 02:16:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 02:16:23 | → | sm_ joins (znc@plaintextaccounting/sm) |
| 2025-11-09 02:16:57 | × | remmie quits (ianremsen@tilde.team) (Ping timeout: 250 seconds) |
| 2025-11-09 02:17:23 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (*.net *.split) |
| 2025-11-09 02:17:23 | × | Sgeo quits (~Sgeo@user/sgeo) (*.net *.split) |
| 2025-11-09 02:17:23 | × | xff0x quits (~xff0x@2405:6580:b080:900:f6a2:6697:d899:5ef3) (*.net *.split) |
| 2025-11-09 02:17:23 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (*.net *.split) |
| 2025-11-09 02:17:23 | × | confusedalex quits (~confuseda@user/confusedalex) (*.net *.split) |
| 2025-11-09 02:17:23 | × | jreicher quits (~user@user/jreicher) (*.net *.split) |
| 2025-11-09 02:17:23 | × | ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (*.net *.split) |
| 2025-11-09 02:17:23 | × | straybits quits (~straybits@user/straybits) (*.net *.split) |
| 2025-11-09 02:17:23 | × | Raito_Bezarius quits (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (*.net *.split) |
| 2025-11-09 02:17:23 | × | olivial quits (~benjaminl@user/benjaminl) (*.net *.split) |
All times are in UTC.