Logs: freenode/#haskell
| 2021-05-01 05:36:15 | × | sssb54 quits (~ssssb56@vps-b2931db6.vps.ovh.ca) (Remote host closed the connection) |
| 2021-05-01 05:36:29 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 250 seconds) |
| 2021-05-01 05:40:40 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-01 05:41:06 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-01 05:42:18 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-01 05:44:53 | → | kik1 joins (~kik1@185.169.233.12) |
| 2021-05-01 05:45:54 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-ryndtoravsfingxg) (Quit: Connection closed for inactivity) |
| 2021-05-01 05:48:47 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 246 seconds) |
| 2021-05-01 05:48:57 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 252 seconds) |
| 2021-05-01 05:49:12 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-05-01 05:50:37 | → | ddellacosta joins (~ddellacos@86.106.143.21) |
| 2021-05-01 05:53:27 | × | alx741 quits (~alx741@181.196.68.89) (Quit: alx741) |
| 2021-05-01 05:54:52 | × | ddellacosta quits (~ddellacos@86.106.143.21) (Ping timeout: 240 seconds) |
| 2021-05-01 05:58:48 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-01 05:58:58 | → | sssb54 joins (~ssssb56@155.138.143.61) |
| 2021-05-01 05:59:21 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-05-01 06:00:56 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-05-01 06:03:42 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-01 06:09:19 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 252 seconds) |
| 2021-05-01 06:09:41 | × | argento quits (~argent0@168.227.97.29) (Quit: leaving) |
| 2021-05-01 06:09:49 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 06:10:16 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-01 06:20:41 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 240 seconds) |
| 2021-05-01 06:22:13 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-01 06:24:13 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 2021-05-01 06:27:30 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 06:28:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-05-01 06:28:42 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-zoclupkfjvlkftdp) (Quit: Connection closed for inactivity) |
| 2021-05-01 06:29:14 | → | jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-05-01 06:29:51 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-01 06:30:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-01 06:31:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 06:32:19 | <tomsmeding> | shapr: is there a webpage for the IOHCC? |
| 2021-05-01 06:32:52 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-01 06:33:07 | <olligobber> | `error: Typed splices may not appear in untyped brackets' :( |
| 2021-05-01 06:36:46 | <c_wraith> | you can always untype a typed splice |
| 2021-05-01 06:37:30 | → | sdx23 joins (~sdx23@unaffiliated/sdx23) |
| 2021-05-01 06:38:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-01 06:39:41 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 240 seconds) |
| 2021-05-01 06:40:06 | → | jalumar joins (uid392211@gateway/web/irccloud.com/x-ulvzcprozvzoropl) |
| 2021-05-01 06:40:24 | <olligobber> | yeah, it makes the code longer though |
| 2021-05-01 06:42:32 | <olligobber> | `No instance for (Language.Haskell.TH.Syntax.Lift TH.ExpQ)' oh no that's not good |
| 2021-05-01 06:43:57 | <olligobber> | merijn, any idea how I put a validated literal into an (untyped) splice? |
| 2021-05-01 06:45:22 | <olligobber> | I tried the obvious thing: `$(TH.unType <$> (valid "]" :: TH.Q (TH.TExp TypedRenderS)))' and got an error about not being able to lift ExpQ, which seems like a thing I wouldn't want to do anyway |
| 2021-05-01 06:45:37 | <olligobber> | actually, this sounds familiar... |
| 2021-05-01 06:46:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 06:46:43 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-01 06:48:26 | <olligobber> | hmm |
| 2021-05-01 06:49:55 | <olligobber> | didn't work |
| 2021-05-01 06:55:06 | <olligobber> | yeah, putting valid in a splice is not going well |
| 2021-05-01 06:55:15 | <tomsmeding> | :t Language.Haskell.TH.Syntax.unTypeQ -- olligobber |
| 2021-05-01 06:55:17 | <lambdabot> | Language.Haskell.TH.Syntax.Q (Language.Haskell.TH.Syntax.TExp a) -> Language.Haskell.TH.Syntax.Q Language.Haskell.TH.Syntax.Exp |
| 2021-05-01 06:55:29 | <tomsmeding> | mind you I know nothing of TH |
| 2021-05-01 06:56:10 | <olligobber> | yeah, I'm not really sure what's happening |
| 2021-05-01 06:56:19 | <tomsmeding> | (perhaps also see the definition of that function) |
| 2021-05-01 06:56:32 | <tomsmeding> | https://hackage.haskell.org/package/template-haskell-2.17.0.0/docs/src/Language-Haskell-TH-Syntax.html#unTypeQ |
| 2021-05-01 06:56:42 | <olligobber> | I assume it's just fmap unType? |
| 2021-05-01 06:56:55 | <tomsmeding> | nope |
| 2021-05-01 06:56:59 | <olligobber> | huh |
| 2021-05-01 06:57:02 | <olligobber> | let's see if it helps |
| 2021-05-01 06:57:28 | <olligobber> | nah, same error |
| 2021-05-01 06:57:34 | <olligobber> | `No instance for (Language.Haskell.TH.Syntax.Lift TH.ExpQ)' |
| 2021-05-01 06:57:41 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 2021-05-01 06:58:20 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 07:00:27 | <olligobber> | hmm |
| 2021-05-01 07:00:40 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-01 07:01:04 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-05-01 07:01:06 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-05-01 07:01:34 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-01 07:02:50 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 07:03:47 | → | joncol joins (~jco@c83-248-173-38.bredband.comhem.se) |
| 2021-05-01 07:04:12 | <olligobber> | I'm not surprised I can't use valid in a splice, I'm surprised that once it's been applied to its input it still can't be used |
| 2021-05-01 07:04:41 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-qamskrartzxwuohd) (Quit: Connection closed for inactivity) |
| 2021-05-01 07:05:43 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-05-01 07:06:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-01 07:07:04 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-01 07:07:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 07:11:31 | → | mandober joins (b2dcd45c@178.220.212.92) |
| 2021-05-01 07:12:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-01 07:13:15 | <olligobber> | I ditched valid to just use the way I defined it instead, but I got the same error |
| 2021-05-01 07:15:32 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-01 07:16:02 | <mandober> | @hoogle ContT |
| 2021-05-01 07:16:03 | <lambdabot> | Control.Monad.Trans.Cont newtype ContT r m a |
| 2021-05-01 07:16:03 | <lambdabot> | Control.Monad.Trans.Cont ContT :: ((a -> m r) -> m r) -> ContT r m a |
| 2021-05-01 07:16:03 | <lambdabot> | Control.Monad.Cont newtype ContT (r :: k) (m :: k -> *) a |
| 2021-05-01 07:16:10 | <olligobber> | I don't see why it's complaining about trying to lift an ExpQ, I'm not doing that? |
| 2021-05-01 07:16:32 | <olligobber> | omg I'm so dumb |
| 2021-05-01 07:16:38 | <olligobber> | it wasn't the valid bit that was erroring |
| 2021-05-01 07:16:49 | <olligobber> | it's because I forgot to put $ before the input variables |
| 2021-05-01 07:16:50 | <mandober> | @hoogle ContT |
| 2021-05-01 07:16:50 | <lambdabot> | Control.Monad.Trans.Cont newtype ContT r m a |
| 2021-05-01 07:16:51 | <lambdabot> | Control.Monad.Trans.Cont ContT :: ((a -> m r) -> m r) -> ContT r m a |
| 2021-05-01 07:16:51 | <lambdabot> | Control.Monad.Cont newtype ContT (r :: k) (m :: k -> *) a |
| 2021-05-01 07:17:11 | <tomsmeding> | olligobber: lol |
| 2021-05-01 07:18:06 | × | mandober quits (b2dcd45c@178.220.212.92) (Quit: Connection closed) |
| 2021-05-01 07:18:11 | × | todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-05-01 07:18:59 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 260 seconds) |
| 2021-05-01 07:20:31 | <olligobber> | oh no, more errors |
| 2021-05-01 07:22:11 | <olligobber> | ah, I forgot to convert my tuple to an Ftuple |
| 2021-05-01 07:23:08 | <olligobber> | yay it compiled |
All times are in UTC.