Re: Why my app require MSVCR120.dll?

On Friday, 6 November 2015 at 18:34:45 UTC, Cauterite wrote: On Friday, 6 November 2015 at 13:16:46 UTC, Suliman wrote: On Windows 7 it's work fine. On Windows 10 (clean install) it's do not start and require MSVCR120.dll D doesn't make particularly heavy use of the C runtime, so there's a

Re: Why my app require MSVCR120.dll?

On Wednesday, 18 January 2017 at 09:54:43 UTC, Suliman wrote: On Friday, 6 November 2015 at 18:34:45 UTC, Cauterite wrote: On Friday, 6 November 2015 at 13:16:46 UTC, Suliman wrote: On Windows 7 it's work fine. On Windows 10 (clean install) it's do not start and require MSVCR120.dll D

Best Object storage/cloud file storage for vibe.d

There are s3, Rackspace(restful api), ... Which one will you recommended for easy and flexible usuage in D(vibe.d) app hosted on Heroku? Pros and cons.

Re: GNU License warning:

On Friday, 13 January 2017 at 02:25:03 UTC, Ignacious wrote: Licenses should be more specific in their terminology and their behaviors and effects rather than using arbitrary divisions. If your plugin uses contrived API riddled with all good C(++) misfeatures to customize like 80% of

[Issue 17065] [REG2.072] Unique does not work with private members

https://issues.dlang.org/show_bug.cgi?id=17065 --- Comment #6 from dran...@gmail.com --- (In reply to Martin Nowak from comment #5) > I'm for reverting this change (the Proxy part). I agree. But I suggest reverting all of PR #4763: the Proxy part and the destroy part. The latter also because it

Re: Gui in D: I miss this project

On Monday, 16 January 2017 at 07:38:31 UTC, Jacob Carlborg wrote: On 2017-01-16 07:28, Vadim Lopatin wrote: Windows support in DlangUI is not native since it does not use native controls. DlangUI draws widgets itself on all platforms. But on Win32 it's possible to build app which uses Win32

Re: Printing a floats in maximum precision

On Wednesday, 18 January 2017 at 03:36:39 UTC, Nicholas Wilson wrote: Alternatively use %a to print in hex to verify exact bit patterns. +1, if it doesn't have to be human-readable.

Language server protocol implementation for D

Rust is making good progress on the IDE aspect with the announcement : http://www.jonathanturner.org/2017/01/rls-alpha-release.html. HN discussion : https://news.ycombinator.com/item?id=1348 It will be good to see the protocol implemented so that many tools and IDEs can use the interface

Berlin D Meetup January 2017

