Logs: liberachat/#haskell
| 2021-06-09 14:10:07 | <merijn> | yeah |
| 2021-06-09 14:10:11 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 272 seconds) |
| 2021-06-09 14:10:15 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-06-09 14:10:27 | × | ddellaco_ quits (~ddellacos@89.46.62.34) (Remote host closed the connection) |
| 2021-06-09 14:10:34 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (*.net *.split) |
| 2021-06-09 14:10:34 | × | slack1256 quits (~slack1256@191.125.180.163) (*.net *.split) |
| 2021-06-09 14:10:34 | × | fabfianda quits (~fabfianda@mob-5-90-243-109.net.vodafone.it) (*.net *.split) |
| 2021-06-09 14:10:34 | × | sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (*.net *.split) |
| 2021-06-09 14:10:34 | × | niko quits (~niko@libera/staff/niko) (*.net *.split) |
| 2021-06-09 14:10:34 | × | michalz quits (~michalz@185.246.204.125) (*.net *.split) |
| 2021-06-09 14:10:34 | × | shanemikel quits (~shanemike@desk.roadwar.net) (*.net *.split) |
| 2021-06-09 14:10:34 | × | ozzymcduff quits (~mathieu@81-234-151-21-no94.tbcn.telia.com) (*.net *.split) |
| 2021-06-09 14:10:34 | × | gentauro quits (~gentauro@user/gentauro) (*.net *.split) |
| 2021-06-09 14:10:34 | × | micro quits (~micro@user/micro) (*.net *.split) |
| 2021-06-09 14:10:34 | × | bah quits (~bah@l1.tel) (*.net *.split) |
| 2021-06-09 14:10:34 | × | aravk quits (~aravk@user/aravk) (*.net *.split) |
| 2021-06-09 14:10:34 | × | juri_ quits (~juri@178.63.35.222) (*.net *.split) |
| 2021-06-09 14:10:34 | × | otulp quits (~otulp@ti0187q162-2423.bb.online.no) (*.net *.split) |
| 2021-06-09 14:10:34 | × | wagle_ quits (~wagle@quassel.wagle.io) (*.net *.split) |
| 2021-06-09 14:10:34 | × | Philonous quits (~Philonous@user/philonous) (*.net *.split) |
| 2021-06-09 14:10:34 | × | FragByte quits (~christian@user/fragbyte) (*.net *.split) |
| 2021-06-09 14:10:34 | × | abbie quits (~abbie@user/abbie) (*.net *.split) |
| 2021-06-09 14:10:34 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (*.net *.split) |
| 2021-06-09 14:10:34 | × | haask quits (~harry@92.234.0.237) (*.net *.split) |
| 2021-06-09 14:10:34 | × | bollu quits (~bollu@139.59.46.74) (*.net *.split) |
| 2021-06-09 14:10:34 | × | monochrom quits (~trebla@216.138.220.146) (*.net *.split) |
| 2021-06-09 14:10:34 | × | Xnuk quits (~xnuk@45.76.202.58) (*.net *.split) |
| 2021-06-09 14:10:34 | × | dy quits (~dy@user/dy) (*.net *.split) |
| 2021-06-09 14:10:34 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (*.net *.split) |
| 2021-06-09 14:10:34 | × | biberu quits (~biberu@user/biberu) (*.net *.split) |
| 2021-06-09 14:10:34 | × | Typedfern quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (*.net *.split) |
| 2021-06-09 14:10:34 | × | hrnz quits (~ulli@cherry.hrnz.li) (*.net *.split) |
| 2021-06-09 14:10:34 | × | tomjaguarpaw quits (~tom@li367-225.members.linode.com) (*.net *.split) |
| 2021-06-09 14:10:34 | × | samebchase quits (~samebchas@51.15.68.182) (*.net *.split) |
| 2021-06-09 14:10:34 | × | lambdap quits (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split) |
| 2021-06-09 14:10:34 | × | earthy quits (~arthurvl@deban2.xs4all.space) (*.net *.split) |
| 2021-06-09 14:10:34 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (*.net *.split) |
| 2021-06-09 14:10:34 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split) |
| 2021-06-09 14:10:34 | × | dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (*.net *.split) |
| 2021-06-09 14:10:34 | × | ptrcmd quits (~ptrcmd@user/ptrcmd) (*.net *.split) |
| 2021-06-09 14:10:34 | × | zopsi quits (~zopsi@irc.dir.ac) (*.net *.split) |
| 2021-06-09 14:10:34 | × | dustinm quits (~dustinm@static.38.6.217.95.clients.your-server.de) (*.net *.split) |
| 2021-06-09 14:10:34 | × | dmwit quits (~dmwit@pool-96-255-233-247.washdc.fios.verizon.net) (*.net *.split) |
| 2021-06-09 14:10:35 | monochrm | is now known as monochrom |
| 2021-06-09 14:10:35 | bollu7 | is now known as bollu |
| 2021-06-09 14:10:35 | otulp_ | is now known as otulp |
| 2021-06-09 14:10:35 | abbie6 | is now known as abbie |
| 2021-06-09 14:10:35 | biberu\ | is now known as biberu |
| 2021-06-09 14:10:35 | dobblego | is now known as dibblego |
| 2021-06-09 14:10:35 | lambdap7 | is now known as lambdap |
| 2021-06-09 14:10:42 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-09 14:10:51 | → | ddellacosta joins (~ddellacos@89.46.62.34) |
| 2021-06-09 14:10:57 | → | fabfianda joins (~fabfianda@mob-5-90-243-109.net.vodafone.it) |
| 2021-06-09 14:11:07 | → | Xnuk joins (~xnuk@45.76.202.58) |
| 2021-06-09 14:11:10 | → | dy joins (~dy@user/dy) |
| 2021-06-09 14:11:10 | × | thyriaen quits (~thyriaen@45.178.73.238) (Quit: Leaving) |
| 2021-06-09 14:14:55 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-09 14:14:56 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-09 14:16:03 | → | FragByte joins (~christian@user/fragbyte) |
| 2021-06-09 14:16:16 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-09 14:16:54 | × | Codaraxis_ quits (~Codaraxis@89.45.7.142) (Remote host closed the connection) |
| 2021-06-09 14:17:42 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds) |
| 2021-06-09 14:19:11 | <delYsid> | • GHC internal error: ‘fp’ is not in scope during type checking, but it passed the renamer |
| 2021-06-09 14:19:15 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-09 14:19:20 | <delYsid> | there be dragons |
| 2021-06-09 14:19:20 | → | fluffyballoon joins (~fluffybal@2620:72:0:6480::10f7) |
| 2021-06-09 14:19:36 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-06-09 14:19:48 | <ski> | @ghc |
| 2021-06-09 14:19:49 | <lambdabot> | Command stack underflow at command |
| 2021-06-09 14:20:33 | → | niko joins (~niko@libera/staff/niko) |
| 2021-06-09 14:20:45 | × | xff0x_ quits (~xff0x@185.65.135.235) (Ping timeout: 252 seconds) |
| 2021-06-09 14:21:02 | → | derelict joins (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
| 2021-06-09 14:21:13 | → | skewerr joins (~spoonm@inaba.spoonm.org) |
| 2021-06-09 14:21:25 | → | hrnz joins (~ulli@irc.plumbing) |
| 2021-06-09 14:22:21 | → | xff0x_ joins (~xff0x@2001:1a81:52c9:6b00:c9ec:1ec0:3ea4:2bb4) |
| 2021-06-09 14:23:53 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-09 14:27:12 | → | brandonh joins (~brandonh@151.38.222.167) |
| 2021-06-09 14:28:39 | → | just_some_noob6 joins (~syd@cpc91646-hart11-2-0-cust432.11-3.cable.virginm.net) |
| 2021-06-09 14:28:55 | ← | just_some_noob6 parts (~syd@cpc91646-hart11-2-0-cust432.11-3.cable.virginm.net) () |
| 2021-06-09 14:31:59 | × | azeem quits (~azeem@176.201.21.77) (Read error: Connection reset by peer) |
| 2021-06-09 14:32:12 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-09 14:32:31 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 2021-06-09 14:33:55 | → | pagnol joins (~user@014198154145.ctinets.com) |
| 2021-06-09 14:33:59 | × | troydm1 quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2021-06-09 14:34:11 | → | shailangsa joins (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) |
| 2021-06-09 14:34:15 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2021-06-09 14:34:23 | → | michalz joins (~michalz@185.246.204.114) |
| 2021-06-09 14:36:10 | → | mastarija__ joins (~mastarija@46.188.129.109) |
| 2021-06-09 14:37:58 | × | wonko quits (~wjc@62.115.229.50) (Remote host closed the connection) |
| 2021-06-09 14:38:29 | × | gentauro_ quits (~gentauro@185.107.12.141) (Changing host) |
| 2021-06-09 14:38:29 | → | gentauro_ joins (~gentauro@user/gentauro) |
| 2021-06-09 14:44:22 | <delYsid> | merijn: x fp = $(AppE <$> [| fromList |] <*> lift [| x |]) where x = $$(r fp) -- gives me a stage restriction. How do I pass an argument through? |
| 2021-06-09 14:44:58 | <delYsid> | ugh, wait |
| 2021-06-09 14:45:27 | <delYsid> | x fp = $(AppE <$> [| fromList |] <*> lift $$(r fp)) -- better, but same error |
| 2021-06-09 14:45:58 | <delYsid> | r :: FilePath -> Q (TExp [D]) |
| 2021-06-09 14:46:06 | <c_wraith> | is r defined in the same file? |
| 2021-06-09 14:46:12 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-09 14:46:13 | <c_wraith> | that's what the stage restriction is about |
| 2021-06-09 14:46:13 | × | fabfianda quits (~fabfianda@mob-5-90-243-109.net.vodafone.it) (Read error: Connection reset by peer) |
| 2021-06-09 14:46:26 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
All times are in UTC.