Newest at the top
| 2024-04-27 18:22:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-04-27 18:16:42 +0200 | pavonia | (~user@user/siracusa) |
| 2024-04-27 18:16:28 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-27 18:12:13 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-27 18:11:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-04-27 18:02:23 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-04-27 18:01:12 +0200 | <monochrom> | It does. No one reads it. |
| 2024-04-27 17:49:48 +0200 | pera | (~pera@user/pera) |
| 2024-04-27 17:47:59 +0200 | pera | (~pera@user/pera) (Ping timeout: 264 seconds) |
| 2024-04-27 17:45:40 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:6c1a:bb:e9e2:e9fd) |
| 2024-04-27 17:45:18 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-27 17:41:31 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-27 17:41:25 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-04-27 17:38:47 +0200 | <geekosaur> | I thought ghcup also output a message about this on install |
| 2024-04-27 17:38:21 +0200 | <geekosaur> | https://www.haskell.org/ghcup/install/#system-requirements |
| 2024-04-27 17:38:15 +0200 | <someone235> | Anyway, it worked, so thank you! |
| 2024-04-27 17:37:34 +0200 | <someone235> | geekosaur: it's weird that it's not listed as a dependency in the instructions |
| 2024-04-27 17:36:36 +0200 | <geekosaur> | haskell can't do this for you |
| 2024-04-27 17:36:26 +0200 | <geekosaur> | you need to install the OS gmp devel package |
| 2024-04-27 17:35:57 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2024-04-27 17:33:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-27 17:30:55 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
| 2024-04-27 17:29:15 +0200 | <someone235> | Hi, I'm getting `/usr/bin/ld.gold: error: cannot find -lgmp` when trying to run `ghc hello.hs`. Anyone has any idea what could be the cause? |
| 2024-04-27 17:27:36 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) |
| 2024-04-27 17:26:39 +0200 | <jumper149> | But I guess dependent haskell has to wait a little more |
| 2024-04-27 17:26:25 +0200 | <jumper149> | The annoying part is you have to write all instances by hand or generate them with singletons. |
| 2024-04-27 17:25:31 +0200 | <jumper149> | Well but that is the same thing singletons would do I think |
| 2024-04-27 17:25:10 +0200 | <jumper149> | Yeah, I just wrote this directly into weechat, so I forgot... |
| 2024-04-27 17:24:48 +0200 | <[Leary]> | `t` Should be the parameter to the class, but yes. |
| 2024-04-27 17:22:05 +0200 | <jumper149> | [Leary]: Something like this is what you mean? |
| 2024-04-27 17:21:54 +0200 | <jumper149> | toVal :: Proxy (t :: T) -> T |
| 2024-04-27 17:21:27 +0200 | <jumper149> | class TKindToType where |
| 2024-04-27 17:21:14 +0200 | <jumper149> | data T = A | B |
| 2024-04-27 17:19:48 +0200 | <[Leary]> | jumper149: Make a typeclass? |
| 2024-04-27 17:19:45 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-04-27 17:16:24 +0200 | <jumper149> | So basically I want something like `natVal` or `symbolVal` for my custom enum type. |
| 2024-04-27 17:15:20 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-27 17:14:48 +0200 | <jumper149> | I want to create a value-level literal from a type-level datakind. Do I need singletons or is this possible with `Typeable` or something else? |
| 2024-04-27 17:14:22 +0200 | <ncf> | i also can't reproduce the issue in the paper at all... with their code snippet and NoMonoLocalBinds i get the expected "Couldn't match expected type 'Bool' with actual type 'a'" |
| 2024-04-27 17:12:42 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-04-27 17:11:19 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2024-04-27 17:05:26 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
| 2024-04-27 17:04:58 +0200 | <ncf> | (i'm not sure why this makes pattern matching "fragile", but that's the reason given in the documentation) |
| 2024-04-27 17:04:55 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-27 17:03:06 +0200 | <ncf> | yin: see section 4.2 of https://simon.peytonjones.org/assets/pdfs/outsideinx.pdf |
| 2024-04-27 17:00:27 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) (Ping timeout: 268 seconds) |
| 2024-04-27 16:49:33 +0200 | <yin> | hi. can someone give me a simple explanation of why 'Pattern matching on GADTs without MonoLocalBinds is fragile'? |
| 2024-04-27 16:38:12 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) |
| 2024-04-27 16:38:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-27 16:11:53 +0200 | yin | (~yin@user/zero) |