Logs: liberachat/#haskell
| 2021-06-09 15:16:06 | → | spatchkaa__ joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 2021-06-09 15:16:21 | → | poljar joins (~poljar@93-139-68-198.adsl.net.t-com.hr) |
| 2021-06-09 15:16:34 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-09 15:16:59 | → | MidAutumnMoon3 joins (~MidAutumn@user/midautumnmoon) |
| 2021-06-09 15:17:11 | → | nshepperd24 joins (~nshepperd@li364-218.members.linode.com) |
| 2021-06-09 15:17:20 | <delYsid> | No instance for (Lift (Q (TExp (Q (TExp [Opening]))))) |
| 2021-06-09 15:17:25 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-09 15:17:25 | <comerijn> | It's weird that AppE doesn't work, though. It worked in my tests |
| 2021-06-09 15:17:38 | <delYsid> | OK, its official, I am just too dumb. But thanks for trying. |
| 2021-06-09 15:17:40 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-09 15:17:44 | → | averell- joins (~averell@user/averell) |
| 2021-06-09 15:17:45 | <comerijn> | hmmm, how much of what I typed got lost? |
| 2021-06-09 15:17:49 | → | wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-09 15:17:53 | → | pierrot joins (~pi@user/pierrot) |
| 2021-06-09 15:18:20 | <comerijn> | delYsid: Naah, it's just unlucky that AppE works on TExp the last time I checked, but doesn't in the latest version |
| 2021-06-09 15:18:54 | → | danidiaz1 joins (~ESDPC@static-35-0-85-188.ipcom.comunitel.net) |
| 2021-06-09 15:18:56 | → | fjmorazan_ joins (~quassel@user/fjmorazan) |
| 2021-06-09 15:19:07 | → | peutri_ joins (~peutri@ns317027.ip-94-23-46.eu) |
| 2021-06-09 15:19:13 | <delYsid> | Thats what I was trying to explain. I need a function TExp a -> Exp, somehow. AppE only works with Exp |
| 2021-06-09 15:19:47 | → | nsilv1 joins (~nsilv@212.103.198.210) |
| 2021-06-09 15:19:55 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-09 15:19:55 | → | oxide_ joins (~lambda@user/oxide) |
| 2021-06-09 15:19:55 | <comerijn> | delYsid: What I typed before getting dropped was: Well, the easiest hack is to rewrite it to "AppE <$> [| fromList |] <*> lift result" |
| 2021-06-09 15:19:58 | → | hueso_ joins (~root@152.170.216.40) |
| 2021-06-09 15:20:01 | <delYsid> | Or I just give up and do "fromList $(foo "file")" and call it a day. |
| 2021-06-09 15:20:04 | <comerijn> | Which just avoids using typed TH at all |
| 2021-06-09 15:20:06 | → | kmein joins (~weechat@user/kmein) |
| 2021-06-09 15:20:10 | → | jackhill_ joins (~jackhill@kalessin.dragonsnail.net) |
| 2021-06-09 15:20:10 | → | xerox_ joins (~edi@user/edi) |
| 2021-06-09 15:20:18 | → | pbrisbin_ joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-09 15:20:19 | → | slowButP1esent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-09 15:20:23 | → | wei2912_ joins (~wei2912@112.199.250.21) |
| 2021-06-09 15:20:26 | × | johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 272 seconds) |
| 2021-06-09 15:20:39 | <comerijn> | FYI "unType :: TExp a -> Exp" exists too |
| 2021-06-09 15:20:45 | → | blades_ joins (~blades@204.48.29.163) |
| 2021-06-09 15:21:00 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:fef:c229:4466:542) (Ping timeout: 268 seconds) |
| 2021-06-09 15:21:49 | → | codolio joins (~dolio@130.44.130.54) |
| 2021-06-09 15:21:58 | → | pieguy128_ joins (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca) |
| 2021-06-09 15:22:21 | <delYsid> | aha! |
| 2021-06-09 15:22:31 | <delYsid> | just do lift and not liftTyped, and everything is fine. |
| 2021-06-09 15:22:33 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-09 15:22:41 | → | dhouthoo_ joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-06-09 15:22:56 | → | dy` joins (~dy@user/dy) |
| 2021-06-09 15:24:12 | → | cwraith joins (~c_wraith@adjoint.us) |
| 2021-06-09 15:24:58 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (*.net *.split) |
| 2021-06-09 15:24:58 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (*.net *.split) |
| 2021-06-09 15:24:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (*.net *.split) |
| 2021-06-09 15:24:58 | × | pagnol quits (~user@014198154145.ctinets.com) (*.net *.split) |
| 2021-06-09 15:24:58 | × | dy quits (~dy@user/dy) (*.net *.split) |
| 2021-06-09 15:24:58 | × | Xnuk quits (~xnuk@45.76.202.58) (*.net *.split) |
| 2021-06-09 15:24:58 | × | ell quits (~ellie@user/ellie) (*.net *.split) |
| 2021-06-09 15:24:58 | × | nsilv quits (~nsilv@212.103.198.210) (*.net *.split) |
| 2021-06-09 15:24:58 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (*.net *.split) |
| 2021-06-09 15:24:58 | × | alx741 quits (~alx741@181.196.69.18) (*.net *.split) |
| 2021-06-09 15:24:58 | × | poljar1 quits (~poljar@93-139-68-198.adsl.net.t-com.hr) (*.net *.split) |
| 2021-06-09 15:24:58 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (*.net *.split) |
| 2021-06-09 15:24:58 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (*.net *.split) |
| 2021-06-09 15:24:58 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split) |
| 2021-06-09 15:24:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (*.net *.split) |
| 2021-06-09 15:24:58 | × | dhil quits (~dhil@195.213.192.47) (*.net *.split) |
| 2021-06-09 15:24:58 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (*.net *.split) |
| 2021-06-09 15:24:58 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (*.net *.split) |
| 2021-06-09 15:24:58 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (*.net *.split) |
| 2021-06-09 15:24:58 | × | ridcully quits (~ridcully@p508ac428.dip0.t-ipconnect.de) (*.net *.split) |
| 2021-06-09 15:24:58 | × | danidiaz quits (~ESDPC@static-35-0-85-188.ipcom.comunitel.net) (*.net *.split) |
| 2021-06-09 15:24:58 | × | blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (*.net *.split) |
| 2021-06-09 15:24:58 | × | xerox quits (~edi@user/edi) (*.net *.split) |
| 2021-06-09 15:24:58 | × | kmein_ quits (~weechat@user/kmein) (*.net *.split) |
| 2021-06-09 15:24:58 | × | pierrot_ quits (~pi@user/pierrot) (*.net *.split) |
| 2021-06-09 15:24:58 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (*.net *.split) |
| 2021-06-09 15:24:58 | × | spatchkaa_ quits (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (*.net *.split) |
| 2021-06-09 15:24:58 | × | fendor quits (~fendor@178.165.130.85.wireless.dyn.drei.com) (*.net *.split) |
| 2021-06-09 15:24:58 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2021-06-09 15:24:58 | × | c_wraith quits (~c_wraith@adjoint.us) (*.net *.split) |
| 2021-06-09 15:24:58 | × | wei2912 quits (~wei2912@112.199.250.21) (*.net *.split) |
| 2021-06-09 15:24:58 | × | fjmorazan quits (~quassel@user/fjmorazan) (*.net *.split) |
| 2021-06-09 15:24:58 | × | motherfs1 quits (~motherfsc@user/motherfsck) (*.net *.split) |
| 2021-06-09 15:24:58 | × | oxide quits (~lambda@user/oxide) (*.net *.split) |
| 2021-06-09 15:24:58 | × | kw quits (~user@152.1.137.158) (*.net *.split) |
| 2021-06-09 15:24:58 | × | bruceleewees quits (~bruceleew@83.24.248.233.ipv4.supernova.orange.pl) (*.net *.split) |
| 2021-06-09 15:24:58 | × | pieguy128 quits (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca) (*.net *.split) |
| 2021-06-09 15:24:58 | × | blades quits (~blades@204.48.29.163) (*.net *.split) |
| 2021-06-09 15:24:58 | × | averell quits (~averell@user/averell) (*.net *.split) |
| 2021-06-09 15:24:58 | × | peutri quits (~peutri@ns317027.ip-94-23-46.eu) (*.net *.split) |
| 2021-06-09 15:24:58 | × | jackhill quits (~jackhill@kalessin.dragonsnail.net) (*.net *.split) |
| 2021-06-09 15:24:58 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (*.net *.split) |
| 2021-06-09 15:24:58 | × | hueso quits (~root@152.170.216.40) (*.net *.split) |
| 2021-06-09 15:24:58 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (*.net *.split) |
| 2021-06-09 15:24:58 | × | dolio quits (~dolio@130.44.130.54) (*.net *.split) |
| 2021-06-09 15:24:58 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split) |
| 2021-06-09 15:25:00 | ell4 | is now known as ell |
| 2021-06-09 15:25:00 | nshepperd24 | is now known as nshepperd2 |
| 2021-06-09 15:25:00 | MidAutumnMoon3 | is now known as MidAutumnMoon |
| 2021-06-09 15:25:01 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-06-09 15:26:23 | → | Xnuk joins (~xnuk@45.76.202.58) |
| 2021-06-09 15:26:39 | wroathe_ | is now known as wroathe |
| 2021-06-09 15:26:50 | <cwraith> | delYsid: like, instead of the whole (AppE <$> [|| fromList ||] <*> liftTyped result) thing, just use [|| fromList result ||] |
| 2021-06-09 15:27:01 | cwraith | is now known as c_wraith |
| 2021-06-09 15:27:44 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-06-09 15:27:47 | × | comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
All times are in UTC.