| 26 Jun 2022 |
|  ChatSlayer changed their display name from Ch͎a͎o͎t͎i͎c͎M͎i͎s͎T to ChatSlayer. | 20:08:31 |
| 27 Jun 2022 |
|  @ezaquarii:etacassiopeiae.net joined the room. | 02:35:47 |
| @ezaquarii:etacassiopeiae.net left the room. | 02:54:29 |
|  @havershayer2:matrix.org left the room. | 08:15:02 |
|  marleng joined the room. | 13:18:06 |
 chreekat | Neat, first time seeing Matrix threads "in the wild" | 13:45:01 |
|  laurenclass joined the room. | 21:47:03 |
| 28 Jun 2022 |
|  jvytee joined the room. | 09:06:03 |
 michaelpj | if I generate a declaration with a [|d foo :: T |] splice, is there any way for me to get the name of foo in the current splice? I would generate it with newName and splice it in, but I can't splice into a name binding position, which leaves me constructing the whole thing by hand... | 13:13:26 |
 @frankcryptic:matrix.org | Redacted or Malformed Event | 15:03:18 |
|  sm banned @frankcryptic:matrix.org (spam). | 15:31:40 |
|  drsooch joined the room. | 15:42:11 |
|  mute to joined the room. | 16:21:44 |
 tomsen | in functional its easy to add functions but harder to add objects, in oop its easy to add more objects but harder to add functions (mainly how far apart the code is). how is the problem called that expresses this consideration? it has a wikipedia article, but i cannot remember | 17:14:48 |
 Artem | tomsen: the expression problem | 17:17:22 |
| tomsen | this! thankyu! : ) | 17:17:43 |
|  lemao changed their display name from Yuri de Wit to lemao. | 18:42:13 |
| 29 Jun 2022 |
|  iclanzan joined the room. | 02:20:45 |
| chreekat | Does #haskell:libera.chat not work for other people, or is it just me? My client always says there is an error when I try to join it | 05:14:53 |
| chreekat | At the same time, chanserv sends me the welcome message for the channel whenever my bridged user rejoins the network | 05:15:54 |
| chreekat | Heyo, it just started working for me 🙈 | 06:10:01 |
| sm | working normally here | 07:07:30 |
|  @steelflight:matrix.org left the room. | 10:33:27 |
|  Kerfuffle joined the room. | 11:18:24 |
|  schmittlauch (he/him) changed their profile picture. | 11:51:58 |
|  number-set joined the room. | 14:01:22 |
 6d03 | I'm using ghc-8.10.6 with singletons-2.7 and I'm trying to use newtype deriving to get a singled monoid instance: newtype Context ids = Context { unContext :: [ids] } deriving newtype (SSemigroup, SMonoid) but I end up with this error • Couldn't match type ‘[ids1]’ with ‘Context ids1’ arising from the coercion of the method ‘sSconcat’ from type ‘forall (t :: GHC.Base.NonEmpty [ids]). Sing t -> Sing (Apply SconcatSym0 t)’ to type ‘forall (t :: GHC.Base.NonEmpty (Context ids)). Sing t -> Sing (Apply SconcatSym0 t)’ • When deriving the instance for (SSemigroup (Context ids)) | 48 | deriving newtype (SSemigroup, SMonoid) | ^^^^^^^^^^ (plus similar ones wrt SMonoid) What am I missing? | 15:34:56 |
| 6d03 | * I'm using ghc-8.10.6 with singletons-2.7 and I'm trying to use newtype deriving to get a singled monoid instance:
newtype Context ids = Context { unContext :: [ids] } deriving newtype (SSemigroup, SMonoid)
but I end up with this error • Couldn't match type ‘[ids1]’ with ‘Context ids1’ arising from the coercion of the method ‘sSconcat’ from type ‘forall (t :: GHC.Base.NonEmpty [ids]). Sing t -> Sing (Apply SconcatSym0 t)’ to type ‘forall (t :: GHC.Base.NonEmpty (Context ids)). Sing t -> Sing (Apply SconcatSym0 t)’ • When deriving the instance for (SSemigroup (Context ids)) | 48 | deriving newtype (SSemigroup, SMonoid) | ^^^^^^^^^^(plus similar ones wrtSMonoid`) What am I missing?
| 15:36:28 |
| 6d03 | * I'm using ghc-8.10.6 with singletons-2.7 and I'm trying to use newtype deriving to get a singled monoid instance:
newtype Context ids = Context { unContext :: \[ids\] } deriving newtype (SSemigroup, SMonoid)
but I end up with this error
• Couldn't match type ‘[ids1]’ with ‘Context ids1’ arising from the coercion of the method ‘sSconcat’ from type ‘forall (t :: GHC.Base.NonEmpty [ids]). Sing t -> Sing (Apply SconcatSym0 t)’ to type ‘forall (t :: GHC.Base.NonEmpty (Context ids)). Sing t -> Sing (Apply SconcatSym0 t)’ • When deriving the instance for (SSemigroup (Context ids)) | 48 | deriving newtype (SSemigroup, SMonoid) | ^^^^^^^^^^
(plus similar ones wrtSMonoid) What am I missing?
| 15:37:36 |
| 6d03 | * I'm using ghc-8.10.6 with singletons-2.7 and I'm trying to use newtype deriving to get a singled monoid instance:
newtype Context ids = Context { unContext :: [ids] } deriving newtype (SSemigroup, SMonoid)
but I end up with this error
• Couldn't match type ‘\[ids1\]’ with ‘Context ids1’ arising from the coercion of the method ‘sSconcat’ from type ‘forall (t :: GHC.Base.NonEmpty \[ids\]). Sing t -> Sing (Apply SconcatSym0 t)’ to type ‘forall (t :: GHC.Base.NonEmpty (Context ids)). Sing t -> Sing (Apply SconcatSym0 t)’ • When deriving the instance for (SSemigroup (Context ids)) | 48 | deriving newtype (SSemigroup, SMonoid) | ^^^^^^^^^^
(plus similar ones wrtSMonoid) What am I missing?
| 15:38:18 |
