Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 801 802 803 804 805 806 807 808 809 810 811 .. 5022
— 502,152 events total
2020-10-22 15:52:36 <tomsmeding> ph88: does that even compile? I don't think it does
2020-10-22 15:52:48 <tomsmeding> or perhaps with DataKinds?
2020-10-22 15:53:48 × isBEKaml quits (~~.~@42.110.181.139) (Changing host)
2020-10-22 15:53:48 → isBEKaml joins (~~.~@unaffiliated/isbekaml)
2020-10-22 15:54:22 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 15:55:27 <tomsmeding> I see with a number of extensions it does compile
2020-10-22 15:55:28 → beaups joins (~beaups@84.39.117.57)
2020-10-22 15:55:40 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-22 15:55:45 tomsmeding requests to ignore my comments, I also don't know exactly how this all works
2020-10-22 15:55:56 → bartemius joins (~bartemius@109-252-20-20.nat.spd-mgts.ru)
2020-10-22 15:57:27 → Tops2 joins (~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de)
2020-10-22 15:58:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 15:58:18 → alp joins (~alp@2a01:e0a:58b:4920:5923:f989:36c2:80ef)
2020-10-22 15:58:41 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 16:00:28 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-22 16:00:33 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-10-22 16:02:10 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-22 16:06:38 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 16:07:40 → ukari joins (~ukari@unaffiliated/ukari)
2020-10-22 16:07:58 hackage tz 0.1.3.5 - Efficient time zone handling https://hackage.haskell.org/package/tz-0.1.3.5 (MihalyBarasz)
2020-10-22 16:08:22 × dhil quits (~dhil@openvpn-125-1027.inf.ed.ac.uk) (Ping timeout: 260 seconds)
2020-10-22 16:10:48 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2020-10-22 16:12:05 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 16:14:11 mshine is now known as simon
2020-10-22 16:16:57 <kuribas> isn't there a library for quickly making form based UIs for editing configuration?
2020-10-22 16:17:07 <kuribas> and exporting to XML?
2020-10-22 16:17:45 <Uniaika> not that I know of
2020-10-22 16:19:20 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-22 16:21:42 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-10-22 16:21:50 → dhil joins (~dhil@195.213.192.122)
2020-10-22 16:21:54 <maerwald> persistent doesn't have `updateMany`?
2020-10-22 16:22:07 <merijn> maerwald: Probably no
2020-10-22 16:22:29 <merijn> maerwald: Why are you using persistent?
2020-10-22 16:22:39 <maerwald> It was not my choice.
2020-10-22 16:22:50 <merijn> maerwald: This does not surprise me ;)
2020-10-22 16:23:11 <maerwald> SQL is already a DSL
2020-10-22 16:23:20 <maerwald> I don't know why I need a shitty on top
2020-10-22 16:23:28 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds)
2020-10-22 16:23:40 × mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving)
2020-10-22 16:23:53 <maerwald> (that goes for all ORMs)
2020-10-22 16:24:03 × erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 256 seconds)
2020-10-22 16:24:28 hackage cobot-io 0.1.3.8 - Biological data file formats and IO https://hackage.haskell.org/package/cobot-io-0.1.3.8 (ozzzzz)
2020-10-22 16:24:35 → erolm_a joins (~erolm_a@62.18.212.252)
2020-10-22 16:24:46 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-22 16:26:29 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-22 16:28:12 × Ariakenom quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-22 16:28:57 hackage ngx-export-tools-extra 0.5.6.0 - More extra tools for Nginx haskell module https://hackage.haskell.org/package/ngx-export-tools-extra-0.5.6.0 (lyokha)
2020-10-22 16:29:30 → solonarv joins (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr)
2020-10-22 16:31:11 → mceier joins (~mceier@89-68-132-187.dynamic.chello.pl)
2020-10-22 16:31:46 × mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Client Quit)
2020-10-22 16:32:11 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-10-22 16:33:26 → mceier joins (~mceier@89-68-132-187.dynamic.chello.pl)
2020-10-22 16:37:15 → borne joins (~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de)
2020-10-22 16:37:35 × ubert quits (~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-22 16:37:50 → thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 16:39:28 × bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection)
2020-10-22 16:41:58 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-22 16:42:12 × thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 16:42:17 → walt joins (~ggVGc@141-136-155-251.dsl.iskon.hr)
2020-10-22 16:42:27 × walt quits (~ggVGc@141-136-155-251.dsl.iskon.hr) (Client Quit)
2020-10-22 16:42:50 → Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 16:44:28 hackage darcs 2.16.3 - a distributed, interactive, smart revision control system https://hackage.haskell.org/package/darcs-2.16.3 (bfrk)
2020-10-22 16:45:29 → thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 16:46:34 × Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds)
2020-10-22 16:47:15 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 16:49:03 × isBEKaml quits (~~.~@unaffiliated/isbekaml) (Quit: Leaving)
2020-10-22 16:50:46 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-22 16:52:43 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-22 16:52:51 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-22 16:52:58 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-22 16:53:45 → Lycurgus joins (~niemand@98.4.96.235)
2020-10-22 16:54:34 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 16:56:59 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-22 16:57:43 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
2020-10-22 16:58:32 × thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 16:58:40 → thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 16:58:59 → tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-22 17:00:14 → awasey joins (~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net)
2020-10-22 17:02:15 fendor__ is now known as fendor
2020-10-22 17:02:34 → Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 17:03:12 × kuribas quits (~user@ptr-25vy0i7rxaeig7h3jwv.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-10-22 17:03:49 × awasey quits (~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net) (Client Quit)
2020-10-22 17:04:50 × Pitaya quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 258 seconds)
2020-10-22 17:05:02 × irc_user quits (uid423822@gateway/web/irccloud.com/x-smhoufshstxnpiwh) (Quit: Connection closed for inactivity)
2020-10-22 17:05:53 → LKoen joins (~LKoen@81.255.219.130)
2020-10-22 17:06:36 → Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 17:09:17 → ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 17:09:33 <monsterchrom> "As a convenience, GHC allows you to omit the quote mark when the name is unambiguous."
2020-10-22 17:10:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 17:10:24 <Uniaika> monsterchrom: wait what
2020-10-22 17:10:27 × Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds)
2020-10-22 17:10:40 <monsterchrom> When you use DataKinds.
2020-10-22 17:12:00 <monsterchrom> And in the case of type-level list, "For type-level lists of two or more elements, such as the signature of foo2 above, the quote may be omitted because the meaning is unambiguous."
2020-10-22 17:12:18 <monsterchrom> Or, meta-ly, an exercise in reading the GHC user's guide.
2020-10-22 17:14:15 × ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 17:16:49 justache is now known as justHaunted
2020-10-22 17:17:27 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-22 17:18:59 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 17:23:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 17:26:17 × GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 801 802 803 804 805 806 807 808 809 810 811 .. 5022

All times are in UTC.