From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: tuhs-bounces@minnie.tuhs.org X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.1 Received: from minnie.tuhs.org (minnie.tuhs.org [45.79.103.53]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id c4f85f64 for ; Wed, 22 Aug 2018 15:53:50 +0000 (UTC) Received: by minnie.tuhs.org (Postfix, from userid 112) id CE9D5A1A98; Thu, 23 Aug 2018 01:53:49 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id BBEABA1C9D; Thu, 23 Aug 2018 01:53:15 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=pass (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.b=awspfXGf; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id 7A977A1A94; Thu, 23 Aug 2018 01:53:02 +1000 (AEST) Received: from mail-qk0-f193.google.com (mail-qk0-f193.google.com [209.85.220.193]) by minnie.tuhs.org (Postfix) with ESMTPS id F2039A1A89 for ; Thu, 23 Aug 2018 01:53:01 +1000 (AEST) Received: by mail-qk0-f193.google.com with SMTP id 93-v6so1554557qks.3 for ; Wed, 22 Aug 2018 08:53:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=/fnoPdVFWKBu1IbHgyaK6AKkhlZM6sZfWdGvCytyH90=; b=awspfXGfDRpw1JWMjV5o1qaYwfEC2qnynVB/dAUbaA6JcC63nmvI/qrTLWeulnYdh3 Dh0RkZkegR7nFuj2cVR3WsKGWpXMhONi8E7bOpgzl0ZGvcTHZUY6ErhcFnig7RDsdw6Z 4MZHfuE5LR2tnYE6YPUg4VfDnk9eyO6GqASDArhmMzwNptCVhQfS/ezReoSexmLxfMBu ei1sWNlpizaCsOoGQkJZZjYgF2pJlE80ItEidHz7Ac5oaBhZ7W/8GxiIi/dM5D7SgFv/ JPvyIRBnLH14s2hJzdB02SiNMnBuDYz4Id8kzwid6HoKENnJdmFhQ8jSLMwv3VW98mJw FS0g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=/fnoPdVFWKBu1IbHgyaK6AKkhlZM6sZfWdGvCytyH90=; b=Ry7G8vjCMZmcg++xovhNpF0zKVFTWmzeE7eyNoeM4LRtAtotYN0Chqm8SaBWKqwJMg pwGFUXSQ5K+/xUBaOc3OjskShfIgqlC9SWxSvLDgRXZJGMpAgTvvnu52263tlKU4dFId RHWgaoZ9w7fG5Vv5OFG87Ro+ia7KETL2A6D0F4vgWzB3LRUcSO6yKMJSeQZCaE9zC811 D/YcJpcCbt8PBW1CCoUk/9XzDIMJrZN+b41ryGYRVfT+xM9nkqwUwY/PZvpPueUIqMpg 0B34vM2OgdOy90TDcz2F0SBTb3HunojnAeTDPci+OzIlzfwIaur9ySkH6uBmMqWZoVSt oLUQ== X-Gm-Message-State: AOUpUlHawTA06hQ+l9gJbV9ZRxy9Joal+aabBtr78QnO0iTXTlI2awSx XKpFm475XvQAUYNhaGZtxubaAceb X-Google-Smtp-Source: AA+uWPz8XTyf0tCMvq+8DomtF/zdlZFr3x5oIuQo27Rfii2JaCdeVDP0o25ccOjh9sMaxMw8Qq/E/A== X-Received: by 2002:a37:1599:: with SMTP id 25-v6mr25952916qkv.245.1534953180721; Wed, 22 Aug 2018 08:53:00 -0700 (PDT) Received: from crack.deadbeast.net (rrcs-24-171-184-100.midsouth.biz.rr.com. [24.171.184.100]) by smtp.gmail.com with ESMTPSA id w9-v6sm1359908qta.13.2018.08.22.08.52.59 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 22 Aug 2018 08:52:59 -0700 (PDT) Date: Wed, 22 Aug 2018 11:52:57 -0400 From: "G. Branden Robinson" To: tuhs@minnie.tuhs.org Message-ID: <20180822155255.p6bxrezym2k4ygtl@crack.deadbeast.net> References: <88DDC574-96EA-4B3D-97A2-28157BF3B9D7@163.com> <20180821213743.4931661.91186.9539@texoma.net> <20180822094452.73ca043f@jabberwock.cb.piermont.com> <20180822114630.31557ebe@jabberwock.cb.piermont.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="v3rvc7hhoqsop565" Content-Disposition: inline In-Reply-To: <20180822114630.31557ebe@jabberwock.cb.piermont.com> User-Agent: NeoMutt/20180716 Subject: Re: [TUHS] About Unix header files X-BeenThere: tuhs@minnie.tuhs.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: The Unix Heritage Society mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" --v3rvc7hhoqsop565 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable At 2018-08-22T11:46:30-0400, Perry E. Metzger wrote: > On Wed, 22 Aug 2018 11:29:40 -0400 Paul Winalski > wrote: > > On 8/22/18, Perry E. Metzger wrote: > > > > > > To my knowledge, object file formats still don't have information > > > about type signatures, and linkers still don't care about types. > > > This is actually a problem. It would probably prevent a lot of > > > errors if those things changed. > >=20 > > For a linker to enforce (or warn about) type and call signature > > matching, it would have to know the type and call semantics of each > > particular language, >=20 > Not necessarily. One could produce a language-independent way of > signaling what the type signatures are (perhaps with normalized > language-dependent strings) and the linker could just check that they > match. >=20 > I've seen several languages (like OCaml) hack around the lack of this > by providing an auxiliary file for a pre-link phase to check off > of. It would be nicer if the linker could just handle that. My impression is that Ada's .ali (I haven't seen an official mnemonic, but "Ada Link Information" seems likely) files provide this security. --=20 Regards, Branden --v3rvc7hhoqsop565 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEh3PWHWjjDgcrENwa0Z6cfXEmbc4FAlt9hskACgkQ0Z6cfXEm bc4MCBAAoK6Aro84p5wO7+rZh6KXwaIV9IFBf7/VLEKjaOg+gI9ifvABtztmmGvW CfaZIRJigyEp/kW37A1vvGo3JG5W65+lksHEjr1bex+pyJHY7kF2NN6R7x1Y5V67 QUtoHpfE2hppuQx3YGAJ7fLW+rbivIOHb2nZvGpwyU4o/ecuSc93q1EWs4uVHFau JG98YbaUKPZr27Nf8EX+vUkSg58/+OxR2+LTvlf7VvYGnPt69GMmJpuq04u06Gd2 ifJxILKPFNTGG/QqRhQAG8Yo3bs5C1LUrZ1dW0DtcR3stC4Zbe+U1VqzQochsuki FK1b3BfLrTuSn9+0zZ5RD/aiCFEaov7wLFxuOm1GYqs5KgbfFrSkCNr5fVHdUs9S 4uOBHrRfUA4UV18QA9AlQgVtIvK5WzABJOd+w/oBlR5ZLxYJjoOKkt6oZzGLIdVD Rentr0mFQq8yWToTvWPo08pYcVsD2iKrbvJ99tD8PqyN1UPy0GT/wMrnfsarIfvY UzI325ztBYsEgG3255hID8LrBy9a6MH9L0MhkkjHgSqjFqTjkbyneTz8nxvZIPhi gky2NmCxa1GjkVogs9JgEnzlJmIlr4V1B7M+v8sCTWRf0mnVUTRECmIG7jnycWhl VUuKDwkDfBkDyNaQalROHudaDzUM/4SditsmzBknUZxstATscuY= =2Z3n -----END PGP SIGNATURE----- --v3rvc7hhoqsop565--