Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread Andrea Fontana via Digitalmars-d
On Thursday, 9 August 2018 at 15:56:31 UTC, w0rp wrote: On Thursday, 9 August 2018 at 10:37:36 UTC, Andrea Fontana wrote: On Thursday, 9 August 2018 at 04:10:47 UTC, Nicholas Wilson wrote: The DIP makes the claim that: * "[@noreturn] has the awkward result of a function specifying it has a re

Re: Give DLS a try

2018-08-09 Thread Laurent Tréguier via Digitalmars-d
On Thursday, 9 August 2018 at 22:56:02 UTC, tide wrote: Yah that's what I was getting. You should possibly find another way other than symbolic links. I don't think you'll get access to admin rights unless you restart VS Code with them. No, I certainly don't need VSCode to be launched with adm

Re: Give DLS a try

2018-08-09 Thread tide via Digitalmars-d
On Thursday, 9 August 2018 at 13:02:47 UTC, Laurent Tréguier wrote: On Thursday, 9 August 2018 at 12:42:45 UTC, Domain wrote: I just give it a try in visual studio code, but I got errors: [Error - 20:39:54] Starting client failed Error: Unsupported server configuration { "command": "" } at

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread Timon Gehr via Digitalmars-d
On 09.08.2018 05:02, Mike Parker wrote: This is the feedback thread for the first round of Community Review for DIP 1017, "Add Bottom Type": https://github.com/dlang/DIPs/blob/8274b0f600075e4553b41c31f4b77be2d917bb40/DIPs/DIP1017.md All review-related feedback on and discussion of the DIP s

Re: More fun with autodecoding

2018-08-09 Thread Jon Degenhardt via Digitalmars-d
On Wednesday, 8 August 2018 at 21:01:18 UTC, Steven Schveighoffer wrote: Not trying to give too much away about the library I'm writing, but the problem I'm trying to solve is parsing out tokens from a buffer. I want to delineate the whole, as well as the parts, but it's difficult to get back t

Re: Give DLS a try

