Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 271 272 273 274 275 276 277 278 279 280 281 .. 5022
— 502,152 events total
2020-09-28 15:16:53 → rayer joins (path@gateway/shell/xshellz/x-wnmzeedxnwlaimsy)
2020-09-28 15:19:25 → wroathe_ joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-28 15:19:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-09-28 15:20:11 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 15:21:19 → jchia_ joins (~jchia@45.32.62.73)
2020-09-28 15:22:20 × jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-09-28 15:23:20 <ph88> ski, i meant when you say there are two different runReaderT and the second being "type of the field selection/projection function"
2020-09-28 15:23:23 → jchia_ joins (~jchia@45.32.62.73)
2020-09-28 15:23:43 → Dolly joins (585fc8fd@ti0203q160-3035.bb.online.no)
2020-09-28 15:24:07 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-09-28 15:24:17 → Saten-san joins (~Saten-san@ip-213-49-123-116.dsl.scarlet.be)
2020-09-28 15:25:26 × jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-09-28 15:26:30 → jchia_ joins (~jchia@58.32.37.220)
2020-09-28 15:27:04 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 15:27:47 × chaosmasttter quits (~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-28 15:28:34 × Saukk quits (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) (Remote host closed the connection)
2020-09-28 15:28:49 × ubert quits (~Thunderbi@178.165.129.225.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2020-09-28 15:30:55 × Rudd0^ quits (~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2020-09-28 15:31:02 × lemald quits (~eddie@capybara.lemald.org) (Quit: WeeChat 2.2)
2020-09-28 15:31:59 → lemald joins (~eddie@capybara.lemald.org)
2020-09-28 15:33:47 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-28 15:34:22 <ski> ph88 : well, if you define `data Frob = MkFrob { foo :: Int,bar :: Maybe String,baz :: Int -> IO Bool }', then this declares `Frob' (or rather `MkFrob') to use record syntax, with the fields `foo',`bar',`baz' having the indicated types
2020-09-28 15:35:41 <ski> so if you write `MkFrob { bar = ...,foo = ...,baz = ... }', the types of these expressions `...' will have to be the listed types above. and similarly if you use record update syntax, like `myFrob { foo = newFoo }'
2020-09-28 15:36:27 <ski> but if you just use the field names, in other contexts, they actually work as field extraction functions, of types `foo :: Frob -> Int',`bar :: Frob -> Maybe String',`baz :: Frob -> Int -> IO Bool'
2020-09-28 15:37:34 × MattMareo quits (~mattl@unaffiliated/mattmareo) (Quit: WeeChat 2.7.1)
2020-09-28 15:37:35 <ski> imho, it would have been better if there'd been so additional piece of syntax, marking the field extraction functions. like maybe `#baz :: Frob -> Int -> IO Bool', prefixing a `#' to indicate the extraction function (SML does this)
2020-09-28 15:37:45 → MattMareo joins (~mattl@unaffiliated/mattmareo)
2020-09-28 15:37:47 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 15:38:47 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-09-28 15:40:28 hackage path-dhall-instance 0.1.0.0 - ToDhall and FromDhall instances for Path. https://hackage.haskell.org/package/path-dhall-instance-0.1.0.0 (locallycompact)
2020-09-28 15:40:36 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-28 15:41:15 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890)
2020-09-28 15:42:15 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 244 seconds)
2020-09-28 15:45:38 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-28 15:45:44 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 15:47:48 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 15:51:27 hackage vulkan-utils 0.1.2 - Utils for the vulkan package https://hackage.haskell.org/package/vulkan-utils-0.1.2 (jophish)
2020-09-28 15:52:19 × mmohammadi98129 quits (~mmohammad@188.210.120.20) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-28 15:53:16 → mmohammadi9812 joins (~mmohammad@188.210.120.20)
2020-09-28 15:53:46 → ubert joins (~Thunderbi@178.165.129.225.wireless.dyn.drei.com)
2020-09-28 15:55:08 → robbiet480 joins (~robbiet48@84.39.117.57)
2020-09-28 15:55:28 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-09-28 15:55:35 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-09-28 16:00:29 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-09-28 16:00:42 → bitmagie joins (~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de)
2020-09-28 16:04:17 × ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-28 16:04:57 × cpressey quits (~cpressey@79-72-202-115.dynamic.dsl.as9105.com) (Quit: WeeChat 1.9.1)
2020-09-28 16:06:11 wroathe_ is now known as wroathe
2020-09-28 16:06:31 × John20 quits (~John@82.46.59.122) (Ping timeout: 260 seconds)
2020-09-28 16:07:28 × polyrain quits (~polyrain@2001:8003:e501:6901:c1af:ff99:3f53:5ced) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 16:07:46 × Saten-san quits (~Saten-san@ip-213-49-123-116.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-28 16:08:56 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-09-28 16:10:01 → owenowen joins (~owen@2a02:8084:d6c4:5700:c9e0:a9c6:7765:7680)
2020-09-28 16:11:11 → Saten-san joins (~Saten-san@ip-213-49-123-116.dsl.scarlet.be)
2020-09-28 16:13:05 × p-core quits (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Remote host closed the connection)
2020-09-28 16:16:40 → softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net)
2020-09-28 16:17:37 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-28 16:18:25 → Rudd0^ joins (~Rudd0@185.189.115.98)
2020-09-28 16:18:30 × owenowen quits (~owen@2a02:8084:d6c4:5700:c9e0:a9c6:7765:7680) (Quit: Leaving.)
2020-09-28 16:18:32 × Saten-san quits (~Saten-san@ip-213-49-123-116.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-28 16:20:27 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2020-09-28 16:21:23 → howdoi joins (uid224@gateway/web/irccloud.com/x-rdeeidynjivnuofk)
2020-09-28 16:22:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 16:23:03 × cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds)
2020-09-28 16:23:13 <AWizzArd> Using Cabal 2.4.1.0 I specified version 0.1.0 in .cabal and got Warning: foo.abal:0:0: Version digit with leading zero. Use cabal-version: 2.0 or later to write such versions.
2020-09-28 16:23:23 <AWizzArd> abal => cabal
2020-09-28 16:25:05 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890)
2020-09-28 16:25:13 → lucid_0x80 joins (~lucid_0x8@85.132.71.57)
2020-09-28 16:25:14 <c_wraith> what cabal-version value do you have in the .cabal file?
2020-09-28 16:25:27 <AWizzArd> c_wraith: I left that out. Will try it with.
2020-09-28 16:25:44 <c_wraith> I mean, the message is explicitly telling you to set it to 2.0 or higher...
2020-09-28 16:25:44 → slack1256 joins (~slack1256@181.203.81.7)
2020-09-28 16:25:52 <AWizzArd> c_wraith: It seems I can do this `cabal-version: >= 2` – is that okay?
2020-09-28 16:26:04 ← slack1256 parts (~slack1256@181.203.81.7) ()
2020-09-28 16:26:05 <AWizzArd> c_wraith: I tried to set 2.4 but it complained that this wouldn’t be possible.
2020-09-28 16:26:09 <AWizzArd> >= 2.4
2020-09-28 16:26:11 <c_wraith> unless you explicitly need features from a newer version, yes
2020-09-28 16:26:22 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-28 16:27:07 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-28 16:27:23 × ph88 quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2020-09-28 16:27:23 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 16:28:23 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 16:28:50 × bitmagie quits (~Thunderbi@200116b806356300acea16c9c4c48994.dip.versatel-1u1.de) (Quit: bitmagie)
2020-09-28 16:29:07 dsf_ is now known as dsf
2020-09-28 16:30:18 × esp32_prog quits (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) (Remote host closed the connection)
2020-09-28 16:31:18 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-09-28 16:31:39 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-09-28 16:31:54 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 16:32:01 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-09-28 16:33:25 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 16:33:53 → tzh joins (~tzh@2601:448:c500:5300::82b3)
2020-09-28 16:34:15 → LKoen joins (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-09-28 16:36:05 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-28 16:37:26 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 16:37:56 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 16:38:08 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2020-09-28 16:38:11 → reppertj joins (~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-09-28 16:41:55 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Read error: Connection reset by peer)
2020-09-28 16:42:12 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-28 16:42:16 → kritzefitz joins (~kritzefit@212.86.56.80)
←Prev  Next→
Page 1 .. 271 272 273 274 275 276 277 278 279 280 281 .. 5022

All times are in UTC.