Hi All, Apologies again for the late notice but the first D meetup of 2017 in Berlin is happening this Friday (20th) at 19:30 at Berlin Co-Op (http://co-up.de/) on the fifth floor. Nemanja Boric is going to be talking about his experience exploring Phobos while implementing a Postgresql

Plugin for 1C:Enterprise in dmd

I managed to create plugin for 1C:Enterprise (http://1c.ru/eng/title.htm). The major difficulty in realization C++ interfaces is successfully overcome. I need a more detailed description of compatibility of structures, classes and interfaces between C++ and D. For clarity you can see this

Cannot use auto ref passing in expression template operator overloads

I'm currently writing a high-level GMP-wrapper at https://github.com/nordlow/gmp-d In order to get efficient scheduling of calls to C API __gmpz-functions, I want expressions such as MpZ(3) + MpZ(4) to return an instance of a lazy expression `MpzAddExpr` if and only if *both* it's

Re: Cannot use auto ref passing in expression template operator overloads

On Wednesday, 18 January 2017 at 10:49:43 UTC, Nordlöw wrote: Is there a way around this problem? I had the same problem with opSliceAssign, opIndexAssign lately.

Re: iterating through members of bitfields

On Wednesday, 18 January 2017 at 01:15:05 UTC, Ali Çehreli wrote: Not available but it should be possible to parse the produced code: import std.bitmanip; string makeBitFieldPrinter(string fieldImpl) { return q{ void printBitFields() const { import std.stdio: writeln;

Re: iterating through members of bitfields

I've "solved" the same problem by using AliasSeq to generate bitfields so that for iterating over bitfields I can iterate over alias sequence and mixin code. Not very good but it works.

[Issue 8471] std.stdio.readf should be @trusted

https://issues.dlang.org/show_bug.cgi?id=8471 --- Comment #6 from Jakub Łabaj --- Currently I see one way to break the safety, which is to not pass a real pointer, but a structure with unary '*' overloaded: @safe unittest { struct Unsafe { int* x;

Re: Language server protocol implementation for D

On Wednesday, 18 January 2017 at 09:31:49 UTC, xtreak wrote: Rust is making good progress on the IDE aspect with the announcement : http://www.jonathanturner.org/2017/01/rls-alpha-release.html. HN discussion : https://news.ycombinator.com/item?id=1348 It will be good to see the protocol

Re: Where is floating point next{Up,Down}?

On Tuesday, 17 January 2017 at 23:41:27 UTC, Nordlöw wrote: On Tuesday, 17 January 2017 at 23:38:46 UTC, Ali Çehreli wrote: Found'em! :) https://dlang.org/phobos/std_math.html#.nextUp Thanks! (Shouts into the soundless void)

Re: Language server protocol implementation for D

On Wednesday, 18 January 2017 at 09:31:49 UTC, xtreak wrote: Rust is making good progress on the IDE aspect with the announcement : http://www.jonathanturner.org/2017/01/rls-alpha-release.html. HN discussion : https://news.ycombinator.com/item?id=1348 It will be good to see the protocol

Re: Cannot use auto ref passing in expression template operator overloads

On Wednesday, 18 January 2017 at 10:49:43 UTC, Nordlöw wrote: https://github.com/nordlow/gmp-d/blob/master/src/gmp.d#L1835 Should be https://github.com/nordlow/gmp-d/blob/master/src/gmp.d#L1853

Re: Language server protocol implementation for D

On 19/01/2017 1:29 AM, Atila Neves wrote: On Wednesday, 18 January 2017 at 09:31:49 UTC, xtreak wrote: Rust is making good progress on the IDE aspect with the announcement : http://www.jonathanturner.org/2017/01/rls-alpha-release.html. HN discussion :

[Issue 12125] Win64 phobos has hard references to LIBCMT

https://issues.dlang.org/show_bug.cgi?id=12125 --- Comment #8 from github-bugzi...@puremagic.com --- Commit pushed to master at https://github.com/dlang/druntime https://github.com/dlang/druntime/commit/0dc5d1dd68c2bcffb9a501f2e37ff28be3abd87e Merge pull request #1691 from rainers/nodefaultlib

Re: Language server protocol implementation for D

On Wednesday, 18 January 2017 at 11:46:10 UTC, Guillaume Piolat wrote: https://github.com/Microsoft/language-server-protocol https://github.com/Microsoft/language-server-protocol/wiki/Protocol-Implementations This is very important, this protocol is used by Eclipse, VSCode, and will take over

Assigning in constructor.

Is it undefined behavior to assign to a pointer in the constructor of a struct?

Re: Returning Arrays from Functions

On Wednesday, 18 January 2017 at 22:51:17 UTC, Samwise wrote: numbs[] = getInp(help, file, inp, args); This is wrong, try just `numbs = getImp(...);` numbs[] = xxx will copy stuff into the existing array, which is empty right now. You want to jut keep the slice the function passes

Re: Gui in D: I miss this project

On 19/01/2017 10:00 AM, aberba wrote: On Wednesday, 18 January 2017 at 17:51:18 UTC, Jacob Carlborg wrote: On 2017-01-18 10:24, aberba wrote: What about Photoshop? Is it native? No. Last time I used it it didn't look very native. So it will be incorrect to say native gui is a requirement

__traits(isRef, this) cannot distinguish l-value- from r-value-passed this

A compilation of struct T { int x; @disable this(this); // this has no effect on the issue ref inout(T) memberFun() inout { pragma(msg, "memberFun:", __traits(isRef, this) ? "ref" : "non-ref", " this"); return this; } } void freeFun()(auto ref const T x)

Re: switch statement with variable branches

On 01/18/2017 05:22 PM, Yuxuan Shui wrote: Somehow I can't use ubyte variables behind 'case', but ulong works fine. Why is that? void main() { alias TestType = ulong; // won't compile if = ubyte import std.stdio; TestType a,b,c; readf("%s %s %s ", , , ); switch(c){

Re: Intelligent enums

On Thursday, 19 January 2017 at 03:47:34 UTC, Ignacious wrote: On Thursday, 19 January 2017 at 02:59:04 UTC, Ignacious wrote: I have the need to create an enum flag like structure to specify certain properties of a type easily. e.g., enum properties { Red, Blue, Hot, Sexy,

Re: Gui in D: I miss this project

On 2017-01-18 22:00, aberba wrote: So it will be incorrect to say native gui is a requirement to fain higher adoption. Of course there will be applications that does not look native but still is popular. If I'm looking for a new type of application I'll dismiss those that don't look

Re: DMD Refuses to Compile Multiple Source Files

On Wednesday, 18 January 2017 at 23:12:15 UTC, Mike Parker wrote: (source files), then use the import statement to make the declarations in other modules. Sorry, this should read "make the implementations available to other modules".

Re: Assigning in constructor.

On Wednesday, 18 January 2017 at 23:08:07 UTC, Adam D. Ruppe wrote: On Wednesday, 18 January 2017 at 22:57:22 UTC, NotSpooky wrote: Is it undefined behavior to assign to a pointer in the constructor of a struct? Yes: http://dlang.org/spec/struct.html "A struct is defined to not have an

Re: Plugin for 1C:Enterprise in dmd

On Wednesday, 18 January 2017 at 12:00:53 UTC, MGW wrote: For clarity you can see this short video https://www.youtube.com/watch?v=apLppufZulI The short video is in Russian only :(

alias not valid with ~

class Y { int y; alias y this; } class X { Y[] x; alias x this; } Yet X ~= 3; fails. 3 should be implicitly convertible to Y and then ~ should assign it. ?

Re: Release Candidate 2.073.0-rc1

On Wednesday, 18 January 2017 at 13:48:06 UTC, Martin Nowak wrote: First release candidate for 2.073.0. http://dlang.org/download.html#dmd_beta http://dlang.org/changelog/2.073.0.html Comes with a couple of more fixes: https://github.com/dlang/dmd/compare/v2.073.0-b2...v2.073.0-rc1

cannot alias array ;/

alias a = myarray[k]; fails myarray is a multidimensial array that I want to reduce writing it every time but D complains that it can't alias it. I simply want it to do a direct substitution, nothing fancy, just to reducing typing.

Re: Release Candidate 2.073.0-rc1

On 2017-01-18 14:48, Martin Nowak wrote: First release candidate for 2.073.0. http://dlang.org/download.html#dmd_beta http://dlang.org/changelog/2.073.0.html About the new -mscrt=libname flag. Could we have a more generic name of the flag that would fit for other platforms to specify the C

Function template advice

I have a simple comparison function: struct Foo { string bar; } auto sameGroup(T,S) (T a, S b) { static assert (is(T == string) || is(T == Foo)); static assert (is(S == string) || is(S == Foo)); string aStr; string bStr; static if (is(T == string)){ aStr = a;

Returning Arrays from Functions

I've done a whole bunch of looking around, and I don't see any mention of returning a dynamic array from a function. When I try it though, it just returns the .length value of the array, rather than the contents of the array. Does anyone know why this is, and what I can do to make it behave

Re: DMD Refuses to Compile Multiple Source Files

On Wednesday, 18 January 2017 at 19:28:20 UTC, Samwise wrote: On Wednesday, 18 January 2017 at 04:25:42 UTC, Mike Parker wrote: extern(C), not simply extern. It turns off the name mangling. But really, the proper thing to do is to drop the prototype and import the module with the

Re: Plugin for 1C:Enterprise in dmd

On 1/18/17 1:00 PM, MGW wrote: I managed to create plugin for 1C:Enterprise (http://1c.ru/eng/title.htm). The major difficulty in realization C++ interfaces is successfully overcome. I need a more detailed description of compatibility of structures, classes and interfaces between C++ and D. For

Re: DMD Refuses to Compile Multiple Source Files

Thanks loads. I got it working using those modules. ~Sam

Re: __traits(isRef, this) cannot distinguish l-value- from r-value-passed this

On Thursday, 19 January 2017 at 00:44:51 UTC, Nordlöw wrote: Any clues on how to retrieve this information? Another much more common use case: Chained property setters could be optimized iff the property setter is called on an r-value, that is when `__traits(isRef,this)` is `false`

Re: alias not valid with ~

On 19/01/2017 3:08 PM, Ignacious wrote: class Y { int y; alias y this; } class X { Y[] x; alias x this; } Yet X ~= 3; fails. 3 should be implicitly convertible to Y and then ~ should assign it. ? This should not fail: X x = new X; x ~= 3; This should fail as x is a member

Re: Function template advice

On 01/18/2017 02:02 PM, Jordan Wilson wrote: I have a simple comparison function: struct Foo { string bar; } auto sameGroup(T,S) (T a, S b) { static assert (is(T == string) || is(T == Foo)); static assert (is(S == string) || is(S == Foo)); string aStr; string bStr;

Re: Returning Arrays from Functions

On Wednesday, 18 January 2017 at 22:37:25 UTC, Adam D. Ruppe wrote: What code do you have now? This is the basic function. It takes all those boolean arguments and does things depending on them, and then takes any extra args that getopt didn't parse and reads them into numbs. That code

Re: Assigning in constructor.

On Wednesday, 18 January 2017 at 23:08:07 UTC, Adam D. Ruppe wrote: On Wednesday, 18 January 2017 at 22:57:22 UTC, NotSpooky wrote: Is it undefined behavior to assign to a pointer in the constructor of a struct? Yes: http://dlang.org/spec/struct.html "A struct is defined to not have an

Re: switch statement with variable branches

On Thursday, 19 January 2017 at 02:00:10 UTC, Ali Çehreli wrote: On 01/18/2017 05:22 PM, Yuxuan Shui wrote: Somehow I can't use ubyte variables behind 'case', but ulong works fine. Why is that? case expressions must be constants: "The case expressions must all evaluate to a constant

Re: alias not valid with ~

On 19/01/2017 3:25 PM, Adam D. Ruppe wrote: On Thursday, 19 January 2017 at 02:15:04 UTC, rikki cattermole wrote: On 19/01/2017 3:08 PM, Ignacious wrote: class Y { int y; alias y this; } class X { Y[] x; alias x this; } This should not fail: X x = new X; x ~= 3; Yes, it

Re: alias not valid with ~

On Thursday, 19 January 2017 at 02:25:44 UTC, Adam D. Ruppe wrote: On Thursday, 19 January 2017 at 02:15:04 UTC, rikki cattermole wrote: On 19/01/2017 3:08 PM, Ignacious wrote: class Y { int y; alias y this; } class X { Y[] x; alias x this; } This should not fail: X x = new

Re: Returning Arrays from Functions

On Wednesday, 18 January 2017 at 23:09:15 UTC, Adam D. Ruppe wrote: On Wednesday, 18 January 2017 at 22:51:17 UTC, Samwise wrote: numbs[] = getInp(help, file, inp, args); This is wrong, try just `numbs = getImp(...);` numbs[] = xxx will copy stuff into the existing array, which is

Re: Assigning in constructor.

On Thursday, 19 January 2017 at 00:55:42 UTC, NotSpooky wrote: You already answered on the IRC so thanks X2. So, it's problematic to have pointers to structs in all cases according to spec? Maybe... though in practice (and with C compatibility), pointers to ones where you know the memory

Re: Returning Arrays from Functions

What code do you have now?

Re: Assigning in constructor.

On Wednesday, 18 January 2017 at 22:57:22 UTC, NotSpooky wrote: Is it undefined behavior to assign to a pointer in the constructor of a struct? Yes: http://dlang.org/spec/struct.html "A struct is defined to not have an identity; that is, the implementation is free to make bit copies of the

Re: Function template advice

On Wednesday, 18 January 2017 at 22:39:02 UTC, Ali Çehreli wrote: On 01/18/2017 02:02 PM, Jordan Wilson wrote: [...] Yes, can be better with something similar to the following: struct Foo { string bar; } string value(U : Foo)(U u) { return u.bar; } string value(U : string)(U u) {

Re: Language server protocol implementation for D

On Wednesday, 18 January 2017 at 12:29:38 UTC, Atila Neves wrote: On Wednesday, 18 January 2017 at 09:31:49 UTC, xtreak wrote: Rust is making good progress on the IDE aspect with the announcement : http://www.jonathanturner.org/2017/01/rls-alpha-release.html. HN discussion :

switch statement with variable branches

Somehow I can't use ubyte variables behind 'case', but ulong works fine. Why is that? void main() { alias TestType = ulong; // won't compile if = ubyte import std.stdio; TestType a,b,c; readf("%s %s %s ", , , ); switch(c){ case a:

Re: alias not valid with ~

On Thursday, 19 January 2017 at 02:15:04 UTC, rikki cattermole wrote: On 19/01/2017 3:08 PM, Ignacious wrote: class Y { int y; alias y this; } class X { Y[] x; alias x this; } This should not fail: X x = new X; x ~= 3; Yes, it should fail. 3 is not implicitly convertible to

Intelligent enums

I have the need to create an enum flag like structure to specify certain properties of a type easily. e.g., enum properties { Red, Blue, Hot, Sexy, Active, ... } But some properties will be mutually exclusive. I would like to contain all those rules for in the enum itself

Re: alias not valid with ~

On Thursday, 19 January 2017 at 02:51:03 UTC, rikki cattermole wrote: Now, lets say Y was a struct, then yeah it can work. In theory, it can work with either (the compiler could just insert the function call to alloc+construct), but it won't in D since we don't have implicit construction.

Re: alias not valid with ~

On 19/01/2017 3:35 PM, Ignacious wrote: On Thursday, 19 January 2017 at 02:25:44 UTC, Adam D. Ruppe wrote: On Thursday, 19 January 2017 at 02:15:04 UTC, rikki cattermole wrote: On 19/01/2017 3:08 PM, Ignacious wrote: class Y { int y; alias y this; } class X { Y[] x; alias x

Re: alias not valid with ~

On Thursday, 19 January 2017 at 02:35:08 UTC, Ignacious wrote: But this is alias this, the whole point of alias this is to treat the type as as the alias? No, alias this is for subtyping. Similar to a child class, a subtype can be used as its parent type, but must be constructed. class A {}

Re: alias not valid with ~

On Thursday, 19 January 2017 at 02:51:03 UTC, rikki cattermole wrote: On 19/01/2017 3:35 PM, Ignacious wrote: On Thursday, 19 January 2017 at 02:25:44 UTC, Adam D. Ruppe wrote: On Thursday, 19 January 2017 at 02:15:04 UTC, rikki cattermole wrote: On 19/01/2017 3:08 PM, Ignacious wrote:

[Issue 16278] [REG2.067] undefined reference when class template is instantiated only in 'is' expression

https://issues.dlang.org/show_bug.cgi?id=16278 --- Comment #3 from github-bugzi...@puremagic.com --- Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/bdf0df926f90b9243932e2ff76f79de644224b26 Fix issue #16278 - Do not emit TypeInfo for speculative

[Issue 17087] [REG2.072] Wrong generated with cfloat and creal when casting from int

https://issues.dlang.org/show_bug.cgi?id=17087 --- Comment #5 from github-bugzi...@puremagic.com --- Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/7cf3c764da8b85f9d7054b0895384f3a86ce2684 fix Issue 17087 - [REG2.072] Wrong generated with cfloat and

[Issue 17105] New: [ICE] SIMD Internal error with optimizations: backend\cod3.c 6807

https://issues.dlang.org/show_bug.cgi?id=17105 Issue ID: 17105 Summary: [ICE] SIMD Internal error with optimizations: backend\cod3.c 6807 Product: D Version: D2 Hardware: x86_64 OS: Windows

Release Candidate 2.073.0-rc1

First release candidate for 2.073.0. http://dlang.org/download.html#dmd_beta http://dlang.org/changelog/2.073.0.html Comes with a couple of more fixes: https://github.com/dlang/dmd/compare/v2.073.0-b2...v2.073.0-rc1 https://github.com/dlang/druntime/compare/v2.073.0-b2...v2.073.0-rc1

[Issue 17072] [REG 2.073.0-b1] missing symbols with -inline

https://issues.dlang.org/show_bug.cgi?id=17072 --- Comment #5 from github-bugzi...@puremagic.com --- Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/575e6d130d10410e3845a9df1ee2f7e13e84cd9a fix Issue 17072 - [REG 2.073.0-b1] missing symbols with

Re: Getters/setters generator

On Wednesday, 18 January 2017 at 15:29:43 UTC, Mark wrote: On Tuesday, 17 January 2017 at 15:59:26 UTC, Andrei Alexandrescu wrote: On 1/17/17 12:08 PM, Mark wrote: On Tuesday, 17 January 2017 at 09:17:56 UTC, Andrei Alexandrescu wrote: [...] Given that D supports class invariants, is there

[Issue 17106] New: [ICE] SIMD Internal error with optimizations: Internal error: backend\cgcod.c 1666

https://issues.dlang.org/show_bug.cgi?id=17106 Issue ID: 17106 Summary: [ICE] SIMD Internal error with optimizations: Internal error: backend\cgcod.c 1666 Product: D Version: D2 Hardware: x86_64 OS: Windows

Re: Getters/setters generator

On Tuesday, 17 January 2017 at 15:59:26 UTC, Andrei Alexandrescu wrote: On 1/17/17 12:08 PM, Mark wrote: On Tuesday, 17 January 2017 at 09:17:56 UTC, Andrei Alexandrescu wrote: On 1/17/17 9:32 AM, Eugene Wissner wrote: Ah, well thanks. I don't think it makes much sense since it would be

[Issue 13958] RangeError with impure map

https://issues.dlang.org/show_bug.cgi?id=13958 Jack Stouffer changed: What|Removed |Added CC||j...@jackstouffer.com

[Issue 16169] nWayUnion assertion failure

https://issues.dlang.org/show_bug.cgi?id=16169 Jack Stouffer changed: What|Removed |Added CC||j...@jackstouffer.com

[Issue 16234] ICE on opEquals

https://issues.dlang.org/show_bug.cgi?id=16234 bitter.ta...@gmx.com changed: What|Removed |Added Status|NEW |RESOLVED CC|

Re: Gui in D: I miss this project

On 2017-01-18 10:24, aberba wrote: What about Photoshop? Is it native? No. Last time I used it it didn't look very native. -- /Jacob Carlborg

Re: Gui in D: I miss this project

On Wednesday, 18 January 2017 at 17:51:18 UTC, Jacob Carlborg wrote: On 2017-01-18 10:24, aberba wrote: What about Photoshop? Is it native? No. Last time I used it it didn't look very native. So it will be incorrect to say native gui is a requirement to fain higher adoption.

Re: It is still not possible to use D on debian/ubuntu

On Wednesday, 11 January 2017 at 00:33:41 UTC, Martin Nowak wrote: But it is not clear if anyone cares at this stage. are rather frustrating to read. Alright, sentence like this come from extreme frustration at things being almost constantly broken. For instance:

[Issue 17107] New: Runnign phobos unittests do not work with PIE

https://issues.dlang.org/show_bug.cgi?id=17107 Issue ID: 17107 Summary: Runnign phobos unittests do not work with PIE Product: D Version: D2 Hardware: x86_64 OS: Windows Status: NEW Severity: enhancement

Re: DMD Refuses to Compile Multiple Source Files

On Wednesday, 18 January 2017 at 04:25:42 UTC, Mike Parker wrote: extern(C), not simply extern. It turns off the name mangling. But really, the proper thing to do is to drop the prototype and import the module with the implementation. It's tge way modules are intended to be used. Unless

[Issue 4957] std.concurrency does not allow to pass Tid in struct fields

https://issues.dlang.org/show_bug.cgi?id=4957 Paolo Invernizzi changed: What|Removed |Added CC|

Problems with stored procedure using the mysql-native library.

Hi I am having problems using stored procedures that return results. Example procedure: CREATE PROCEDURE GetUsers() SELECT * FROM users; When I use this procedure from the MySQL command line everything works fine. However, when I use it from the mysql-native library i get into problems.

Re: Problems with stored procedure using the mysql-native library.

On Wednesday, 18 January 2017 at 19:40:12 UTC, TheFlyingFiddle wrote: Hi I am having problems using stored procedures that return results. Update: I am using the SvrCapFlags.MULTI_RESULTS flag when initiating the connection and have also tried using the SvrCapFlags.MULTI_STATEMENTS flag.

Re: Getters/setters generator

On 1/18/17 5:29 PM, Mark wrote: I see. Is there a way to call invariant() of a class/struct directly? That would obviate the need for a particular predicate (copy the class state, run the setter, check if invariants are satisfied and restore previous state if they aren't). It seems painfully