2018-08-09 Thread Laurent Tréguier via Digitalmars-d
On Thursday, 9 August 2018 at 12:42:45 UTC, Domain wrote: I just give it a try in visual studio code, but I got errors: [Error - 20:39:54] Starting client failed Error: Unsupported server configuration { "command": "" } at _getServerWorkingDir.then.serverWorkingDir (C:\Users\Domain-Work\.v

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread w0rp via Digitalmars-d
On Thursday, 9 August 2018 at 10:37:36 UTC, Andrea Fontana wrote: On Thursday, 9 August 2018 at 04:10:47 UTC, Nicholas Wilson wrote: The DIP makes the claim that: * "[@noreturn] has the awkward result of a function specifying it has a return type T, but never returns that type". When it is de

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread w0rp via Digitalmars-d
A better name for this type is `never`, which is the name of the TypeScript type with similar semantics. https://www.typescriptlang.org/docs/handbook/basic-types.html#never `nothing` is also a decent name, used in some other languages, but `never` makes it more obvious that a function never retur

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread bachmeier via Digitalmars-d
On Thursday, 9 August 2018 at 13:45:54 UTC, Stefan Koch wrote: I hope there is a better name than Tbottom. A name like that is not consistent with the rest of the language. Why not Bottom? according to the DIP, the name can be chosen arbitrarily as the type is retrieved via matching the type

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread bachmeier via Digitalmars-d
On Thursday, 9 August 2018 at 13:56:05 UTC, Gary Willoughby wrote: perhaps this should actually be an attribute `@bottom`, or more a documenting: `@noreturn`? Yes, it should.

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread Kagamin via Digitalmars-d
On Thursday, 9 August 2018 at 10:47:37 UTC, Stefan Koch wrote: There is no explanation of when the additional optimizations would be actually relevant, Usually functions that don't return abort the program anyway. Maybe total code size. OT: as for microoptimizations, what bugged me is a patte

Re: Alignment of symbol is not kept during linking

2018-08-09 Thread Yuxuan Shui via Digitalmars-d
On Thursday, 9 August 2018 at 13:50:00 UTC, Kagamin wrote: On Thursday, 9 August 2018 at 13:30:38 UTC, Yuxuan Shui wrote: I searched around, and there seems to be no way to specify alignment on symbol, so I don't think the linker is in the wrong here. The alignment should be specified for sec

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread Gary Willoughby via Digitalmars-d
On Thursday, 9 August 2018 at 13:42:57 UTC, bachmeier wrote: On Thursday, 9 August 2018 at 03:02:55 UTC, Mike Parker wrote: This is the feedback thread for the first round of Community Review for DIP 1017, "Add Bottom Type": I hope there is a better name than Tbottom. A name like that is not

Re: Alignment of symbol is not kept during linking

2018-08-09 Thread Kagamin via Digitalmars-d
On Thursday, 9 August 2018 at 13:30:38 UTC, Yuxuan Shui wrote: I searched around, and there seems to be no way to specify alignment on symbol, so I don't think the linker is in the wrong here. The alignment should be specified for section.

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread Stefan Koch via Digitalmars-d
On Thursday, 9 August 2018 at 13:42:57 UTC, bachmeier wrote: On Thursday, 9 August 2018 at 03:02:55 UTC, Mike Parker wrote: This is the feedback thread for the first round of Community Review for DIP 1017, "Add Bottom Type": I hope there is a better name than Tbottom. A name like that is not

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread bachmeier via Digitalmars-d
On Thursday, 9 August 2018 at 03:02:55 UTC, Mike Parker wrote: This is the feedback thread for the first round of Community Review for DIP 1017, "Add Bottom Type": I hope there is a better name than Tbottom. A name like that is not consistent with the rest of the language. Why not Bottom?

Re: Alignment of symbol is not kept during linking

2018-08-09 Thread Yuxuan Shui via Digitalmars-d
Clarifications: On Thursday, 9 August 2018 at 13:30:38 UTC, Yuxuan Shui wrote: I'm trying to build LDC with dmd and Musl, but the result ldc will always crash. I track that down to an unalignment SIMD access to a global variable. Apparently C++ compiler thinks the variable should be aligned to

Alignment of symbol is not kept during linking

2018-08-09 Thread Yuxuan Shui via Digitalmars-d
I'm trying to build LDC with dmd and Musl, but the result ldc will always crash. I track that down to an unalignment SIMD access to a global variable. Apparently C++ compiler thinks the variable should be aligned to 16 bytes, but it's only aligned to 8 bytes. After some more digging, I find o

Re: Give DLS a try

2018-08-09 Thread Laurent Tréguier via Digitalmars-d
On Thursday, 9 August 2018 at 12:42:45 UTC, Domain wrote: I just give it a try in visual studio code, but I got errors: [Error - 20:39:54] Starting client failed Error: Unsupported server configuration { "command": "" } at _getServerWorkingDir.then.serverWorkingDir (C:\Users\Domain-Work\.v

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread 12345swordy via Digitalmars-d
On Thursday, 9 August 2018 at 03:02:55 UTC, Mike Parker wrote: This is the feedback thread for the first round of Community Review for DIP 1017, "Add Bottom Type": [...] How does this DIP interact with constructors and deconstructors as they are glorified void functions? -Alexander

Re: Give DLS a try

2018-08-09 Thread Domain via Digitalmars-d
On Thursday, 9 August 2018 at 11:48:55 UTC, Laurent Tréguier wrote: On Thursday, 9 August 2018 at 10:37:32 UTC, IM wrote: I've always had issues with Code-d! I filed several issues on its GitHub repo, but my experience with the Code-d author was that those issues are likely to remain open and u

Re: Give DLS a try

2018-08-09 Thread Laurent Tréguier via Digitalmars-d
On Thursday, 9 August 2018 at 10:37:32 UTC, IM wrote: I've always had issues with Code-d! I filed several issues on its GitHub repo, but my experience with the Code-d author was that those issues are likely to remain open and unaddressed. Since he is a student (or at least he was some time ago

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread Nicholas Wilson via Digitalmars-d
On Thursday, 9 August 2018 at 10:47:37 UTC, Stefan Koch wrote: Regarding the rationale: It should be pointed out that this is a further complication of the type-system (which is already more complex than what c++ has). That does impact generic code. My own experience with generic code has sh

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread Stefan Koch via Digitalmars-d
On Thursday, 9 August 2018 at 03:02:55 UTC, Mike Parker wrote: This is the feedback thread for the first round of Community Review for DIP 1017, "Add Bottom Type": [ ... ] Regarding the rationale: It should be pointed out that this is a further complication of the type-system (which is alre

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread Dominikus Dittes Scherkl via Digitalmars-d
On Thursday, 9 August 2018 at 04:16:45 UTC, Uknown wrote: I would like to point out that C++ does this with attributes instead[0]. If this was an attribute instead (like `@noreturn`), it would simplify interfacing with C++. It would also avoid the breaking change. [0]: eel.is/c++draft/DCL.att

Re: DIP 1017--Add Bottom Type--Community Review Round 1

2018-08-09 Thread Andrea Fontana via Digitalmars-d
On Thursday, 9 August 2018 at 04:10:47 UTC, Nicholas Wilson wrote: The DIP makes the claim that: * "[@noreturn] has the awkward result of a function specifying it has a return type T, but never returns that type". When it is deliberate (such as annotating a fatal error function) the is almost

Re: Give DLS a try

2018-08-09 Thread IM via Digitalmars-d
On Wednesday, 8 August 2018 at 20:56:51 UTC, tide wrote: On Wednesday, 8 August 2018 at 07:57:49 UTC, Laurent Tréguier wrote: [...] Code-d overcomplicates things I find though. I can't even build it, there's so many dependencies attached to it that it isn't worth looking through to even find

Re: Give DLS a try

2018-08-09 Thread Andrea Fontana via Digitalmars-d
On Wednesday, 8 August 2018 at 07:25:57 UTC, Tab wrote: I find DLS [1] to be very stable, updated more often [2], and it just works without issues (vs. Code-d) ~~ at least for me. I think we should give it a chance. I agree. I created a long list of features [3] I'd like to see in D IDE. Ho

Re: Give DLS a try

2018-08-09 Thread Laurent Tréguier via Digitalmars-d
On Wednesday, 8 August 2018 at 20:56:51 UTC, tide wrote: DLS took no time at all to build, nice and simple. The only thing built is a small bootstrap program that downloads a prebuilt binary release, that's why it's fast. Before v0.5.0, DLS was always compiled, and that took some time, as wel