From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 40047 invoked by alias); 13 Aug 2019 20:48:54 -0000 Mailing-List: contact kawa-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: kawa-owner@sourceware.org Received: (qmail 40039 invoked by uid 89); 13 Aug 2019 20:48:53 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-2.1 required=5.0 tests=AWL,BAYES_00,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,HTML_MESSAGE,RCVD_IN_DNSWL_LOW,SPF_HELO_PASS,SPF_PASS autolearn=ham version=3.3.1 spammy=p.s, P.S, UD:P.S, HTo:U*kawa X-HELO: mail-40133.protonmail.ch Received: from mail-40133.protonmail.ch (HELO mail-40133.protonmail.ch) (185.70.40.133) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 13 Aug 2019 20:48:51 +0000 Date: Tue, 13 Aug 2019 20:48:00 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=default; t=1565729329; bh=dmWVYMSratD7hnjnSWI0KEIFeYVP0NYPU6DzxFJUrGc=; h=Date:To:From:Reply-To:Subject:Feedback-ID:From; b=VcSKoBX3njsfIafG9dZ7gu3gjuWEA0Gj0/LNkzIu5zNjWkI6VbnLxf4TfkmtxpEdQ 2q47MwAnlaDLrGt5dJMiaKXrbItrqE90Pkym5udGe2oDXI3lQJ0Ww9YGSHobj+zSW3 fQ06v9wQyt7Swbj2P9L7F+VILBOqOdet1IRlSWJM= To: "kawa@sourceware.org" From: spellcard199 Reply-To: spellcard199 Subject: How to get the return type kawa would infer for an expression? Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 X-IsSubscribed: yes X-SW-Source: 2019-q3/txt/msg00009.txt.bz2 SGVsbG8uIEknbSBhIGJlZ2lubmVyIHRyeWluZyB0byBtYWtlIGFuIGVtYWNz IGxpYnJhcnkgY2FsbGVkICJnZWlzZXIiIHRvIHdvcmsgd2l0aCBrYXdhIGFu ZCBoYXZpbmcgYWNjZXNzIHRvIHRoZSBrYXdhJ3MgdHlwZSBpbmZlcmVuY2Ug Y291bGQgYmUgdXNlZnVsIGZvciBqYXZhIGNvbXBsZXRpb24gYW5kIG1ldGhv ZCBhcmdsaXN0LgoKSXMgdGhlcmUgYSBzaW1wbGUgd2F5IHRvIGdldCB0aGUg cmV0dXJuIHR5cGUgdGhlIGNvbXBpbGVyIHdvdWxkIGluZmVyIGZvciBhbiBl eHByZXNzaW9uPyBJbiB0aGUgZW5kIEkgd291bGQgbGlrZSB0byBvYnRhaW4g c29tZXRoaW5nIGxpa2UgYCh3aGljaC1yZXR1cm4tdHlwZS13b3VsZC15b3Ut dGVsbC1mb3ItdGhpcyAnKC4uLi4pKWAuCgpJIHJlYWQgaW4gYSBwYXN0IHRo cmVhZCBpbiB0aGUgbWFpbGluZyBsaXN0IGFyY2hpdmUgdGhhdCB0aGUga2lu ZCBvZiB0eXBlIGluZmVyZW5jZSB0aGUga2F3YSBjb21waWxlciBkb2VzIGlz IGJhc2VkIG9uICJvcHRpbWlzdGljIiwgbm90IHN0YXRpYyB0eXBlIGNoZWNr aW5nLCBidXQgSSB0aGluayB0aGF0J3Mgb2sgaWYgdGhlIHVzZXIgaXMgYXdh cmUgb2YgaXQuCgpUaGUgcmVhc29uIEknbSB0cnlpbmcgdG8gYXZvaWQgcGxh aW4gcmVmbGVjdGlvbiBvbiB0aGUgc2V4cCwgbGlrZSA9KCo6Z2V0TWV0aG9k cyAoKjpnZXRDbGFzcyAnKC4uLikpKT0sIGlzIHRoYXQgdGhlICguLi4pIGZv cm0gY291bGQgaGF2ZSBzaWRlIGVmZmVjdHMgdGhlIHByb2dyYW1tZXIgbWF5 IG5vdCB3YW50IHRvIHRyaWdnZXIganVzdCB0byBnZXQgY29tcGxldGlvbnMu CgpQLlMuCgpXaGlsZSBJIHdhcyB0cnlpbmcgdG8gZmluZCB0aGlzIGJ5IG15 c2VsZiBJIHdyb3RlIHRoZSBmb2xsb3dpbmcgY29weS9wYXN0aW5nIGZyb20g a2F3YSBzb3VyY2UgY29kZSBhbmQgbm90aWNlZCB0aGF0IGFmdGVyIGAoZ251 LmV4cHIuTW9kdWxlRXhwOmV2YWxUb0NsYXNzIGNvbXAgIyFudWxsKWAKdHlw ZSB3YXJuaW5ncyBhcHBlYXIgaW4gdGhlIHNvdXJjZU1lc3NhZ2VzLCBzbyB0 aGUgY29tcGlsZXIgaGFzIHRvIGtub3cgc29tZXRoaW5nIGFib3V0IHR5cGVz IGF0IHRoYXQgcG9pbnQuIE1heWJlIHRoZSBhbnN3ZXIgdG8gbXkgcXVlc3Rp b24gaXMgbmVhciB0aGVyZT8KCiMrQkVHSU5fU1JDIHNjaGVtZQoobGV0KiAo KGNvZGUtc3RyICIoZGVmaW5lIChmb29iYXIgeCkgKHg6Y29uY2F0IFwiZm9v YmFyXCIpKSIpCiAgICAgICAoaW5wICAgICAgIChnbnUua2F3YS5pby5DaGFy QXJyYXlJblBvcnQgY29kZS1zdHIpKQogICAgICAgKG1lc3NhZ2VzICAoZ251 LnRleHQuU291cmNlTWVzc2FnZXMpKQogICAgICAgKHMgICAgICAgICAoa2F3 YS5zdGFuZGFyZC5TY2hlbWUpKQogICAgICAgKGVudiAgICAgICAoczpnZXRF bnZpcm9ubWVudCkpCiAgICAgICAobGV4ZXIgICAgIChzOmdldExleGVyIGlu cCBtZXNzYWdlcykpCiAgICAgICAoY3R4ICAgICAgIChnbnUubWFwcGluZy5D YWxsQ29udGV4dDpnZXRJbnN0YW5jZSkpCiAgICAgICAob3V0ICAgICAgIChn bnUua2F3YS5pby5DaGFyQXJyYXlPdXRQb3J0KSkKICAgICAgIChvcHRzICAg ICAgZ251LmV4cHIuTGFuZ3VhZ2U6UEFSU0VfSU1NRURJQVRFKQogICAgICAg KGNvbXAgICAgICAoczpwYXJzZSBsZXhlciBvcHRzICMhbnVsbCkpKQoKICA7 OyB0eXBlIHdhcm5pbmdzIGFyZSBub3QgeWV0IHByb2R1Y2VkCiAgKGRpc3Bs YXkgIm1zZy1kYmctMTpcbiIpCiAgKG1lc3NhZ2VzOnByaW50QWxsIG91dCA5 OTkpCiAgKG91dDpmbHVzaCkKICAoZGlzcGxheSAoamF2YS5sYW5nLlN0cmlu ZyAob3V0OnRvQ2hhckFycmF5KSkpCiAgKG5ld2xpbmUpCgogIChnbnUuZXhw ci5Nb2R1bGVFeHA6ZXZhbFRvQ2xhc3MgY29tcCAjIW51bGwpCgogIDs7IHR5 cGUgd2FybmluZ3MgcHJlc2VudAogIChkaXNwbGF5ICJtc2ctZGJnLTI6XG4i KQogIChtZXNzYWdlczpwcmludEFsbCBvdXQgOTk5KQogIChvdXQ6Zmx1c2gp CiAgKGRpc3BsYXkgKGphdmEubGFuZy5TdHJpbmcgKG91dDp0b0NoYXJBcnJh eSkpKQogIChuZXdsaW5lKSkKIytFTkRfU1JD