Logs: freenode/#haskell
| 2021-04-23 22:09:09 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Quit: Leaving) |
| 2021-04-23 22:13:10 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-23 22:13:41 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-23 22:15:00 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-04-23 22:16:46 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-04-23 22:17:36 | × | fendor quits (~fendor@178.115.128.219.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-23 22:19:06 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2021-04-23 22:20:24 | → | Alleria joins (~textual@2603-7000-3040-0000-5566-884b-fd9b-56dc.res6.spectrum.com) |
| 2021-04-23 22:20:26 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-23 22:20:26 | × | Guest_92 quits (7a3b26e8@122-59-38-232-adsl.sparkbb.co.nz) (Quit: Connection closed) |
| 2021-04-23 22:20:47 | Alleria | is now known as Guest48627 |
| 2021-04-23 22:20:57 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-23 22:21:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-23 22:21:41 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-23 22:29:19 | <carbolymer> | it finally completed! 10hrs instead on 1hr |
| 2021-04-23 22:29:36 | <carbolymer> | of* |
| 2021-04-23 22:29:39 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 252 seconds) |
| 2021-04-23 22:29:39 | × | dunj3 quits (~dunj3@2001:16b8:30e8:aa00:6400:c54b:6c37:a59c) (Remote host closed the connection) |
| 2021-04-23 22:30:33 | × | chomwitt quits (~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf) (Ping timeout: 246 seconds) |
| 2021-04-23 22:31:41 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds) |
| 2021-04-23 22:33:31 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-04-23 22:34:02 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-23 22:34:07 | <monochrom> | yikes |
| 2021-04-23 22:34:29 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-04-23 22:36:27 | → | wroathe joins (~wroathe@68.54.25.135) |
| 2021-04-23 22:36:53 | <nut> | I have a file outside of any cabal or stack project and i'm using emacs as repl. How to import packages such as lens? |
| 2021-04-23 22:37:06 | × | litenull quits (~litenull@37.120.211.188) (K-Lined) |
| 2021-04-23 22:38:11 | <nut> | C-c C-r, when i do the reload, the ghci complains that it couldn't load or find the package |
| 2021-04-23 22:39:22 | → | Narinas joins (~Narinas@187.178.93.112) |
| 2021-04-23 22:40:02 | <cjay> | there is a way to do magic comments for cabal for scripts. not sure about loading them in ghci though, maybe cabal repl works outside of a project on that. |
| 2021-04-23 22:41:05 | × | wroathe quits (~wroathe@68.54.25.135) (Ping timeout: 246 seconds) |
| 2021-04-23 22:41:13 | <sclv> | nut: cabal-repl —build-depends |
| 2021-04-23 22:41:41 | <sclv> | with the depss following the flag |
| 2021-04-23 22:41:55 | <sclv> | have emacs call that instead of raw ghci |
| 2021-04-23 22:42:06 | <sclv> | or learn the ways of cabal-env |
| 2021-04-23 22:43:53 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-23 22:43:54 | <nut> | thx! |
| 2021-04-23 22:44:46 | <cjay> | hmm the comment syntax is {- cabal: ... -} and then things liki build-depends: in that |
| 2021-04-23 22:45:06 | <cjay> | but I can't get cabal repl do anything with that, it's just for running :/ |
| 2021-04-23 22:48:19 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-23 22:54:13 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-23 22:55:24 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds) |
| 2021-04-23 22:56:37 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-23 22:58:04 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-23 23:00:46 | × | tsaka_ quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-04-23 23:01:59 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) (Ping timeout: 260 seconds) |
| 2021-04-23 23:02:57 | → | RandomArcher joins (~RandomArc@145.249.23.89) |
| 2021-04-23 23:03:32 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-23 23:03:40 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-23 23:04:11 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-23 23:05:18 | → | SynOps joins (~SynOps@185.204.1.185) |
| 2021-04-23 23:05:44 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-23 23:06:31 | × | zva quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-04-23 23:06:55 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-23 23:07:38 | × | LKoen quits (~LKoen@11.160.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-23 23:10:10 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Remote host closed the connection) |
| 2021-04-23 23:10:35 | → | bennofs_ joins (~quassel@dynamic-077-013-079-233.77.13.pool.telefonica.de) |
| 2021-04-23 23:11:58 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-23 23:12:01 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 2021-04-23 23:12:14 | → | tsaka_ joins (~torstein@athedsl-4519432.home.otenet.gr) |
| 2021-04-23 23:14:35 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-23 23:15:28 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-23 23:15:47 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-23 23:19:18 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-04-23 23:19:18 | × | hexfive quits (~hexfive@50.35.83.177) (Client Quit) |
| 2021-04-23 23:20:23 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-23 23:20:46 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-23 23:23:37 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-04-23 23:25:11 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-23 23:28:31 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-23 23:30:09 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-04-23 23:30:25 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-23 23:30:30 | → | tanner_ joins (~tanner@216.106.138.184) |
| 2021-04-23 23:30:50 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-23 23:31:02 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-23 23:32:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-23 23:33:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-23 23:40:27 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-23 23:40:35 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-23 23:41:38 | × | RandomArcher quits (~RandomArc@145.249.23.89) (Ping timeout: 246 seconds) |
| 2021-04-23 23:42:01 | → | RandomArcher joins (RandomArch@gateway/vpn/protonvpn/randomarcher) |
| 2021-04-23 23:42:43 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-23 23:45:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-23 23:50:26 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-23 23:51:41 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-23 23:51:52 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-23 23:52:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-23 23:53:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-23 23:58:05 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-24 00:07:14 | <tanner_> | noob question: I wanna define a function like this: |
| 2021-04-24 00:07:23 | <tanner_> | func :: Int -> Int |
| 2021-04-24 00:07:28 | <tanner_> | func 1 = 2 |
| 2021-04-24 00:07:35 | <tanner_> | func = (+1) |
| 2021-04-24 00:08:57 | <geekosaur> | you need a wildcard in the second case |
| 2021-04-24 00:08:59 | <tanner_> | but GHC says the two equations have a different number of arguments. Is this really the problem, (+1) clearly takes one argument. Or is it that the semantics of how to deal with a definition like this aren't well defined? |
| 2021-04-24 00:09:15 | <geekosaur> | oh, right, ghc doesn't allow that case |
| 2021-04-24 00:09:39 | <geekosaur> | it's a deviation from standard Haskell that all cases of a function must have the same number of arguments |
| 2021-04-24 00:10:06 | <geekosaur> | so you'll have to eta-expand the second one to: func x = x + 1 |
| 2021-04-24 00:10:35 | <tanner_> | Ok, so is the problem that it can't figure out (+1) only takes a single argument? |
| 2021-04-24 00:11:14 | <geekosaur> | the problem is what I said it is |
All times are in UTC.