From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <markus.mottl@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 345967FD92
	for <caml-list@sympa.inria.fr>; Mon, 20 Jun 2016 17:38:04 +0200 (CEST)
IronPort-PHdr: 9a23:/8brgRLwsC4quidXdtmcpTZWNBhigK39O0sv0rFitYgULfjxwZ3uMQTl6Ol3ixeRBMOAu6MC2red7PGocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC3oLmiqvtqtX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4D7oRA6Lrl8dSXlexhFBBgyA6BDhQr/wtDH7v6xzwn/JE9fxSOURUC6h8rwjbRj0lCNPYzsw6mLKkYp1i75HpDquohV+x8jfZ4TDZ6k2Rb/UYd5PHTkJZc1WTSEUR9rkN4Y=
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=markus.mottl@gmail.com; spf=Pass smtp.mailfrom=markus.mottl@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f177.google.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  markus.mottl@gmail.com) identity=pra;
  client-ip=209.85.223.177;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="markus.mottl@gmail.com";
  x-sender="markus.mottl@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  markus.mottl@gmail.com designates 209.85.223.177 as permitted
  sender) identity=mailfrom; client-ip=209.85.223.177;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="markus.mottl@gmail.com";
  x-sender="markus.mottl@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-io0-f177.google.com) identity=helo;
  client-ip=209.85.223.177;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="markus.mottl@gmail.com";
  x-sender="postmaster@mail-io0-f177.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0CpAABxDWhXhrHfVdFdhBR9BqdtBAOSb4F6GocrBzgUAQEBAQEBAQERAQEBCAsLCSEvgjGCMxEdARQHHgMSEA8CJgIjAQERAQUBIhMih3MBAxegbIIHgTE+MYs7gWqCWQWHKAoZJw1Sgx0CBhBxhSaHEIR+gloFmEI0gViKWIF6gVMBjU6ICoYuEh6BDx6BbQFhgXMgMopIAQEB
X-IPAS-Result: A0CpAABxDWhXhrHfVdFdhBR9BqdtBAOSb4F6GocrBzgUAQEBAQEBAQERAQEBCAsLCSEvgjGCMxEdARQHHgMSEA8CJgIjAQERAQUBIhMih3MBAxegbIIHgTE+MYs7gWqCWQWHKAoZJw1Sgx0CBhBxhSaHEIR+gloFmEI0gViKWIF6gVMBjU6ICoYuEh6BDx6BbQFhgXMgMopIAQEB
X-IronPort-AV: E=Sophos;i="5.26,499,1459807200"; 
   d="scan'208";a="223159240"
Received: from mail-io0-f177.google.com ([209.85.223.177])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 Jun 2016 17:38:00 +0200
Received: by mail-io0-f177.google.com with SMTP id n127so134039385iof.3
        for <caml-list@inria.fr>; Mon, 20 Jun 2016 08:38:01 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to;
        bh=kx+fFxT/fYJFjeCNUR3hyZ6/ASJ3JihznYwyR1qdi7g=;
        b=su3L19I2CXCi8SqvUfG/Ar38Aw999VRYJ4u5foYEMxvmh1b0cELoi7Q/nWk/nX0/Pr
         IDm9a9BlJcMoFlPc/WAGppreE2U9bzSb2e5nvg1rcwU9OzamOdaA3303KwGNkZJq7q02
         V11rROMmVPpuXmWrtvevLXuRuZiH56ljNp3B/WrXcDgrV7tcM6VOq7asRv8DRBOktktv
         m8POWGoloRbBNwcFhzrC3IPRy8oR4py/BZbraFvpM1YoaSRt3ZXgSxs8D5mBkfTB0ZSG
         v8mhw27ACXtylGDlWTdGQ6Y1s/tGVYK2QDhMKemf4K1fo5qDZAtQqHbTUVx8H+N8A5eF
         1X+g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
        bh=kx+fFxT/fYJFjeCNUR3hyZ6/ASJ3JihznYwyR1qdi7g=;
        b=UhKxUZiYtWitdYFFH143dOarAdxYxgFAaSQBOCvniHAvIPaoLAH9mr3sGPgNxcTpV/
         zxM7xu+CcGaENUITI9qteilknAAtAuzpCztAp5ENSbhCmbAIgZ9wvoiSxBHrKaiOTl84
         oEuQEKpNMQMKDTG5ctaHpp05EDK1IFlqPTZWlwBAlwsNRzzylocCmC0nKOiLYumEvmpZ
         dXm6T2lMtQeKqV1+STjQv+ezfhcpYtHXidwXOERrfOrkLUb1yUst62o+oKUyHytrWdha
         vVmwxu+kjWKmE1GLzTY1VA1I2mrHjAS9aMOdXwYb4qyR0EFmA2lY/LunuC4JfTPw6pIg
         LyrQ==
X-Gm-Message-State: ALyK8tJoYzxOVlQulo1NHTeV5BrOrcg/RTCepZoJSbLlpioXgA16YglgkUpXO5PlcbUyP9wlauCkB57MNjYYmA==
X-Received: by 10.107.22.131 with SMTP id 125mr23438090iow.128.1466437079923;
 Mon, 20 Jun 2016 08:37:59 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.107.9.103 with HTTP; Mon, 20 Jun 2016 08:37:59 -0700 (PDT)
From: Markus Mottl <markus.mottl@gmail.com>
Date: Mon, 20 Jun 2016 11:37:59 -0400
Message-ID: <CAP_800osLpU4vGZ+TvsL0OEuB8pSHSdLjYhm_z_WB1K=pU6hfg@mail.gmail.com>
To: OCaml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: [Caml-list] CSE with FLambda?

I haven't seen any reference to common subexpression elimination in
the FLambda documentation.  Sometimes a functor may be applied to the
exact same module in different parts of the code, and it may be
cumbersome to factor out this application.

Is or will FLambda be able to recognize such potential code
duplication and perform CSE on functor applications with identical
arguments?

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com