<< 23-04-2019 >>
00:02:57*banc quit (Ping timeout: 245 seconds)
00:06:16FromGitter<arnetheduck> these are problematic, they lead to dangling pointers unless you're careful -> somewhat defeat the purpose of a safe(r) language
00:09:28*banc joined #nim
00:18:34shashlickNot able to compile for Android since -landroid-glob is missing
00:35:32FromGitter<jrfondren> how about this? https://gist.github.com/jrfondren/4f0a1598464f42205c8049823bc15421
00:37:58*acidx quit (Ping timeout: 246 seconds)
00:38:13*acidx joined #nim
00:38:47*rnrwashere joined #nim
01:10:11*jasper quit (Quit: Page closed)
01:32:19FromGitter<Varriount> ryukoposting: Are you around? How goes things?
01:43:39*Guest70925 quit (Quit: issued !quit command)
02:07:16*banc quit (Quit: Bye)
02:09:22rayman22201@shashlick: you need to add custom glob.c
02:09:23rayman22201see https://forum.nim-lang.org/t/2891
02:21:46shashlickoh cool thanks, will check it out
02:28:49*banc joined #nim
02:29:37shashlick@rayman22201: I don't see anything about a custom glob.c in that thread
02:46:46*NimBot joined #nim
02:47:39*jasper__ joined #nim
02:48:50*noonien quit (Quit: Connection closed for inactivity)
02:51:45jasper__shashlick: termux Nim uses this https://github.com/termux/termux-packages/tree/master/packages/libandroid-glob
02:52:41shashlickya but i need to figure out how to cross compile that in dockcross
02:57:00shashlicki got libandroid-glob compiled but now it asks for __ctype_get_mb_cur_max
03:08:06shashlickokay I got nim compiled but it gives a weird error - /system/bin/linker: No such file or directory
03:09:35*rnrwashere quit (Remote host closed the connection)
03:53:38disruptekwhat a mess.
03:56:47shashlickokay that was cause it expects to run on a real android device
04:00:54*mosORadi joined #nim
04:10:36*dddddd quit (Remote host closed the connection)
04:11:28shashlickmeh, got it to compile in 64-bit, now I get: library "libc++_shared.so" not found
04:21:12shashlickwhew - finally got the csources nim binary working in android! now to get it to build koch in dockcross
04:24:07*[rg] quit (Quit: Leaving)
04:30:42*nsf joined #nim
04:41:28*Snircle quit (Quit: Textual IRC Client: www.textualapp.com)
04:53:37*narimiran joined #nim
05:13:42*kapil____ joined #nim
05:23:38*leorize quit (Quit: WeeChat 2.3)
05:40:53*stefanos82 joined #nim
05:46:05*vlad1777d_ quit (Ping timeout: 258 seconds)
05:48:00*[rg] joined #nim
05:57:18*[rg] quit (Ping timeout: 255 seconds)
06:08:07*solitudesf- joined #nim
06:10:39*mosORadi quit (Quit: Connection closed for inactivity)
06:33:23FromGitter<jrfondren> cool, templates can be scoped.
06:37:33*solitudesf- quit (Ping timeout: 245 seconds)
06:43:31*PMunch joined #nim
06:46:44*vlad1777d_ joined #nim
06:51:04*leorize joined #nim
06:59:52FromGitter<kaushalmodi> Can someone on Nim stable eval the snippet in https://github.com/nim-lang/Nim/issues/11089?
07:00:00*gmpreussner quit (Quit: kthxbye)
07:00:58FromGitter<kaushalmodi> It's a small snippet printing 2 floats via strformat; just need to confirm if that issue is actually a regression from stable -> devel
07:01:10FromGitter<jrfondren> I get 1.0 on stable
07:01:48FromGitter<jrfondren> and 1 with the devel build I have, same as you
07:01:52*sealmove joined #nim
07:03:18FromGitter<kaushalmodi> @jrfondren Thanks for confirming!
07:04:48*gmpreussner joined #nim
07:05:00FromGitter<mratsim> it's probably related to the strformat refactoring to allow it in templates
07:05:18*leorize quit (Quit: WeeChat 2.3)
07:14:02Araqso weird, I see no commit that changes anything like that
07:16:19Araqalso ... I remember ensuring that formatFloat produces .0 but apparently it never did (?)
07:19:26Araqgit bisect ftw, can anybody tell me the offending commit?
07:25:41FromGitter<kaushalmodi> Araq: Unless someone figures out the commit, I'll do the git bisect at work today; 3:25am here right now :)
07:27:08narimirani can do it in an hour or so
07:27:36Araqok ty
07:35:11FromGitter<jrfondren> it's Strformat symbol binding (#10927) , commit 3a5a0f6d46fa0b43ec223d60b2e0f600305eb5f8
07:37:08FromGitter<jrfondren> reverting only the changes to `formatValue*(result: var string; value: SomeFloat; specifier: string): void`results in a buggy nim that crashes after printing 1.0 like before
07:38:47FromGitter<jrfondren> well, it's just a ValueError: invalid type in format string for string, expected 's', but got f
07:43:09AraqI don't understand how it could ever produce 1.0 given that 'formatBiggestFloat' doesn't do that
07:44:01Araqand there appears to be no logic to add .0
07:45:03FromGitter<mratsim> @Araq, is the extern symbol needed in parseutils? see https://github.com/nim-lang/Nim/pull/11067
07:46:12FromGitter<jrfondren> when i revert just the change to that proc, it's no longer called at all.
07:46:49FromGitter<jrfondren> the old proc `proc format*(value: SomeFloat; specifier: string; res: var string) =` is not called. so something else is formatting floats. this could be a total fluke.
07:47:12*leorize joined #nim
07:52:56FromGitter<jrfondren> oh. it's the generic one of course.
07:53:20*leorize[m] joined #nim
07:55:38FromGitter<jrfondren> sorry, that was a fluke :(
07:56:13FromGitter<mratsim> normally we should have an ambiguous call alert when 2 generics match
07:56:39FromGitter<jrfondren> nah I broke the SomeFloat version so it matched [T] and used $ to format the float
07:58:14Araqaha, maybe it used $ before
07:58:46Araq$ does produce 1.0 so something like that is going on
08:04:55Araq=sink to =move
08:05:58Araqproc `=move`(a, b: var T)
08:06:18Araqoops wrong channel :P
08:13:17*neceve joined #nim
08:13:48*Guest96258 quit (Quit: leaving)
08:17:19FromGitter<jrfondren> aye, on stable that proc isn't called for `fmt"{foo}`. it's called for `fmt"{foo:>0.1f}`
08:18:10*WilhelmVonWeiner joined #nim
08:25:30FromGitter<jrfondren> I believe it's `proc add(result: var string; x: float)`that used to format floats in the first case
08:25:47FromGitter<jrfondren> in the `elif compiles(add(res, arg)):` branch of callFormat
08:26:03Araqyup, thanks
08:26:16Araqeasy to fix now that I understand it
08:26:31FromGitter<jrfondren> cool
08:44:20*floppydh joined #nim
08:57:16*krux02 joined #nim
09:02:49*Tanger quit (Quit: Leaving)
09:09:39*iLiquid joined #nim
09:30:57*Vladar joined #nim
09:38:06*lritter joined #nim
09:55:12*shomodj joined #nim
09:56:16*seni left #nim ("Leaving")
09:59:43*chimez joined #nim
09:59:57FromGitter<jrfondren> brushing off five years of bitrot wasn't too painful: https://github.com/dom96/ipsumgenera/pull/35
10:00:18FromGitter<jrfondren> with some help from `git log -p|grep -C10 TimeInfoToTime|less`
10:07:33Araqit wasn't rocket science but you deserved a rocket
10:09:23FromGitter<jrfondren> ah, the emoji. Thanks :)
10:09:27*iLiquid quit (Quit: iLiquid)
10:13:14*sealmove quit (Ping timeout: 246 seconds)
10:15:21*shomodj quit (Quit: Textual IRC Client: www.textualapp.com)
10:15:26*krux02 quit (Remote host closed the connection)
10:19:38*jasper__ quit (Ping timeout: 245 seconds)
10:25:05*leorize quit (Remote host closed the connection)
10:29:37*vlad1777d__ joined #nim
10:31:13*vlad1777d_ quit (Ping timeout: 268 seconds)
10:35:43*vlad1777d__ quit (Ping timeout: 276 seconds)
10:36:14*vlad1777d__ joined #nim
10:41:11*sealmove joined #nim
10:54:55federico3https://news.ycombinator.com/item?id=19718015 Post mentioning Nim on HN
10:59:25PMunchStill people complaining about style insensitivity..
11:02:49narimiranmy guess is that 80% of those complaints are because people think nim is first-letter case insensitive
11:03:32federico3the first-letter is case sensitive
11:03:55narimiranyes, i know, and people on #nim probably know that too, but general population doesn't
11:06:42federico3yet the example in the post is with lower case
11:08:37Zevvhttps://imgs.xkcd.com/comics/duty_calls.png
11:16:34*Snircle joined #nim
11:20:59narimiranZevv: yep, i've just written my response there.... :D
11:50:32*abm joined #nim
11:55:01*sealmove quit (Ping timeout: 276 seconds)
12:15:49FromGitter<kaushalmodi> @jrfondren Thanks for your help with fixing of #11089 !
12:16:46*a_b_m joined #nim
12:20:02*abm quit (Ping timeout: 245 seconds)
12:25:24*solitudesf- joined #nim
12:41:03dom96I have a feeling the general public will think it even crazier that the first letter is case sensitive whereas the rest isn't
12:42:27*krux02 joined #nim
12:43:33shashlickHey @dom96 did you need anything else to post the choosenim binaries I made?
12:44:17dom96Will try to post them tonight. Caught the flu this Sunday and still suffering.
12:45:03*krux02 quit (Remote host closed the connection)
12:45:33*leorize joined #nim
12:45:57Araqleorize!
12:46:06Araqhow did you find 'x = x' ?
12:46:43leorizewhat?
12:46:48leorizeyou mean that string bug?
12:49:00FromGitter<arnetheduck> dumdidum.. https://github.com/nim-lang/Nim/issues/9844 ..
12:49:21leorizeAraq: I found it by accident and reported as #10689
12:51:15AraqI'm writing a forum post about this bug :P
12:51:50Araqeither we claim move/swap doesn't need to allow for self-assignments or we need to fix the full =sink design :-)
12:52:09Araqwhich would be super annoying and at least a full day of work
12:52:40Araqon the other hand, I already know how you guys will vote so I might as well skip the post and change the spec while I'm writing it
12:52:52Araqso '=sink' is gone, it's the old '=move'
12:54:34FromGitter<kaushalmodi> I happened to just scroll through the devel commits; you have a typo in https://github.com/nim-lang/Nim/commit/437f4648102d8bf5c59d9860a43766e5ae1994e1 :P
12:54:39FromGitter<kaushalmodi> thanks for fixing 11092
12:54:48FromGitter<kaushalmodi> *typo in commit message
12:56:34*leorize[m]1 joined #nim
12:56:36Araqok thanks
12:59:52leorize[m]Araq: do you think that you should read more bugs with the "Destructors" label first? :p
13:00:30Araqthe problem is not that I wasn't aware of self-assignments
13:01:01Araqthe problem is that didn't see the interactions with 'wasMoved'
13:06:47*dddddd joined #nim
13:38:52*couven92 joined #nim
13:41:59*DarkArctic joined #nim
13:42:37*DarkArctic quit (Client Quit)
13:46:05*iLiquid joined #nim
14:15:08FromGitter<gogolxdong> I know the nimble install nimx -dy issue, -d means --depsOnly
14:15:16*PMunch quit (Remote host closed the connection)
14:17:16FromGitter<gogolxdong> I'm compiling http://ix.io/1GYy , GUI doesn't show up.
14:19:04FromGitter<gogolxdong> compling with nim cpp , nim c works.
14:24:00*Trustable joined #nim
14:24:39ZevvThe forum seems to bump years old posts for some time, something wrong there?
14:25:17FromGitter<liquid600pgm> I think it bumps threads with recent activity
14:27:32ZevvWhat's the acivity in https://forum.nim-lang.org/t/2725 then? It's all jan 2017
14:27:47narimiranZevv: it is the spammers you don't see ;)
14:28:43narimiranthey pick random posts where they post, but their accounts are moderated, so you don't see their spam, but the topic gets bumped to the top
14:29:11ZevvAh that makes sense
14:37:51*thefoxandflea joined #nim
14:39:33*thefoxandflea left #nim (#nim)
14:42:48*thomasross is now known as Guest97737
14:42:48*thomasross_ joined #nim
14:42:48*Guest97737 quit (Killed (orwell.freenode.net (Nickname regained by services)))
14:42:48*thomasross_ is now known as thomasross
14:52:46*rnrwashere joined #nim
15:02:28*rnrwashere quit (Remote host closed the connection)
15:07:55dom96yeah, that's a bit of a bug
15:08:13dom96The forum has a `modified_at` field for each thread, and that gets updated when a new post is written
15:08:51dom96Shouldn't be a hard fix, if anyone wants to tackle that, hacking on the forum is fun :)
15:12:16*leorize[m] quit (Quit: issued !quit command)
15:17:12FromGitter<mratsim> Breaking news: Nim devs offer bounties for hacking their forum
15:17:51*rnrwashere joined #nim
15:21:47*rnrwashere quit (Remote host closed the connection)
15:29:54*stefanos82 quit (Read error: Connection reset by peer)
15:43:20*vlad1777d__ quit (Ping timeout: 258 seconds)
15:54:46*rnrwashere joined #nim
15:57:09shashlicki'm not able to run the android aarch64 compiled nim csources binary using qemu because it looks for /system/bin/linker64
15:57:16*rnrwashere quit (Remote host closed the connection)
15:57:44shashlickthe binary runs fine on an actual android phone but no equivalent ld-linux file available so not able to bootstrap to the next step
15:58:24*Jesin quit (Quit: Leaving)
15:58:26*cgfuh joined #nim
15:58:26shashlickany idea where I can find a /lib/ld-linux-aarch64.so.1 file so i can symlink in the dockcross container?
15:58:47*rnrwashere joined #nim
16:02:22FromGitter<alehander42> :(
16:02:24FromGitter<alehander42> ops
16:02:29FromGitter<alehander42> wrong chat sorry
16:06:17FromGitter<alehander42> whats happening these days here
16:07:20shashlickbeen depressingly quiet these days
16:12:48*rnrwashere quit (Remote host closed the connection)
16:13:06*rnrwashere joined #nim
16:14:17*Jesin joined #nim
16:17:21*rnrwashere quit (Remote host closed the connection)
16:19:10FromGitter<mratsim> maybe becaue people are enjoying the sun :D
16:21:21*rnrwashere joined #nim
16:22:11*sealmove joined #nim
16:26:43*disruptek quit (Ping timeout: 276 seconds)
16:28:39shashlickokay i'm making progress on android build, but have to make all binaries static so that it doesn't keep looking for /system/bin/linker64
16:28:51*disruptek joined #nim
16:30:10*rnrwashere quit (Remote host closed the connection)
16:30:31*rnrwashere joined #nim
16:32:01*rnrwashere quit (Remote host closed the connection)
16:32:45*chimez quit (Quit: chimez)
16:40:49*a_b_m quit (Ping timeout: 258 seconds)
16:44:54*sealmove quit (Ping timeout: 244 seconds)
16:51:47Zevvshashlick: are you targetting native android or termux?
16:58:38dom96My temptation to write an article titled "In defense of Style Insensitivity" has never been higher
16:59:23*Jesin quit (Quit: Leaving)
17:00:16FromGitter<alehander42> *sorts comments by controvertial*
17:01:28dom96Style insensitive search in FB's internal code search would have saved me hours, true story
17:01:52FromGitter<alehander42> hm don't they have some kind of regex-based code search
17:02:35dom96of course, but I want a check box, writing a regex for each search term would be annoyin
17:03:00FromGitter<alehander42> agreed
17:05:02FromGitter<alehander42> https://github.com/nim-lang/Nim/pull/11094/files
17:05:15FromGitter<alehander42> lowkey this might be one of my fav PR-s lately
17:05:20narimiran:)
17:05:29FromGitter<alehander42> so many initTable in my codebases
17:05:36FromGitter<alehander42> going away :D
17:06:02narimiranthen you are a perfect candidate to test these changes before they're merged ;)
17:06:11FromGitter<alehander42> juust going out
17:06:23FromGitter<alehander42> looking at PR-s at the perfect irresponsible moment
17:06:44narimirani tested it locally with some basic examples, but something more thorough would be very welcome!
17:07:07FromGitter<alehander42> i might try it later but no promises
17:07:08FromGitter<alehander42> ok
17:07:08dom96Nice. I assume this will only apply to `init` not `new`, right?
17:07:31narimiranthanks, ping me if/when you do
17:09:56narimirandom96: i haven't tested Ref variants :/
17:10:02FromGitter<alehander42> Btw finally back from Japan
17:10:28FromGitter<alehander42> One guy almost assured us he wants to translate a Nim(our projeft
17:10:37FromGitter<alehander42> Related article into Japanese
17:10:50FromGitter<alehander42> But the problem is that I have to write one first
17:11:04dom96narimiran: oh, so the intention is for `newTable` to no longer be needed either?
17:11:58dom96This will make things a little confusing :/
17:12:35dom96import somePkg; var x = newPkg() # hrm, do I need to do this if I don't need to do it for anything in the stdlib?
17:12:44dom96It's a massive inconsistency
17:12:54narimirandom96: nah, i think copy-pasted too much stuff :) thanks for catching that :)
17:15:15*Vladar quit (Remote host closed the connection)
17:22:02narimiran@alehander42 (and everybody else interested): don't test it yet. it seems my latest changes refactored working code into a non-working one :D
17:23:22shashlickZevv: I wouldn't know the difference, pretty much day one for me on Android
17:23:36shashlickBut I'm using termux to test on the device
17:24:25shashlickNot sure how useful it is getting the nim compiler running on Android but I'm making images nonetheless
17:25:15*jasper joined #nim
17:27:07shashlickCompiling binaries that run on Android should be easy already with --os and --cpu
17:28:57FromGitter<liquid600pgm> what should be the signature for a custom `default()` proc?
17:40:54*ober joined #nim
17:52:38FromGitter<jrfondren> it's not generic. can you even have a custom proc?
17:55:33*neceve quit (Remote host closed the connection)
18:01:13FromGitter<jrfondren> maybe with term rewriting templates?
18:04:47FromGitter<jrfondren> those have been removed from the manual though so I guess their use is (more) discouraged
18:09:35*dddddd quit (Ping timeout: 246 seconds)
18:15:56FromGitter<jrfondren> yeah this works on devel:
18:16:03FromGitter<jrfondren> ```code paste, see link``` [https://gitter.im/nim-lang/Nim?at=5cbf56634b4cb471d945af66]
18:19:24*stefanos82 joined #nim
18:31:41*Jesin joined #nim
18:34:07*Jesin quit (Remote host closed the connection)
18:34:56*Jesin joined #nim
18:35:18*Etheco joined #nim
18:36:30*Etheco quit (Client Quit)
18:36:48*Etheco joined #nim
18:42:58*sealmove joined #nim
18:49:08*sealmove quit (Ping timeout: 246 seconds)
18:53:05Araqon devel there is system.default(T)
19:01:32FromGitter<liquid600pgm> yeah, I noticed. that's what I want to overload
19:01:34FromGitter<liquid600pgm> but how?
19:02:29*kapil____ quit (Quit: Connection closed for inactivity)
19:10:23FromGitter<Varriount> @Iqdev Try `proc default(t: var MyConcreteType)`!
19:10:35FromGitter<Varriount> Er, sorry, I meant
19:10:46FromGitter<Varriount> for that to be a question mark
19:12:28*nsf quit (Quit: WeeChat 2.4)
19:14:28FromGitter<jrfondren> @Varriount result: default(float) returns 0.0, the new proc is defined but not used
19:18:33FromGitter<Varriount> @jrfondren Darn
19:18:57*dddddd joined #nim
19:20:28jasperYou can specialize typedescs like `proc default(T: typedesc[MyType]): T = ...`. Though that doesn't get called automatically for `var x: MyType` if that is what you were after.
19:21:07*jasper quit (Quit: Page closed)
19:21:14*livcd quit (Changing host)
19:21:14*livcd joined #nim
19:21:36FromGitter<liquid600pgm> I'm after defaults for object/tuple fields
19:23:23FromGitter<jrfondren> `proc default(T: typedesc[int]): int = 42` et al. works, followed by `echo default(int)`, but a `var x: int` is still initialized to 0. is that intended?
19:24:12Araqsure.
19:24:42Araqto override the default value of obj.field write field: int = 42 in the object declaration and implement this feature
19:24:48Araq;-)
19:25:00Araqbut even then default(int) will produce 0
19:29:00AraqTIL https://www.includeos.org/ looks interesting
19:29:14FromGitter<jrfondren> or `proc default(T: typedesc[ObjName]): ObjName = result.field = 42`
19:29:29FromGitter<jrfondren> but you still have to initialize with default(ObjName)
19:30:56Araqlook. what you want is reasonable but (a) it doesn't exist and (b) system.default has nothing to do with it
19:35:52FromGitter<jrfondren> [x] performant, [x] portable, [x] secure, [x] lean, [ ] easily administered
19:38:00*Mister_Magister joined #nim
19:38:23Mister_Magistercan i compile nim compiler for arm and then use nim on arm?
19:38:27FromGitter<jrfondren> if an app in a OS flakes out, you can attach a debugger, you can strace it, you can check logs while it's running, you can check the network, etc. Stuff like IncludeOS is like the joke about cops doing unnecessary stuff. "Having solved all software reliability problems, we're now optimizing the OS out of our application!" with Erlang-on-Xen, Erlang itself is already an OS
19:39:29FromGitter<jrfondren> there are arm builds now yeah. They use cross compilation but probably compiling from arm is even easier.
19:39:59Mister_Magisterso there is nothing wrong with compiling it on arm? it should work?
19:40:18Mister_Magistertrying it rn tbh
19:40:38FromGitter<jrfondren> if you're targeting android you'll run into some problems
19:40:47Mister_Magisterasking because opensuse's obs has nim built only for x32/x64
19:40:53Mister_Magisterno i'm not
19:41:45Mister_Magisteri'm targetting normal linux run on arm
19:46:26*sealmove joined #nim
19:46:33*sealmove quit (Client Quit)
19:48:14Mister_Magistercompiling nim uses nim compiler. fascinating
19:58:28*floppydh quit (Quit: WeeChat 2.4)
20:02:29shashlickI just built Nim for arm
20:03:43shashlickhttps://www.dropbox.com/sh/4i0lon90rwi0uat/AADZr8EUwExggMQ46PYCz0oIa?dl=0
20:04:38shashlickCompiling on arm will take a while, these will be added to nightly builds eventually
20:05:27Mister_Magisterlol it did work ootb
20:05:38Mister_Magistershashlick: me too
20:05:41Mister_Magisterbut on obs https://build.merproject.org/package/live_build_log/home:mister/nim/latest_armv7hl/armv8el
20:05:55Mister_Magistergotta talk with suse guys to add arm target
20:06:05federico3Mister_Magister: FYI Debian ships Nim for various ARMs since years
20:06:46*Etheco- joined #nim
20:06:54Mister_Magisterheh
20:08:40Mister_Magisteri just discovered nim and wanted to play with it
20:08:48Mister_Magisterlooks pretty sweet
20:09:34shashlick@federico3: any point in adding arm target to nightlies then
20:10:01*Etheco quit (Ping timeout: 244 seconds)
20:10:59federico3shashlick: huh?
20:11:16*al_ joined #nim
20:11:21shashlickI was planning on adding various arm builds to nightlies
20:11:27shashlickIs there any point?
20:11:51federico3well, if people want to use the devel version - or to detect regressions on ARM...
20:12:13Araqtesting on ARM!!!!
20:12:27shashlickI built 0.19.4 as well, perhaps they can be made official
20:12:55*lritter quit (Ping timeout: 276 seconds)
20:13:08shashlickYa that will be included - testing using qemu on Travis
20:13:21shashlickConcern is whether testing will complete in time
20:15:57Araqonly test a selection of tests
20:16:01Araqlike the GC tests
20:19:12*Trustable quit (Remote host closed the connection)
20:20:02Mister_MagisterAraq: i think my built tested everything
20:30:00*narimiran quit (Ping timeout: 268 seconds)
20:38:39*cgfuh quit (Quit: WeeChat 2.3)
20:43:49shashlickHow long did it take
20:44:02shashlickAnd what hardware?
20:48:22Mister_Magistershashlick: on obs so dunno what hardware
20:48:26Mister_Magistercompile time is in log i linked
20:56:36*rnrwashere joined #nim
20:59:51*abm joined #nim
20:59:57*al_ quit (Quit: al_)
21:06:05*rnrwashere quit (Remote host closed the connection)
21:22:06*arecaceae quit (Remote host closed the connection)
21:22:24*arecaceae joined #nim
21:37:00disrupteki guess what i didn't understand about this exception effects system is that your .raises. is basically a flattened hierarchy walk, and the compiler interprets it as such.
21:38:00disruptekso you have to be prepared, when defining functions, to specify a complete exception type hierarchy, and have it remain unchanged.
21:52:28*solitudesf- quit (Ping timeout: 258 seconds)
21:56:18disruptekso there's an opportunity for nim here to statically check for dominating else clauses when we have a .raises. actually, i guess i'm surprised it doesn't already happen. we can't determine that from the types? because of the backend?
21:56:36disruptek^dominating except blocks, i mean.
21:58:02disruptekanyway, then you can also test that the .raises. is accurate to the types so that you catch a logic bug in your capture of exceptions when something changes.
21:58:30disruptekls
21:58:43disruptekis that what we're already doing?
22:00:17disruptekno, i guess not. this would fix these error messages, too, i think.
22:05:27*a_b_m joined #nim
22:07:20*[rg] joined #nim
22:08:22*abm quit (Ping timeout: 245 seconds)
22:29:37*vlad1777d__ joined #nim
22:43:20*iLiquid quit (Quit: iLiquid)
22:48:04*grey___ joined #nim
22:48:14grey___hey everone
22:51:24*grey___ quit (Client Quit)
23:07:37shashlickSup
23:22:50FromDiscord_<demotomohiro> I did ``time sh build_all.sh`` (in latest devel branch) on ARMv8 CPU on Tegra X1 Chip.
23:22:50FromDiscord_<demotomohiro> real 27m11.290s
23:22:51FromDiscord_<demotomohiro> user 18m16.230s
23:22:51FromDiscord_<demotomohiro> sys 0m55.170s
23:28:15FromDiscord_<demotomohiro> It might be IO bottlenecked because it uses SDCard as storage.
23:32:56*[rg] quit (Quit: Leaving)
23:47:32*stefanos82 quit (Remote host closed the connection)
23:55:21FromGitter<gogolxdong> Was do notation removed from manual?