Logs: freenode/#haskell
| 2021-03-02 07:53:11 | <edwardk> | yeah |
| 2021-03-02 07:53:24 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-02 07:53:29 | <edwardk> | boxscape: yeah i was infodumping code on him the other night |
| 2021-03-02 07:53:35 | <boxscape> | haha I see |
| 2021-03-02 07:54:08 | <edwardk> | we were trying to find _any_ way we could to trick ghc into allowing me to have the kind of Functor I want without having to fix a bug left in levity polymorphism |
| 2021-03-02 07:56:23 | <nshepperd2> | that's pretty spooky |
| 2021-03-02 07:57:05 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Remote host closed the connection) |
| 2021-03-02 07:58:40 | <edwardk> | holy cow i got it to work and i don't know why |
| 2021-03-02 07:58:40 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-igqvlzivrkvilmgu) |
| 2021-03-02 08:00:19 | <tdammers> | sounds like programming in clojure |
| 2021-03-02 08:01:25 | <edwardk> | oof |
| 2021-03-02 08:01:32 | <edwardk> | guess i still can't turn on -fobject-code |
| 2021-03-02 08:01:39 | <edwardk> | ghci starts spitting out: clang: error: unable to execute command: posix_spawn failed: Argument list too long |
| 2021-03-02 08:02:36 | <edwardk> | i'm mostly sad because if i ever have to write something that takes 2 levity-polymorphic arguments i'll be stuck with the same size issues. |
| 2021-03-02 08:02:40 | <edwardk> | e.g. State s a |
| 2021-03-02 08:03:42 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-02 08:04:17 | → | jhrcek joins (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) |
| 2021-03-02 08:05:21 | <jhrcek> | Hello @hvr, not sure if you saw this already, but could you please check this PR? https://github.com/haskell-hvr/base-noprelude/pull/13 |
| 2021-03-02 08:05:56 | <jhrcek> | Having this released on hackage would make our migration to ghc 8.10.4 more pleasant :) |
| 2021-03-02 08:06:15 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:30e7:f9ef:2218:63e0) (Remote host closed the connection) |
| 2021-03-02 08:06:27 | → | graf_blutwurst joins (~user@adsl-178-38-234-220.adslplus.ch) |
| 2021-03-02 08:09:09 | → | befuddled joins (~befuddled@49.207.131.200) |
| 2021-03-02 08:10:15 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-03-02 08:10:46 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-02 08:20:45 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 2021-03-02 08:22:44 | × | graf_blutwurst quits (~user@adsl-178-38-234-220.adslplus.ch) (Remote host closed the connection) |
| 2021-03-02 08:23:13 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:30e7:f9ef:2218:63e0) |
| 2021-03-02 08:24:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-02 08:24:20 | × | danza quits (~francesco@151.53.76.37) (Quit: Leaving) |
| 2021-03-02 08:25:40 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-02 08:25:50 | <olligobber> | merijn, https://github.com/merijn/validated-literals/issues/4 |
| 2021-03-02 08:25:55 | <olligobber> | I found a thing |
| 2021-03-02 08:25:56 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-03-02 08:26:20 | <merijn> | olligobber: I saw that, but that seems more likely to be a ghci bug? |
| 2021-03-02 08:26:32 | <olligobber> | probably |
| 2021-03-02 08:26:51 | <merijn> | Probably some weirdness with how ghci accepts both Show values and IO interacting |
| 2021-03-02 08:26:55 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:745a:4c62:d02:a3cc) (Ping timeout: 272 seconds) |
| 2021-03-02 08:27:22 | <merijn> | because clearly it's *not* compiling and running the print |
| 2021-03-02 08:27:31 | <olligobber> | yeah |
| 2021-03-02 08:28:39 | <olligobber> | though `print $undefined` errors properly |
| 2021-03-02 08:29:34 | <olligobber> | ah, but `print ($$undefined :: String)` does not error |
| 2021-03-02 08:29:51 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-03-02 08:29:54 | <merijn> | Whoo! Sounds like "not my problem"! ;) |
| 2021-03-02 08:30:18 | <olligobber> | guess I'll submit a bug report to haskell |
| 2021-03-02 08:31:33 | <olligobber> | or is it a template haskell issue? |
| 2021-03-02 08:31:44 | <merijn> | "Yes" ;) |
| 2021-03-02 08:32:02 | <merijn> | Sounds like there's an issue with typed TH and ghci? |
| 2021-03-02 08:32:16 | <olligobber> | yeah |
| 2021-03-02 08:33:36 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 240 seconds) |
| 2021-03-02 08:36:28 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-02 08:37:06 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2021-03-02 08:37:50 | → | wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 2021-03-02 08:39:02 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:ae28:1405:caeb:fbc8) |
| 2021-03-02 08:41:06 | × | jhrcek quits (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) (Read error: Connection reset by peer) |
| 2021-03-02 08:46:08 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-03-02 08:46:51 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-fhpztltksioqsdcb) (Quit: Connection closed for inactivity) |
| 2021-03-02 08:51:03 | <kumo> | b |
| 2021-03-02 08:51:14 | → | kenran joins (~kenran@b2b-37-24-119-190.unitymedia.biz) |
| 2021-03-02 08:53:07 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-03-02 08:55:06 | <kenran> | Why is it that after doing a "cabal build all", a "cabal --enable-documentation build all" just ends with "up to date"? I'd like to somehow force documentation creation with a flag. Is that possible other than doing a "cabal clean" beforehand? |
| 2021-03-02 08:55:32 | × | remby quits (~rcg@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) (Quit: Konversation terminated!) |
| 2021-03-02 08:55:54 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2021-03-02 08:56:09 | <kenran> | (I'd like to get rid of the "documentation: True" in my cabal.project) |
| 2021-03-02 08:57:45 | → | chisui joins (577bc9db@i577BC9DB.versanet.de) |
| 2021-03-02 08:57:45 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2021-03-02 08:57:59 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 2021-03-02 08:58:06 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2021-03-02 08:58:42 | → | matthew112 joins (~Username@c-67-185-10-147.hsd1.wa.comcast.net) |
| 2021-03-02 08:59:47 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2021-03-02 08:59:54 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Client Quit) |
| 2021-03-02 09:00:10 | × | betrion[m] quits (betrionmat@gateway/shell/matrix.org/x-ffgdptepxqzbfrzi) (Quit: Idle for 30+ days) |
| 2021-03-02 09:00:11 | × | phittacus quits (bklmatrixo@gateway/shell/matrix.org/x-dbjtrcksijverjxv) (Quit: Idle for 30+ days) |
| 2021-03-02 09:00:12 | × | jchia[m] quits (jchiamatri@gateway/shell/matrix.org/x-mkoiivxvcbjgzwnc) (Quit: Idle for 30+ days) |
| 2021-03-02 09:02:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Ping timeout: 240 seconds) |
| 2021-03-02 09:06:37 | × | chisui quits (577bc9db@i577BC9DB.versanet.de) (Quit: Connection closed) |
| 2021-03-02 09:06:50 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2021-03-02 09:07:34 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.171) (Ping timeout: 245 seconds) |
| 2021-03-02 09:09:29 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-03-02 09:10:19 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 268 seconds) |
| 2021-03-02 09:11:24 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-02 09:13:53 | → | catt joins (~r@31.127.31.99) |
| 2021-03-02 09:14:25 | × | Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds) |
| 2021-03-02 09:15:53 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-cplnzsffvdwxtsrz) (Quit: Connection closed for inactivity) |
| 2021-03-02 09:15:54 | → | fendor joins (~fendor@91.141.3.125.wireless.dyn.drei.com) |
| 2021-03-02 09:16:06 | → | chisui joins (577bc9db@i577BC9DB.versanet.de) |
| 2021-03-02 09:16:20 | <merijn> | kenran: Use "cabal haddock"? |
| 2021-03-02 09:17:05 | → | o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-03-02 09:17:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-02 09:17:44 | <merijn> | kenran: I mean, "build" builds the code, so if nothing changed it doesn't have to rebuild. The fact that it generates docs too with --enable-documentation isn't really handled, because "cabal haddock" is the intended command for generating documentation |
| 2021-03-02 09:18:01 | × | xff0x quits (~xff0x@2001:1a81:53bf:4d00:3684:b677:6699:2fd9) (Quit: xff0x) |
| 2021-03-02 09:18:02 | → | deja joins (~deja@213142096165.public.telering.at) |
| 2021-03-02 09:18:10 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-03-02 09:18:33 | × | redmp quits (~redmp@172.58.38.231) (Ping timeout: 264 seconds) |
| 2021-03-02 09:20:59 | → | d1rges joins (~d1rges@2001-b011-8011-1df2-db95-6d0e-13aa-cdee.dynamic-ip6.hinet.net) |
| 2021-03-02 09:21:07 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-02 09:21:49 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-02 09:21:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-03-02 09:23:08 | <kenran> | merijn: It's been a long time since I've tried, but last time I couldn't get my use case to run with cabal haddock (it's a multi-package project). I think I couldn't get it to create a "global" index.html. But I'll try again maybe, thanks! |
| 2021-03-02 09:23:55 | × | knupfer quits (~Thunderbi@200116b82ca658002159149b9f374835.dip.versatel-1u1.de) (Quit: knupfer) |
| 2021-03-02 09:23:56 | → | xff0x joins (~xff0x@2001:1a81:53bf:4d00:3684:b677:6699:2fd9) |
All times are in UTC.