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=-0.9 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, T_DKIM_INVALID 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 668b12cf for ; Wed, 22 Aug 2018 15:56:42 +0000 (UTC) Received: by minnie.tuhs.org (Postfix, from userid 112) id 0362CA1AA5; Thu, 23 Aug 2018 01:56:41 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id B0C1CA1A94; Thu, 23 Aug 2018 01:56:32 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.b=BJaisKo2; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id 93296A1A94; Thu, 23 Aug 2018 01:56:31 +1000 (AEST) Received: from mail-lj1-f194.google.com (mail-lj1-f194.google.com [209.85.208.194]) by minnie.tuhs.org (Postfix) with ESMTPS id E6317A1A89 for ; Thu, 23 Aug 2018 01:56:30 +1000 (AEST) Received: by mail-lj1-f194.google.com with SMTP id u83-v6so1803561lje.12 for ; Wed, 22 Aug 2018 08:56:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=GwMa4szeHc//GryTjv5kUBNEZD6ZILHgYvWejloz8+Q=; b=BJaisKo29UMh7aJL1r+aaijukCwrJcg7eR3LK+KvhSU9k35at47ZoYjtEqPtQMCA0d W/xfj0AK6YKPxFOotBjM+053XbKUh70QW6WO6JcSKeBHrlj9Hgazs5ay4vBklNtabrza /lrgs2HFDsc4axtF18wiYUO40i21Pw49dVIV6asJwYYwilDY7G3BcdL0byDQwPGz1nZD S1X3BXYAt7tkhce7zNuweFnQcDmTBdWoqjJVjtJVWbRbaZJM7o7JfZ1Unge7SPHvseHJ 6Xth0ePzyFJm3/XpsZF5+d4JmY+aybGjRVgmR5clwgCq3bPkGZYdOysN9Sc9Gm45l1bR zOkQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=GwMa4szeHc//GryTjv5kUBNEZD6ZILHgYvWejloz8+Q=; b=fld2IfIQcFu1VTf6s2QHZ1wqVCSw1NYTpIs1SlmZHBesPV49dfu7kqHZKlou/s69d/ abkgjBANto8NB5C4WU34+cENoOhGcXLfCJ8bxOgTNxYbUnCwtGFmN502Nlt7DztLRctS WA/85QjHZloINLTbt3xA8mea5joxfswvAwth8DpvXzzWc7Phf067wZK20Z7qlDaF/DYR vctL3M8JbFhj60oDsn8X0VVO+ToDm42C2q9h6hW4afi9rHgGYC6nA8ULlWyBSwaIJxfV c1kNkzOq2LQhHBZ47AHiwqcCyDBf9K8lv1SKQFiYnn5ohbh+ixVp1X8dtM+UGkHIHJX6 ZQuA== X-Gm-Message-State: AOUpUlGYSU0SVV6oVaJGLBQ15zzAIZOa/WJgVly9nfXOcNxijcO/znGN JgpTEaR0oyWZF/UtVdDzwD6Vbgaf8s/m1SMLA0M= X-Google-Smtp-Source: AA+uWPxhzKAFAfZKYCwMtMB/XedcL/ye8vNvZUsJ/he/ooHvqUVeDc60SkIfLXEMPJOljS0FcQeWuhkEUfGf4hupmL4= X-Received: by 2002:a2e:d1:: with SMTP id e78-v6mr22551007lji.127.1534953389507; Wed, 22 Aug 2018 08:56:29 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a2e:82cb:0:0:0:0:0 with HTTP; Wed, 22 Aug 2018 08:56:29 -0700 (PDT) In-Reply-To: <20180822114630.31557ebe@jabberwock.cb.piermont.com> 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> From: Paul Winalski Date: Wed, 22 Aug 2018 11:56:29 -0400 Message-ID: To: "Perry E. Metzger" Content-Type: text/plain; charset="UTF-8" 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: , Cc: tuhs@minnie.tuhs.org Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" On 8/22/18, Perry E. Metzger wrote: > > 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. True. And the debugger people have already done the design work in this area. One could probably use DWARF to pass this info to a linker. > 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. I'm pretty sure that is how VMS Ada solved the problem, too. -Paul W.