Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 .. 5022
— 502,152 events total
2020-11-20 14:56:52 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-20 14:58:53 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2020-11-20 14:59:36 → Lycurgus joins (~niemand@cpe-45-46-142-188.buffalo.res.rr.com)
2020-11-20 15:00:13 <dminuoso> % Foo { foo = const 1, bar = foo 10 }
2020-11-20 15:00:13 <yahb> dminuoso: ; <interactive>:61:28: error:; * Couldn't match expected type `Int' with actual type `String -> Int'; * Probable cause: `foo' is applied to too few arguments; In the `bar' field of a record; In the expression: Foo {foo = const 1, bar = foo 10}; In an equation for `it': it = Foo {foo = const 1, bar = foo 10}
2020-11-20 15:00:38 <dminuoso> Mmm, what is the idiomatic way to define a recursive data value?
2020-11-20 15:00:54 <dminuoso> Manually with fix?
2020-11-20 15:02:07 <merijn> or just a recursive binding
2020-11-20 15:02:25 × jonatanb_ quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-20 15:02:37 × gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds)
2020-11-20 15:03:09 <dminuoso> merijn: Oh you mean some `let f = Foo { foo = const 1, bar = foo f 10 } in f` ?
2020-11-20 15:03:33 → conal joins (~conal@ip-66-115-176-195.creativelink.net)
2020-11-20 15:03:33 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-20 15:03:33 × conal quits (~conal@ip-66-115-176-195.creativelink.net) (Client Quit)
2020-11-20 15:03:35 <merijn> yeah
2020-11-20 15:03:43 <merijn> Like the classis
2020-11-20 15:03:51 <merijn> > let ones = 1 : ones in ones
2020-11-20 15:03:53 <lambdabot> [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1...
2020-11-20 15:03:57 × martin02 quits (silas@hund.fs.lmu.de) (Ping timeout: 244 seconds)
2020-11-20 15:04:03 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-20 15:04:20 <merijn> Anyone happen to know how to set the default value of a UTCTime column to the epoch in persistent?
2020-11-20 15:04:24 → darjeeling_ joins (~darjeelin@122.245.211.11)
2020-11-20 15:04:51 → conal joins (~conal@ip-66-115-176-195.creativelink.net)
2020-11-20 15:05:46 → ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
2020-11-20 15:05:58 <dminuoso> merijn: Mmm, cant you set default=CURRENT_TIME?
2020-11-20 15:06:15 <merijn> How is CURRENT_TIME the epoch?
2020-11-20 15:06:19 <dminuoso> Oh
2020-11-20 15:06:39 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer)
2020-11-20 15:06:55 × mstruebing quits (~mstruebin@2001:41d0:8:93c7::1) (Ping timeout: 240 seconds)
2020-11-20 15:07:17 <dminuoso> Curious, you say UTCTime but epoch
2020-11-20 15:07:25 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-20 15:07:33 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-20 15:07:35 <dminuoso> What kind of column does persistent map UTCTime to?
2020-11-20 15:08:34 <merijn> TIMESTAMP (in sqlite)
2020-11-20 15:08:54 → mstruebing joins (~mstruebin@2001:41d0:8:93c7::1)
2020-11-20 15:09:37 → hiroaki joins (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de)
2020-11-20 15:09:59 × connrs- quits (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in)
2020-11-20 15:09:59 × connrs quits (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in)
2020-11-20 15:10:19 <dminuoso> TIMESTAMP? Huh?
2020-11-20 15:10:21 <dminuoso> What's that?
2020-11-20 15:10:52 <dminuoso> Is that an alias for INTEGER?
2020-11-20 15:11:29 <merijn> TEXT
2020-11-20 15:11:41 <merijn> but as ISO8601 string
2020-11-20 15:12:22 → martin02 joins (silas@hund.fs.lmu.de)
2020-11-20 15:12:40 × cheater quits (~user@unaffiliated/cheater) (Remote host closed the connection)
2020-11-20 15:12:51 → connrs joins (~connrs@runciter.connrs.uk)
2020-11-20 15:13:26 → connrs_ joins (~connrs@runciter.connrs.uk)
2020-11-20 15:14:50 → cheater joins (~user@unaffiliated/cheater)
2020-11-20 15:15:10 <dminuoso> I wonder, does persistent accept `foo UTCTime default=(cast(strftime('%s','now') as int)` as a column?
2020-11-20 15:15:28 <dminuoso> Is that sort of what you meant?
2020-11-20 15:15:32 <merijn> No clue what it accepts, hence why I ask :p
2020-11-20 15:15:39 <dminuoso> heh
2020-11-20 15:15:56 <dminuoso> 68:You can use a @default=${sql expression}@ clause to set a default for a field.
2020-11-20 15:16:03 <dminuoso> So the above should work
2020-11-20 15:16:31 hackage leb128-cereal 1.2 - LEB128 and SLEB128 encoding https://hackage.haskell.org/package/leb128-cereal-1.2 (JoachimBreitner)
2020-11-20 15:16:36 <dminuoso> (possibly without the cast if this goes into a text column)
2020-11-20 15:18:36 × texasmynsted quits (~texasmyns@212.102.45.109) ()
2020-11-20 15:18:43 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-20 15:19:06 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-11-20 15:19:06 × p-core quits (~Thunderbi@2a0e:1c80:4:1023::1004) (Remote host closed the connection)
2020-11-20 15:19:26 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-20 15:20:07 → texasmynsted joins (~texasmyns@212.102.45.109)
2020-11-20 15:20:11 → solonarv joins (~solonarv@astrasbourg-653-1-156-4.w90-6.abo.wanadoo.fr)
2020-11-20 15:23:01 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 264 seconds)
2020-11-20 15:23:11 → oish joins (~charlie@185.107.80.85)
2020-11-20 15:25:05 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-20 15:25:28 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-11-20 15:26:52 → wh0 joins (~wh0000@cpc152777-shef18-2-0-cust223.17-1.cable.virginm.net)
2020-11-20 15:27:24 × knupfer quits (~Thunderbi@200116b824bb7e00edb32aa10920b88c.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-11-20 15:27:26 → nados joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-20 15:27:57 × alp quits (~alp@2a01:e0a:58b:4920:d884:ceaa:fae:7708) (Ping timeout: 272 seconds)
2020-11-20 15:28:04 × oish quits (~charlie@185.107.80.85) (Ping timeout: 272 seconds)
2020-11-20 15:28:12 → coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-20 15:28:51 → igghibu joins (~igghibu@91.193.5.30)
2020-11-20 15:29:20 × igghibu quits (~igghibu@91.193.5.30) (Client Quit)
2020-11-20 15:29:26 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-20 15:29:32 × acidjnk_new2 quits (~acidjnk@p200300d0c719ff68956387e811e01df5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-20 15:29:58 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 272 seconds)
2020-11-20 15:31:33 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds)
2020-11-20 15:32:44 × borne quits (~fritjof@200116b86455d000f1dc39039d201adf.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-11-20 15:33:22 → s00pcan joins (~chris@107.181.165.217)
2020-11-20 15:33:36 × connrs_ quits (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in)
2020-11-20 15:33:37 × connrs quits (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in)
2020-11-20 15:34:50 → connrs joins (~connrs@runciter.connrs.uk)
2020-11-20 15:35:26 → connrs_ joins (~connrs@runciter.connrs.uk)
2020-11-20 15:37:08 → hlisp joins (~hlisp@114.246.35.11)
2020-11-20 15:37:44 × whatisRT quits (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-20 15:38:30 hackage phonetic-languages-permutations 0.2.0.0 - Commonly used versions of the phonetic-languages-common package https://hackage.haskell.org/package/phonetic-languages-permutations-0.2.0.0 (OleksandrZhabenko)
2020-11-20 15:39:45 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2020-11-20 15:41:01 × mrchampion quits (~mrchampio@216-26-218-246.dynamic.tbaytel.net) (Ping timeout: 264 seconds)
2020-11-20 15:41:48 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 260 seconds)
2020-11-20 15:42:07 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-11-20 15:44:07 → mrchampion joins (~mrchampio@216-26-218-246.dynamic.tbaytel.net)
2020-11-20 15:47:56 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-20 15:48:30 hackage phonetic-languages-simplified-common 0.2.0.0 - A simplified version of the phonetic-languages-functionality https://hackage.haskell.org/package/phonetic-languages-simplified-common-0.2.0.0 (OleksandrZhabenko)
2020-11-20 15:50:07 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 246 seconds)
2020-11-20 15:50:14 × ubert quits (~Thunderbi@p200300ecdf1e5355e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-11-20 15:50:34 → ubert joins (~Thunderbi@p200300ecdf1e5355e6b318fffe838f33.dip0.t-ipconnect.de)
2020-11-20 15:53:25 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-20 15:54:58 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
←Prev  Next→
Page 1 .. 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 .. 5022

All times are in UTC.