Return-Path: Delivered-To: apmail-harmony-dev-archive@www.apache.org Received: (qmail 4251 invoked from network); 4 Jul 2007 01:50:47 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2) by minotaur.apache.org with SMTP; 4 Jul 2007 01:50:47 -0000 Received: (qmail 58389 invoked by uid 500); 4 Jul 2007 01:50:47 -0000 Delivered-To: apmail-harmony-dev-archive@harmony.apache.org Received: (qmail 58350 invoked by uid 500); 4 Jul 2007 01:50:46 -0000 Mailing-List: contact dev-help@harmony.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@harmony.apache.org Delivered-To: mailing list dev@harmony.apache.org Received: (qmail 58341 invoked by uid 99); 4 Jul 2007 01:50:46 -0000 Received: from herse.apache.org (HELO herse.apache.org) (140.211.11.133) by apache.org (qpsmtpd/0.29) with ESMTP; Tue, 03 Jul 2007 18:50:46 -0700 X-ASF-Spam-Status: No, hits=1.5 required=10.0 tests=MIME_BASE64_TEXT,SPF_PASS X-Spam-Check-By: apache.org Received-SPF: pass (herse.apache.org: domain of clarazhang@gmail.com designates 209.85.146.183 as permitted sender) Received: from [209.85.146.183] (HELO wa-out-1112.google.com) (209.85.146.183) by apache.org (qpsmtpd/0.29) with ESMTP; Tue, 03 Jul 2007 18:50:41 -0700 Received: by wa-out-1112.google.com with SMTP id k22so3094857waf for ; Tue, 03 Jul 2007 18:50:21 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:from:to:references:subject:date:mime-version:content-type:content-transfer-encoding:x-priority:x-msmail-priority:x-mailer:x-mimeole; b=VakCPDdwutudwO8HH9nEeERorq7Dhjw2LBt2t1K0/zyCaif0SCLEjPN0a9JLJJug+SfRG+LL61cI3JF8pnRF2kdnqXVLuQ8wVCn9oUcVrk6idu8Tv+Z8dIuG84VDwaXrqSKckbTGay6E/PcDv+ph3QZ4mRDUreoomGPj1iIBEc4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:from:to:references:subject:date:mime-version:content-type:content-transfer-encoding:x-priority:x-msmail-priority:x-mailer:x-mimeole; b=c91OjMgA0USmLJi2T+1uFUlz9gewvi7+Rk4dI3izxMFr3EHuE5y2KJjCQMme7PhZ8h+A/o52DwGqYPAZ/M5Zylq6QGbWxKSFP2Rhy86Y7FQkoFE9Yf5wT229pIyiPGa1oXY+AiaXRj4LB0Z2l5UeF+fmt1tpaDwY7ba/2qBnhTM= Received: by 10.114.134.1 with SMTP id h1mr6727218wad.1183513821061; Tue, 03 Jul 2007 18:50:21 -0700 (PDT) Received: from zy ( [202.38.79.124]) by mx.google.com with ESMTP id k24sm18127232waf.2007.07.03.18.49.56 (version=SSLv3 cipher=RC4-MD5); Tue, 03 Jul 2007 18:50:19 -0700 (PDT) Message-ID: <00c501c7bddd$b720f140$3701a8c0@SUNUSTC> From: "clara" To: References: <1a876ab60707010717x613f7650va9810b3ae0564ddd@mail.gmail.com> <9623c9a50707011827kf059ccbu413fd5e8bd36a1e5@mail.gmail.com> <008801c7bc4c$5ca0ffe0$3701a8c0@SUNUSTC> <9623c9a50707011923o1fedbc1dybaef8bb956fd8d48@mail.gmail.com> <0vqodivia4p.fsf@gmail.com> <00cd01c7bd27$4d965320$3701a8c0@SUNUSTC> Subject: Re: [drlvm][jitrino]Are there any static type checking and type propagation? Date: Wed, 4 Jul 2007 09:48:25 +0800 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: base64 X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.3028 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3028 X-Virus-Checked: Checked by ClamAV on apache.org T3VyIG9iamVjdGl2ZSBpcyB0byBleHBsb2l0IGEgbW9yZSBhY2N1cmF0ZSBpbnRlci1wcm9jZWR1 cmFsIGstbGF5ZXIgRUEsIHdoaWNoDQp3aWxsIGd1aWRlICB0aGUgSklULWFzc2lzdGVkIEdDIChh IGJpdCBsaWtlIGZyZWUtbWUgWzFdKSBvciBjb25jdXJyZW5jeSBhbmFseXNpcy4NCg0KT3VyIEVB IGlzIGRlcGVuZGFudCBvbiBTU0EsIGFuZCBhIHJvdWdoIGludGVyLXByb2NlZHVyYWwgay1sYXll ciBFQSBoYXMgYmVlbiANCmltcGxlbWVudGVkICggYnkgd3JpdGluZyBhIG9wdHBhc3MgKS4gV2Ug bmVlZCB0eXBlIHByb3BhZ2F0aW9uICB0byBvYnRhaW4gYW5kIA0KYW5hbHl6ZSBtb3JlIHJlbGF0 ZWQgbWV0aG9kLiBCdXQgd2UgY291bGQgbm90IGtub3cgaG93IHRoaXMga2luZCBvZiB0eXBlIA0K cHJvcGFnYXRpb24gY29zdCwgYW5kIHdoeSBqaXRyaW5vIGltcGxlbWVudCBpbnRlci1wcm9jZWR1 cmFsIGFuYWx5c2lzIGJ5IGlubGluaW5nDQphbmQgbm90IGJ5IGNyb3NzLXByb2NlZHVyYWwgaW5m b21hdGlvbiB0cmFuc2Zlci4NCg0KQW5vdGhlciBwcm9ibGVtIGlzIHRoZXJlIGFyZSBtYW55IG9i amVjdHMgcmVmZXJlbmNlZCBieSBtYW55IGNvbnRhaW5lciBvYmplY3RzDQppbiBhcHBsaWNhdGlv bnMuIERvIHlvdSBoYXZlIHNvbWUgZ29vZCBhZHZpY2VzIG9uIGFuYWx5emluZyBzdWNoIG9iamVj dHM/DQoNCg0KWzFdIFNhbXVlbCBaLiBHdXllciwgS2F0aHJ5biBTLiBNY0tpbmxleSwgYW5kIERh bmllbCBGcmFtcHRvbi4gDQpGcmVlLU1lOiBhIHN0YXRpYyBhbmFseXNpcyBmb3IgYXV0b21hdGlj IGluZGl2aWR1YWwgb2JqZWN0Lg0KSW4gUExESSAyMDA2LCBPdHRhd2EsIE9udGFyaW8sIENhbmFk YSByZWNsYW1hdGlvbiwgMjAwNi4NCg0KLS0tLS0gT3JpZ2luYWwgTWVzc2FnZSAtLS0tLSANCkZy b206ICJNaWtoYWlsIEZ1cnNvdiIgPG1pa2UuZnVyc292QGdtYWlsLmNvbT4NClRvOiA8ZGV2QGhh cm1vbnkuYXBhY2hlLm9yZz4NClNlbnQ6IFR1ZXNkYXksIEp1bHkgMDMsIDIwMDcgNTo0MyBQTQ0K U3ViamVjdDogUmU6IFtkcmx2bV1baml0cmlub11BcmUgdGhlcmUgYW55IHN0YXRpYyB0eXBlIGNo ZWNraW5nIGFuZCB0eXBlIHByb3BhZ2F0aW9uPw0KDQoNCj4gT24gNy8zLzA3LCBjbGFyYSA8Y2xh cmF6aGFuZ0BnbWFpbC5jb20+IHdyb3RlOg0KPj4NCj4+IFRoYW5rcy4NCj4+DQo+PiBXZSBhcmUg ZXhwbG9pdGluZyBhbiBpbnRlci1wcm9jZWR1cmFsIGstbGF5ZXIgZXNjYXBlIGFuYWx5c2lzLCB3 aGljaCBhcmUNCj4+IG5vdCBkZXBlbmRlbnQgb24gaW5saW5pbmcuIFNvIHdlIHdpbGwgZG8gc29t ZSBjcm9zcy1wcm9jZWR1cmUgdHlwZQ0KPj4gcHJvcGFnYXRpb24gb3Vyc2VsdmVzLiA6LSkNCj4+ IENvdWxkIHlvdSBnaXZlIHVzIHNvbWUgYWR2aWNlcyBvbiBpdCBhY2NvcmRpbmcgdG8geW91ciBl eHBlcmllbmNlcz8NCj4+DQo+Pg0KPiBGaXJzdCBvZiBhbGwgeW91IGNhbiB1c2UgSmF2YUJ5dGVj b2RlVHJhbnNsYXRvciB0byBwcm9kdWNlIEhJUiBmb3IgdGhlDQo+IG1ldGhvZHMgeW91IGFyZSBp bnRlcmVzdGVkIHRvIGFuYWx5emUuIERyb3AgdGhpcyBISVIgKGRvIG5vdCBpbmxpbmUgaXQpDQo+ IGFmdGVyIHlvdSBjaGVja2VkIHRoZSBkYXRhIHlvdSBuZWVkLg0KPiANCj4gQ291bGQgeW91IGRl c2NyaWJlIHlvdXIgdGFzayBhbmQgcHJvcG9zZWQgc29sdXRpb24gaW4gbW9yZSBkZXRhaWxzLCBz byB3ZQ0KPiBjYW4gdGhpbmsgYWJvdXQgbW9yZSBwcmVjaXNlIGFkdmljZXM/DQo+IA0KPiAtLSAN Cj4gTWlraGFpbCBGdXJzb3YNCj4=