2024/11/05

Newest at the top

2024-11-05 16:16:54 +0100longlongdouble(~longlongd@2405:201:5c16:135:7459:cd00:c885:3805) (Read error: Connection reset by peer)
2024-11-05 16:12:13 +0100alp(~alp@2001:861:e3d6:8f80:86cd:f9bc:2fcc:950e) (Remote host closed the connection)
2024-11-05 16:06:00 +0100benkardmulk
2024-11-05 16:06:00 +0100mulk(~mulk@pd95146e9.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-11-05 16:05:24 +0100benkard(~mulk@pd95146e9.dip0.t-ipconnect.de) mulk
2024-11-05 15:49:57 +0100misterfish(~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 248 seconds)
2024-11-05 15:49:31 +0100Guest12(~Guest12@31.154.179.218) (Ping timeout: 256 seconds)
2024-11-05 15:49:26 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds)
2024-11-05 15:48:13 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2024-11-05 15:48:10 +0100euleritian(~euleritia@dynamic-176-006-148-028.176.6.pool.telefonica.de)
2024-11-05 15:44:36 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2024-11-05 15:43:05 +0100 <iphy> But thanks, I'll try that
2024-11-05 15:43:00 +0100 <iphy> Good question, I haven't checked the versions
2024-11-05 15:42:07 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 264 seconds)
2024-11-05 15:32:45 +0100 <tomsmeding> my conjecture is that 9.6 changed its handling of quantified constraints, in particular the one in the superclass list of GEq1 https://hackage.haskell.org/package/transformers-compat-0.7.2/docs/Data-Functor-Classes-Generic-In…
2024-11-05 15:29:37 +0100 <tomsmeding> iphy: compiles for me if I add (Show, Read, Eq) to the first deriving clause
2024-11-05 15:25:43 +0100Versality(~Versality@user/Versality) (Remote host closed the connection)
2024-11-05 15:22:59 +0100 <tomsmeding> iphy: is it the ghc version that makes the difference, or the version of some library? Are you using the same version of transformers-compat in both cases?
2024-11-05 15:20:23 +0100 <iphy> this is the error https://www.irccloud.com/pastebin/VqT6CteH/error
2024-11-05 15:19:30 +0100 <iphy> this is not working on ghc 9.6.5 anymore, but it works on 9.4.3. am I doing something wrong? is there something new I need to do for this?
2024-11-05 15:18:50 +0100 <iphy> https://www.irccloud.com/pastebin/dwAsXj9Z/
2024-11-05 15:18:42 +0100 <iphy> oops, sorry
2024-11-05 15:18:37 +0100 <iphy> deriving (Show1, Read1, Eq1) via FunctorClassesDefault (AnnotF attr)
2024-11-05 15:18:36 +0100 <iphy> deriving (Functor, Generic, Generic1)
2024-11-05 15:18:36 +0100 <iphy> data AnnotF attr a = Annot { attr :: attr, unAnnot :: a }
2024-11-05 15:18:35 +0100 <iphy> import GHC.Generics (Generic, Generic1)
2024-11-05 15:18:34 +0100 <iphy> import Data.Functor.Compose (Compose (..))
2024-11-05 15:18:34 +0100 <iphy> import Data.Functor.Classes.Generic (FunctorClassesDefault (..))
2024-11-05 15:18:33 +0100 <iphy> import Data.Functor.Classes (Eq1, Read1, Show1)
2024-11-05 15:18:33 +0100 <iphy> import Data.Fix (Fix, hoistFix)
2024-11-05 15:18:32 +0100 <iphy> ) where
2024-11-05 15:18:31 +0100 <iphy> ( AnnotF (..)
2024-11-05 15:18:31 +0100 <iphy> module Language.Cimple.Annot
2024-11-05 15:18:30 +0100 <iphy> {-# LANGUAGE TypeOperators #-}
2024-11-05 15:18:30 +0100 <iphy> {-# LANGUAGE StrictData #-}
2024-11-05 15:18:30 +0100 <iphy> {-# LANGUAGE DerivingVia #-}
2024-11-05 15:18:30 +0100 <iphy> {-# LANGUAGE DeriveGeneric #-}
2024-11-05 15:18:30 +0100 <iphy> {-# LANGUAGE DeriveFunctor #-}
2024-11-05 15:16:52 +0100mulk(~mulk@pd95146e9.dip0.t-ipconnect.de) mulk
2024-11-05 15:14:23 +0100mulk(~mulk@pd95146e9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-11-05 15:13:52 +0100emma-underscores(~underscor@pool-108-54-214-254.nycmny.fios.verizon.net) emma-underscores
2024-11-05 15:07:54 +0100merijn(~merijn@77.242.116.146) merijn
2024-11-05 15:07:01 +0100Guest12(~Guest12@31.154.179.218)
2024-11-05 15:06:41 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-05 15:05:53 +0100Guest73(~Guest12@31.154.179.218) (Ping timeout: 256 seconds)
2024-11-05 15:05:35 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-11-05 15:00:12 +0100longlongdouble(~longlongd@2405:201:5c16:135:7459:cd00:c885:3805)
2024-11-05 14:59:06 +0100longlongdouble(~longlongd@117.234.170.44) (Ping timeout: 252 seconds)
2024-11-05 14:57:46 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-05 14:55:37 +0100Everything(~Everythin@178-133-144-30.mobile.vf-ua.net) (Quit: leaving)