Newest at the top
| 2024-10-22 16:53:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-22 16:49:35 +0200 | <haskellbridge> | <Bowuigi> Like, in the REPL |
| 2024-10-22 16:49:18 +0200 | <haskellbridge> | <Bowuigi> Wait how does Type look when you do not have Data.Kind.Type nor StarIsType? |
| 2024-10-22 16:49:04 +0200 | <famubu> | Thanks! Needed to import Data.Kind after having GADTs. |
| 2024-10-22 16:48:28 +0200 | <haskellbridge> | <Bowuigi> Ah, that makes sense |
| 2024-10-22 16:46:57 +0200 | <geekosaur> | ghc doesn't automatically define it with NoStarIsType |
| 2024-10-22 16:46:36 +0200 | <geekosaur> | you still need to import it, I think it's in Data.Kind |
| 2024-10-22 16:46:09 +0200 | <haskellbridge> | <Bowuigi> I thought GADTs enabled NoStarIsType by default tho, might have confused it with DataKinds or something |
| 2024-10-22 16:45:13 +0200 | <haskellbridge> | <Bowuigi> famubu either change Type to * or use NoStarIsType (and maybe import the actual Type kind) |
| 2024-10-22 16:37:59 +0200 | <geekosaur> | private sublibs work in most versions of cabal, it's public ones that require recent ones |
| 2024-10-22 16:37:47 +0200 | <famubu> | Error is: Not in scope: type constructor or class ‘Type’ |
| 2024-10-22 16:37:35 +0200 | <famubu> | Is there an extension that needs to be enabled? |
| 2024-10-22 16:37:28 +0200 | <famubu> | I'm getting error at the `Type` part. |
| 2024-10-22 16:37:19 +0200 | <famubu> | Hi. When using GADTs extension, it is possible to have like `data NewType :: Ty -> Type where ...`, right? Where `Ty` is another type. |
| 2024-10-22 16:36:31 +0200 | famubu | (~julinuser@user/famubu) famubu |
| 2024-10-22 16:31:39 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-22 16:26:23 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-10-22 16:26:15 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-22 16:20:23 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-851e-a349-082a-4406.rev.sfr.net) alexherbo2 |
| 2024-10-22 16:16:28 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-22 16:16:20 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-e083-6e3a-1f69-d96b.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-22 16:13:55 +0200 | ubert | (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2024-10-22 16:12:48 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-e083-6e3a-1f69-d96b.rev.sfr.net) alexherbo2 |
| 2024-10-22 16:12:25 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-f964-5ca4-6b0b-bb2c.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-22 16:11:54 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-22 16:09:29 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2024-10-22 16:07:16 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb00c0110ba89d2daf5e.dip0.t-ipconnect.de) acidjnk |
| 2024-10-22 16:00:45 +0200 | synchromesh | (~john@139.180.95.1) synchromesh |
| 2024-10-22 15:59:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-22 15:48:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-10-22 15:47:33 +0200 | ian_ | (~ian@matrix.chaos.earth.li) (Ping timeout: 248 seconds) |
| 2024-10-22 15:42:48 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb0024c2a0322de583e8.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-10-22 15:42:20 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-22 15:40:19 +0200 | synchromesh | (~john@2406:5a00:2497:300:dc88:9a2b:e157:f2e6) (Ping timeout: 264 seconds) |
| 2024-10-22 15:39:43 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-22 15:36:49 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-10-22 15:31:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2024-10-22 15:28:27 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-22 15:10:52 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-f964-5ca4-6b0b-bb2c.rev.sfr.net) alexherbo2 |
| 2024-10-22 15:10:39 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-f964-5ca4-6b0b-bb2c.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-22 15:09:42 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2024-10-22 15:02:48 +0200 | AkechiShiro | (~licht@user/akechishiro) AkechiShiro |
| 2024-10-22 15:00:21 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-f964-5ca4-6b0b-bb2c.rev.sfr.net) alexherbo2 |
| 2024-10-22 14:59:47 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-c257-559a-6e1d-739b-a378.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-22 14:57:40 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2024-10-22 14:57:20 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2024-10-22 14:55:14 +0200 | <kqr> | Ah, that sounds very nice. Thanks! |
| 2024-10-22 14:51:40 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.2) |
| 2024-10-22 14:51:05 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-22 14:42:28 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |