Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 3911 .. 5022
— 502,152 events total
2021-03-18 22:50:54 <monochrom> > seq (undefined :: MonoN) ()
2021-03-18 22:50:55 <lambdabot> error:
2021-03-18 22:50:55 <lambdabot> Not in scope: type constructor or class ‘MonoN’
2021-03-18 22:51:00 <monochrom> % seq (undefined :: MonoN) ()
2021-03-18 22:51:00 <yahb> monochrom: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:45:6 in interactive:Ghci18
2021-03-18 22:51:38 <Axman6> is the question if !(x :: Identity a) the same as (Identity !x)
2021-03-18 22:51:44 <monochrom> These bottoms also happen if you s/undefined/MonoN undefined/
2021-03-18 22:54:47 <monochrom> % let { !(MonoN x) = undefined } in ()
2021-03-18 22:54:47 <yahb> monochrom: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:46:20 in interactive:Ghci18
2021-03-18 22:54:56 <monochrom> % let { (MonoN !x) = undefined } in ()
2021-03-18 22:54:56 <yahb> monochrom: ()
2021-03-18 22:55:00 <monochrom> Different
2021-03-18 22:55:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-18 22:56:10 <Axman6> that genuinely surprises me
2021-03-18 22:56:34 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 22:56:37 <monochrom> For maximum accuracy, you can always translate ! back to seq (tedious but the GHC user's guide has it), then take note that both "seq (undefined :: MonoN) ()" and "seq (MonoN undefined) ()" both bomb.
2021-03-18 22:57:18 <monochrom> What doesn't bomb is "case undefined of MonoN _ -> ()"
2021-03-18 22:57:29 <monochrom> % case undefined of MonoN _ -> ()
2021-03-18 22:57:29 <yahb> monochrom: ()
2021-03-18 22:57:48 <monochrom> So seq is a bit different from pattern matching for newtypes.
2021-03-18 22:58:35 × zebrag quits (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-18 22:58:55 → zebrag joins (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-18 22:59:59 → Alleria joins (~textual@2603-7000-3040-0000-7953-b284-70cd-9e2c.res6.spectrum.com)
2021-03-18 23:00:23 Alleria is now known as Guest217
2021-03-18 23:01:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-18 23:02:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 23:02:22 × m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Quit: WeeChat 2.9)
2021-03-18 23:03:57 × stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-18 23:04:27 <monochrom> This subtlety is all implied by the Haskell Report. One clause says MonoN bottom = bottom. Another clause says seq bottom () = bottom, so MonoN bottom is included. Lastly, the pattern matching clauses have a corner case for "(case bottom of MonoN pat -> e) = (case bottom of pat -> e)" but my pat is _
2021-03-18 23:11:20 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-18 23:12:26 → Tario joins (~Tario@201.192.165.173)
2021-03-18 23:13:25 × coot quits (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-18 23:13:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-18 23:13:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 23:14:32 × motersen quits (~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de) (Ping timeout: 240 seconds)
2021-03-18 23:14:53 hackage kempe 0.2.0.0 - Kempe compiler https://hackage.haskell.org/package/kempe-0.2.0.0 (vmchale)
2021-03-18 23:15:54 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-18 23:15:57 × molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-18 23:16:59 → stree joins (~stree@68.36.8.116)
2021-03-18 23:17:56 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-03-18 23:18:52 × xff0x quits (~xff0x@2001:1a81:520b:5100:334b:8a6e:b179:1c97) (Ping timeout: 260 seconds)
2021-03-18 23:19:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-18 23:19:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 23:20:17 → xff0x joins (~xff0x@2001:1a81:522e:8700:e7a1:c2d3:2b7b:9821)
2021-03-18 23:24:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-18 23:25:51 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 23:29:42 × canta quits (~canta@cvm0.d5k.one) (Quit: WeeChat 2.8)
2021-03-18 23:30:51 → molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-18 23:31:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-18 23:31:26 → SegFaultAX joins (SegFaultAX@unaffiliated/segfaultax)
2021-03-18 23:31:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 23:34:21 → d34df00d joins (~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net)
2021-03-18 23:35:00 × Guest5530 quits (beed0de4@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.228) (Quit: Connection closed)
2021-03-18 23:35:26 → elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-18 23:37:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-18 23:37:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 23:38:00 × kupi quits (uid212005@gateway/web/irccloud.com/x-svypwsrujkkhxdfd) (Quit: Connection closed for inactivity)
2021-03-18 23:39:53 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-03-18 23:40:51 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-18 23:42:37 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-03-18 23:43:03 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-18 23:43:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 23:43:27 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-03-18 23:47:11 → kderme joins (4fa6552d@ppp079166085045.access.hol.gr)
2021-03-18 23:48:54 × DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 260 seconds)
2021-03-18 23:49:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-18 23:49:10 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-18 23:49:22 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 23:51:28 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-18 23:53:39 → aplainze1akind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-18 23:53:56 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 244 seconds)
2021-03-18 23:54:32 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-18 23:54:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 23:58:35 × zebrag quits (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-18 23:58:55 → zebrag joins (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-18 23:59:10 × Hi-Angel quits (~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) (Ping timeout: 260 seconds)
2021-03-18 23:59:57 × redmp quits (~redmp@172.58.30.211) (Ping timeout: 264 seconds)
2021-03-18 23:59:57 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-19 00:00:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:01:51 → ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-19 00:02:08 × acidjnk_new quits (~acidjnk@p200300d0c72b9511759421c9ddfcc58f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-03-19 00:02:20 → canta joins (~canta@cvm0.d5k.one)
2021-03-19 00:03:44 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2021-03-19 00:03:48 × epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 260 seconds)
2021-03-19 00:04:01 × cosimone quits (~user@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 256 seconds)
2021-03-19 00:05:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-19 00:07:01 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:07:26 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-19 00:08:56 × myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 240 seconds)
2021-03-19 00:09:11 → SolidusRiver joins (~fuag1@174.127.249.180)
2021-03-19 00:12:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-19 00:12:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:12:57 → ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-19 00:14:29 → zzz joins (~zzz@2a03:b0c0:3:d0::3095:3001)
2021-03-19 00:14:52 zzz is now known as Guest38849
2021-03-19 00:16:35 × sgibber2018 quits (d055ed90@208.85.237.144) (Quit: Connection closed)
2021-03-19 00:18:02 × Guest26442 quits (~zzz@2a03:b0c0:3:d0::3095:3001) (Ping timeout: 264 seconds)
2021-03-19 00:18:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-19 00:18:49 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:19:43 falsifia1 is now known as falsifian
←Prev  Next→
Page 1 .. 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 3911 .. 5022

All times are in UTC.