Newest at the top
| 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 +0100 | Versality | (~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 +0100 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) mulk |
| 2024-11-05 15:14:23 +0100 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-05 15:13:52 +0100 | emma-underscores | (~underscor@pool-108-54-214-254.nycmny.fios.verizon.net) emma-underscores |
| 2024-11-05 15:07:54 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 15:07:01 +0100 | Guest12 | (~Guest12@31.154.179.218) |
| 2024-11-05 15:06:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-05 15:05:53 +0100 | Guest73 | (~Guest12@31.154.179.218) (Ping timeout: 256 seconds) |
| 2024-11-05 15:05:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-05 15:00:12 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:7459:cd00:c885:3805) |
| 2024-11-05 14:59:06 +0100 | longlongdouble | (~longlongd@117.234.170.44) (Ping timeout: 252 seconds) |
| 2024-11-05 14:57:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-05 14:55:37 +0100 | Everything | (~Everythin@178-133-144-30.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-05 14:50:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-05 14:49:52 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak |
| 2024-11-05 14:49:10 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Quit: WeeChat 4.3.5) |
| 2024-11-05 14:47:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-05 14:45:03 +0100 | enikar | (~enikar@user/enikar) enikar |
| 2024-11-05 14:44:06 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-05 14:42:09 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-11-05 14:34:53 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-05 14:33:44 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-05 14:25:25 +0100 | Guest73 | (~Guest12@31.154.179.218) |
| 2024-11-05 14:25:11 +0100 | Guest12 | (~Guest12@31.154.179.218) (Quit: Client closed) |
| 2024-11-05 14:24:45 +0100 | Guest12 | (~Guest12@31.154.179.218) |
| 2024-11-05 14:19:56 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-05 14:16:45 +0100 | Versality | (~Versality@user/Versality) Versality |