From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:50346) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VLbCv-0007sU-OQ for qemu-devel@nongnu.org; Mon, 16 Sep 2013 11:59:30 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VLbCr-0004lt-04 for qemu-devel@nongnu.org; Mon, 16 Sep 2013 11:59:25 -0400 Received: from mx1.redhat.com ([209.132.183.28]:32156) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VLbCq-0004lh-O7 for qemu-devel@nongnu.org; Mon, 16 Sep 2013 11:59:20 -0400 Date: Mon, 16 Sep 2013 19:01:27 +0300 From: "Michael S. Tsirkin" Message-ID: <20130916160127.GD4141@redhat.com> References: <20130915172331.GA2821@redhat.com> <5236A5ED.3000804@suse.de> <20130916123303.GA2992@redhat.com> <523722BE.90202@suse.de> <20130916154851.GB4141@redhat.com> <52372A48.1040803@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <52372A48.1040803@redhat.com> Subject: Re: [Qemu-devel] [PATCH] qom: helper macro for adding read-only properties List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Paolo Bonzini Cc: Igor Mammedov , Stefan Hajnoczi , Andreas =?iso-8859-1?Q?F=E4rber?= , Anthony Liguori , qemu-devel@nongnu.org On Mon, Sep 16, 2013 at 05:56:56PM +0200, Paolo Bonzini wrote: > Il 16/09/2013 17:48, Michael S. Tsirkin ha scritto: > > http://sweng.the-davies.net/Home/rustys-api-design-manifesto > > > > Even then: it will be at best > > "5. Do it right or it will always break at runtime." > > > > We need to switch to APIs at > > "9. The compiler/linker won't let you get it wrong." > > We definitely can get at least to "make check won't let you get it > wrong", which is somewhere in the middle. > > Paolo We can't. make check just runs unit tests. So it can catch changes, but it can not catch bugs in new interfaces. -- MST