Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 .. 18037
— 1,803,601 events total
2021-07-26 14:29:31 → amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-07-26 14:30:17 → gehmehgeh joins (~user@user/gehmehgeh)
2021-07-26 14:31:47 → edrx joins (~Eduardo@2804:56c:d2fd:4c00:aca5:2e51:5bdd:e463)
2021-07-26 14:33:37 → shriekingnoise joins (~shrieking@186.137.144.80)
2021-07-26 14:33:54 → alecs joins (~alecs@151.62.33.211)
2021-07-26 14:34:56 × gehmehgeh quits (~user@user/gehmehgeh) (Client Quit)
2021-07-26 14:35:51 <edrx> hi all, I am trying to debug this issue by myself: <https://github.com/agda/agda/issues/5486>, "agda --compile hello-world.agda: how do I install ieee754 with stack? #5486" - and I've been able to reduce it to a problem with just stack and ghc...
2021-07-26 14:36:22 → mc47 joins (~mc47@xmonad/TheMC47)
2021-07-26 14:36:38 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-07-26 14:36:39 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-26 14:37:02 → mc47 joins (~mc47@xmonad/TheMC47)
2021-07-26 14:38:36 × alecs quits (~alecs@151.62.33.211) (Client Quit)
2021-07-26 14:39:17 → alecs joins (~alecs@151.62.33.211)
2021-07-26 14:40:18 <edrx> I tried to do "stack install ieee754" and "stack install text" but the haskell code that Agda generates still can't find the Numeric.IEEE module... more precisely, one of the haskell files generated by Agda has this line - "import Numeric.IEEE ( IEEE(identicalIEEE, nan) )"
2021-07-26 14:42:39 <geekosaur> you have to compile via stack to see stuff installed via stack. "stack install" installs into the "global project" — but ghc doesn't know about stack projects, even its "global project"
2021-07-26 14:43:53 × alecs quits (~alecs@151.62.33.211) (Client Quit)
2021-07-26 14:44:22 → alecs joins (~alecs@151.62.33.211)
2021-07-26 14:44:38 <geekosaur> so any invocations of ghc have to be replaced by "stack ghc --"
2021-07-26 14:44:41 <edrx> looks promising! how do I make stack compile ieee754?
2021-07-26 14:45:34 <edrx> this "stack ghc" will call ghc with extra command line options to make use the right directories, right?
2021-07-26 14:45:56 <edrx> make use -> make it (ghc) use
2021-07-26 14:46:01 <geekosaur> yes
2021-07-26 14:46:01 × alecs quits (~alecs@151.62.33.211) (Client Quit)
2021-07-26 14:46:19 → alecs joins (~alecs@151.62.33.211)
2021-07-26 14:46:52 × xff0x quits (~xff0x@2001:1a81:523c:b300:334f:584b:1868:61b3) (Ping timeout: 256 seconds)
2021-07-26 14:46:58 × alecs quits (~alecs@151.62.33.211) (Client Quit)
2021-07-26 14:47:12 → alecs joins (~alecs@151.62.33.211)
2021-07-26 14:47:20 × peterhil quits (~peterhil@mobile-access-5d6af6-209.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-07-26 14:47:34 → xff0x joins (~xff0x@2001:1a81:523c:b300:ba7e:c7d5:b4b7:3493)
2021-07-26 14:47:41 → peterhil joins (~peterhil@mobile-access-5d6af6-209.dhcp.inet.fi)
2021-07-26 14:49:09 <edrx> is there a way to make stack just say how it would run ghc instead of running ghc? I just discovered that if I call agda as "agda --ghc-dont-call-ghc --compile test1.agda" is says "NOT calling: ghc -O -o /home/edrx/AGDA/test1 -Werror -i/home/edrx/AGDA -main-is MAlonzo.Code.Qtest1 /home/edrx/AGDA/MAlonzo/Code/Qtest1.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns" instead of calling ghc, and I am
2021-07-26 14:49:10 <edrx> using that for debugging...
2021-07-26 14:49:59 → savask joins (~savask@Powder/Developer/savask)
2021-07-26 14:50:16 <geekosaur> it's more complex than that as it's building a package environment in the background, iirc
2021-07-26 14:50:18 → pbrisbin joins (~patrick@162.210.105.197)
2021-07-26 14:50:27 <edrx> ouch =(
2021-07-26 14:50:49 <geekosaur> it's easier if you can just convince agda to call "stack ghc --"
2021-07-26 14:51:15 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-26 14:51:24 × alecs quits (~alecs@151.62.33.211) (Client Quit)
2021-07-26 14:51:40 <savask> Hello. Could someone point me at a way of including a text file into a haskell prog at compile time? As if it was a huge String constant defined in some module
2021-07-26 14:51:40 <edrx> that would make ghc run "in the global stack project"?
2021-07-26 14:51:48 <geekosaur> yes
2021-07-26 14:52:03 <geekosaur> unless there's a local stack project
2021-07-26 14:52:57 → gehmehgeh joins (~user@user/gehmehgeh)
2021-07-26 14:53:18 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 268 seconds)
2021-07-26 14:53:47 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-26 14:54:09 <edrx> ok! the agda people usually take at least a day to answer, so let me ask a couple of other questions... how do I make stack list the packages that are installed in the global project? and how I make it list the files and directories that are associated to the package ieee754?
2021-07-26 14:55:50 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2021-07-26 14:56:40 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-26 14:56:40 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-07-26 14:56:44 allbery_b is now known as geekosaur
2021-07-26 15:00:08 <geekosaur> sorry, I don't know stack well enough to answer that :(
2021-07-26 15:01:32 <geekosaur> sm, you around
2021-07-26 15:01:35 <geekosaur> ?
2021-07-26 15:02:50 <edrx> thanks a lot anyway!!! =)
2021-07-26 15:08:18 <edrx> the command that agda executes to call ghc to compile the .hs files that it generates is this one:
2021-07-26 15:08:24 <edrx> "ghc -O -o /home/edrx/AGDA/test1 -Werror -i/home/edrx/AGDA -main-is MAlonzo.Code.Qtest1 /home/edrx/AGDA/MAlonzo/Code/Qtest1.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns"
2021-07-26 15:09:34 <edrx> how do I make stack execute that? (I tried 5 syntaxes and they didn't work... apologies for my beginerishness)
2021-07-26 15:10:34 <geekosaur> did you include the -- ?
2021-07-26 15:10:59 <geekosaur> (with a space after; it stops stack from eating parameters meant for ghc)
2021-07-26 15:11:39 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-26 15:12:10 <edrx> I did, but only in the wrong places... now I tried "stack exec -- ghc -O -o ..." and it worked! thanks!!!
2021-07-26 15:12:39 ← Bayes parts (~Bayes@user/bayes) ()
2021-07-26 15:14:36 × jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-26 15:15:27 × dajoer quits (~david@user/gvx) (Quit: leaving)
2021-07-26 15:15:46 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-26 15:16:10 × kenran quits (~kenran@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 240 seconds)
2021-07-26 15:27:16 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-26 15:30:37 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-07-26 15:30:52 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 265 seconds)
2021-07-26 15:30:55 × fendor quits (~fendor@178.165.161.47.wireless.dyn.drei.com) (Remote host closed the connection)
2021-07-26 15:31:19 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-26 15:31:44 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-07-26 15:33:26 × justache quits (~justache@user/justache) (Quit: The Lounge - https://thelounge.chat)
2021-07-26 15:33:44 Megant_ is now known as Megant
2021-07-26 15:34:16 → justache joins (~justache@user/justache)
2021-07-26 15:34:54 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-26 15:36:45 → econo joins (uid147250@user/econo)
2021-07-26 15:39:32 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:4d31:e765:567c:8f88) (Quit: WeeChat 2.8)
2021-07-26 15:40:49 × cohn quits (~noone@user/cohn) (Quit: leaving)
2021-07-26 15:42:50 → jeetelongname joins (~jeet@host-89-241-98-229.as13285.net)
2021-07-26 15:43:15 × neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 268 seconds)
2021-07-26 15:45:17 → fendor joins (~fendor@178.165.161.47.wireless.dyn.drei.com)
2021-07-26 15:45:18 × Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer)
2021-07-26 15:46:09 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 276 seconds)
2021-07-26 15:46:18 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-26 15:46:46 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-26 15:48:48 × jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2021-07-26 15:49:32 × lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-07-26 15:50:26 × peterhil quits (~peterhil@mobile-access-5d6af6-209.dhcp.inet.fi) (Ping timeout: 250 seconds)
2021-07-26 15:51:58 → dunkeln joins (~dunkeln@94.129.69.87)
2021-07-26 15:52:52 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-26 15:53:22 → slycelote_ joins (~slycelote@user/slycelote)
2021-07-26 15:53:37 × slycelote quits (~slycelote@user/slycelote) (Read error: Connection reset by peer)
2021-07-26 15:53:41 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-26 15:55:18 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-26 15:57:31 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-07-26 15:58:17 × jeetelongname quits (~jeet@host-89-241-98-229.as13285.net) (Ping timeout: 252 seconds)
2021-07-26 15:58:18 → zmt01 joins (~zmt00@user/zmt00)
2021-07-26 15:58:40 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
←Prev  Next→
Page 1 .. 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 .. 18037

All times are in UTC.