Logs: liberachat/#haskell
| 2026-03-11 17:20:28 | → | euphores joins (~SASL_euph@user/euphores) |
| 2026-03-11 17:21:08 | <EvanR> | given how unsemantical most programming languages are I find it hilarious how hard some people want to claim haskell has no semantics either |
| 2026-03-11 17:21:51 | <EvanR> | nothing means anything, your words actually don't mean what you said, etc xD |
| 2026-03-11 17:22:08 | <EvanR> | I hereby undefined everything |
| 2026-03-11 17:22:23 | <tomsmeding> | @undefine |
| 2026-03-11 17:22:23 | <lambdabot> | Undefined. |
| 2026-03-11 17:22:26 | <EvanR> | ^ |
| 2026-03-11 17:26:50 | <mauke> | @define semantics |
| 2026-03-11 17:26:50 | <lambdabot> | Parse failed: TemplateHaskell language extension is not enabled. Please add ... |
| 2026-03-11 17:27:05 | <tomsmeding> | O.o |
| 2026-03-11 17:27:16 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-11 17:27:38 | <mauke> | please. please add. |
| 2026-03-11 17:27:51 | <tomsmeding> | @define {-# LANGUAGE Template Haskell #-} |
| 2026-03-11 17:27:51 | <lambdabot> | Parse failed: Parse error: Haskell |
| 2026-03-11 17:27:57 | <tomsmeding> | @define {-# LANGUAGE TemplateHaskell #-} |
| 2026-03-11 17:27:57 | <lambdabot> | Defined. |
| 2026-03-11 17:28:02 | <tomsmeding> | @define semantics |
| 2026-03-11 17:28:02 | <lambdabot> | Parse failed: TemplateHaskell language extension is not enabled. Please add ... |
| 2026-03-11 17:28:05 | <tomsmeding> | lies |
| 2026-03-11 17:36:19 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-03-11 17:36:48 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-03-11 17:37:44 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2026-03-11 17:38:34 | <int-e> | tomsmeding: sure, but which one of these is the lie? |
| 2026-03-11 17:38:39 | <int-e> | @define {- -} |
| 2026-03-11 17:38:40 | <lambdabot> | Defined. |
| 2026-03-11 17:38:53 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 252 seconds) |
| 2026-03-11 17:38:53 | <tomsmeding> | > [| 42 |] |
| 2026-03-11 17:38:54 | <lambdabot> | Syntax error on [| 42 |] |
| 2026-03-11 17:38:54 | <lambdabot> | In the Template Haskell quotation [| 42 |] |
| 2026-03-11 17:39:12 | <tomsmeding> | the first one, apparently |
| 2026-03-11 17:40:12 | <int-e> | tomsmeding: https://github.com/lambdabot/lambdabot/blob/master/lambdabot-haskell-plugins/src/Lambdabot/Plugin/Haskell/Eval.hs#L112-L126 -- guess where pragmas live (next function after this one has a spoiler) |
| 2026-03-11 17:40:50 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-03-11 17:41:26 | <tomsmeding> | in the... exports? Or is that variable just misnamed? |
| 2026-03-11 17:42:33 | <int-e> | it's misnamed |
| 2026-03-11 17:42:49 | <int-e> | exports live in the first field |
| 2026-03-11 17:43:30 | <tomsmeding> | I like that the hint was a function called "moduleProblems" |
| 2026-03-11 17:47:54 | <int-e> | Anyway, this function is responsible for not adding new pragmas with @let. Which IMHO is the sane thing for lambdabot to do :) |
| 2026-03-11 17:48:41 | <tomsmeding> | probably |
| 2026-03-11 17:49:06 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 248 seconds) |
| 2026-03-11 17:50:26 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-03-11 17:50:52 | <gentauro> | tomsmeding: will do |
| 2026-03-11 17:52:27 | → | comonad joins (~comonad@p200300d02725570019adcc7019a0b087.dip0.t-ipconnect.de) |
| 2026-03-11 17:52:36 | × | tt1231607019 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 264 seconds) |
| 2026-03-11 17:53:05 | → | danza joins (~danza@user/danza) |
| 2026-03-11 17:55:52 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-03-11 18:00:20 | → | tt1231607019 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 2026-03-11 18:00:42 | → | Googulator joins (~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) |
| 2026-03-11 18:07:26 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-03-11 18:08:40 | × | dhil quits (~dhil@5.151.29.140) (Ping timeout: 265 seconds) |
| 2026-03-11 18:09:02 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-11 18:09:46 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-11 18:10:15 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-11 18:18:27 | → | codolio joins (~dolio@130.44.140.168) |
| 2026-03-11 18:18:46 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-03-11 18:18:54 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 255 seconds) |
| 2026-03-11 18:19:54 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-03-11 18:24:37 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-11 18:25:12 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-03-11 18:25:23 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2026-03-11 18:32:29 | × | codolio quits (~dolio@130.44.140.168) (Ping timeout: 268 seconds) |
| 2026-03-11 18:44:28 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-03-11 18:49:30 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-03-11 18:54:51 | × | Enrico63 quits (~Enrico63@host-82-61-84-117.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-11 19:03:32 | → | spew joins (~spew@user/spew) |
| 2026-03-11 19:21:10 | × | qqq quits (~qqq@185.54.22.246) (Remote host closed the connection) |
| 2026-03-11 19:28:26 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 2026-03-11 19:29:15 | × | Googulator quits (~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-11 19:29:21 | → | Googulator39 joins (~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) |
| 2026-03-11 19:30:38 | → | lol_ joins (~lol@2603:3016:1e01:b980:b5f8:9e30:8739:5bae) |
| 2026-03-11 19:31:06 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-03-11 19:34:00 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b980:b5f8:9e30:8739:5bae) (Ping timeout: 264 seconds) |
| 2026-03-11 19:34:00 | × | lol__ quits (~lol@2603:3016:1e01:b980:b5f8:9e30:8739:5bae) (Ping timeout: 264 seconds) |
| 2026-03-11 19:34:10 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:b5f8:9e30:8739:5bae) |
| 2026-03-11 19:47:45 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-03-11 19:49:58 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-11 19:50:10 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-03-11 19:52:02 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2026-03-11 19:52:46 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-03-11 19:56:18 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2026-03-11 20:06:17 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-11 20:08:12 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-11 20:10:10 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-03-11 20:18:19 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-03-11 20:21:18 | → | malte joins (~malte@mal.tc) |
| 2026-03-11 20:21:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-11 20:23:10 | → | Square2 joins (~Square@user/square) |
| 2026-03-11 20:25:12 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-03-11 20:25:57 | × | Square quits (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2026-03-11 20:26:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-11 20:29:36 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-11 20:31:48 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-03-11 20:35:09 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-11 20:37:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-11 20:41:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-11 20:44:03 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-11 20:44:09 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Remote host closed the connection) |
| 2026-03-11 20:53:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-11 20:54:13 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-11 20:58:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-11 21:01:09 | → | dhil joins (~dhil@5.151.29.138) |
All times are in UTC.