From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 13D2B7F61D for ; Thu, 27 Oct 2016 17:00:43 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jonathan.dilorenzo@gmail.com; spf=Pass smtp.mailfrom=jonathan.dilorenzo@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f173.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jonathan.dilorenzo@gmail.com) identity=pra; client-ip=209.85.216.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jonathan.dilorenzo@gmail.com"; x-sender="jonathan.dilorenzo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jonathan.dilorenzo@gmail.com designates 209.85.216.173 as permitted sender) identity=mailfrom; client-ip=209.85.216.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jonathan.dilorenzo@gmail.com"; x-sender="jonathan.dilorenzo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f173.google.com) identity=helo; client-ip=209.85.216.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jonathan.dilorenzo@gmail.com"; x-sender="postmaster@mail-qt0-f173.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AStemPxE0g37nZC2z3ZfjMp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75oMmwAkXT6L1XgUPTWs2DsrQf2rCQ7PmrBzNIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBy?= =?us-ascii?q?brysXNWD1YLojqvspNX6WEZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu?= =?us-ascii?q?5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysez1vB+L?= =?us-ascii?q?YgyT4WUXUmQKiVIcAhbKxBD3U5q3tTH14LlTwi6faO/xS7koWT2kp4tqbBjyhS?= =?us-ascii?q?EVMHZt/GDTjdZ9irBciBm64Rd42YjZZIXTOfZjKPCONegGTHZMC54CHxdKBZmx?= =?us-ascii?q?Os5WV7IM?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CvBgBPFhJYf63YVdFcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgn8BAQEBAXV9B6QvgjIlkWiCCB+HegdBEgE?= =?us-ascii?q?BAQEBAQEBAQEBEgEBCQsLCRsygjMEARUBBIIQAQEBAwESER0BOAEDAQsBBQMCC?= =?us-ascii?q?wMKKgICIhIBBQEcBhMiiBgDDwiVXo9NgTI/MotGhEoFhAknDUQGgyEMARwCBhC?= =?us-ascii?q?JfYEFh0uCWwWUOIVehi2JdoFuToQfiSmNC4I/Ex6BESUJgkeBSg8cgW4iNIcVg?= =?us-ascii?q?UoBAQE?= X-IPAS-Result: =?us-ascii?q?A0CvBgBPFhJYf63YVdFcGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgn8BAQEBAXV9B6QvgjIlkWiCCB+HegdBEgEBAQEBAQEBAQEBE?= =?us-ascii?q?gEBCQsLCRsygjMEARUBBIIQAQEBAwESER0BOAEDAQsBBQMCCwMKKgICIhIBBQE?= =?us-ascii?q?cBhMiiBgDDwiVXo9NgTI/MotGhEoFhAknDUQGgyEMARwCBhCJfYEFh0uCWwWUO?= =?us-ascii?q?IVehi2JdoFuToQfiSmNC4I/Ex6BESUJgkeBSg8cgW4iNIcVgUoBAQE?= X-IronPort-AV: E=Sophos;i="5.31,553,1473112800"; d="scan'208,217";a="198395626" Received: from mail-qt0-f173.google.com ([209.85.216.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Oct 2016 17:00:21 +0200 Received: by mail-qt0-f173.google.com with SMTP id q7so25396308qtq.1 for ; Thu, 27 Oct 2016 08:00:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=y21J948nvqtFU2xa2x3Gbjtu2fFK+8fNHKlaFC/99to=; b=Sr4/q+4TWyje+Gslmhbyay8C45iTmFNFjs4qq0HiVM2raIYtFTG8pBALmhLdicJ+pr +9nNRfmWTbEjP1AdSQBH3c5cztGJ9mDa6vlFhDEOvI7B5kMrh8SNaB6ZgpGmwi/sD0dR G0rgfwQYpVdOeo9r5mg+SGOISqMmGUbwn9iggmT5ni1gh2Ab8dKuiyEuQzdp/FXeNX3V yg7N1olaXz3s5VCLwAcpHxWb5fmgBq/35ix+8/SbZe8N2y2dQtI8tnC2FILaNxcn/IcX ivzia4TI8zP9aMnkt0Tc+f75W8rVMcIm2WpaNmEnwwSP1Rap+nzfnLhrwuXMrUpsB7jW 3SZg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc; bh=y21J948nvqtFU2xa2x3Gbjtu2fFK+8fNHKlaFC/99to=; b=T9i7Zau0M8NGso6kheRCRHAxsvCMpunGPIWM3qxReqBsfwXubQqjIvrpnm8o0FFLfH SA6Lszao9QIO9/ow7fyBz8aabocEZtQjpGL//oU+fa/M2E1btVPGulAnz1jSLp5QrCND AlO1bJVmPIy81Jhd0FJu9LBOk1gXi1cpx7PBm4AUYeMAeBjr0Sd/kLMb1i6sAx/ab3sD PkTlRpD2QHmV7eltMFVgk3sGlrP9bpAfYTtGN5TICWHMIsfJ+cN9/YhPFSEd3IcZSI3s TWFbz4pLlSh/i8GCxsv35OtbZo4UMobIEXpNogw/lMWP7SL60KP+NBN8QSKwklFBkFZy IbKQ== X-Gm-Message-State: ABUngvdYjhaMRElL2v6SK9TdM0iRIDuXtimiZHbGpLmInbGZyJTE0GQYj7MYL9zGf0+wyu4SgPri0+/nYGExgQ== X-Received: by 10.107.53.221 with SMTP id k90mr7432690ioo.139.1477580418539; Thu, 27 Oct 2016 08:00:18 -0700 (PDT) MIME-Version: 1.0 Sender: jonathan.dilorenzo@gmail.com Received: by 10.36.193.67 with HTTP; Thu, 27 Oct 2016 07:59:58 -0700 (PDT) In-Reply-To: References: From: Jonathan DiLorenzo Date: Thu, 27 Oct 2016 10:59:58 -0400 X-Google-Sender-Auth: rxRyxfwdfXVYbwCmu0xWZUpHS6E Message-ID: To: Ivan Gotovchits Cc: Jonathan DiLorenzo , caml-list Content-Type: multipart/alternative; boundary=001a1144a420f96673053fd9ff05 X-Validation-by: dilorenzo@cs.cornell.edu Subject: Re: [Caml-list] Providing module implementations for Oasis --001a1144a420f96673053fd9ff05 Content-Type: text/plain; charset=UTF-8 Hey Ivan, Thanks for your response. The first one is that you didn't run `oasis setup` after you made the > changes, so I would suggest cleaning current state > and starting from scratch. (I usually just do `git clean -idx` just to be > sure that I got rid of any generated files, like setup.data, et alas, but > be careful, > don't delete something that you need). > I tried cleaning up all the generated files. Same error unfortunately > Another idea is that you're using oasis 0.4.7 with ocaml-4.03.0+flambda, > they are currently incompatible, and can produce weird bugs. If that so, > then consider switching > either a compiler or oasis to different versions. > I am using oasis 0.4.7 and ocaml-4.03.0, but I don't appear to be using flambda. I tried passing in -config and it said that flambda was false at least, but I admit, I'm not especially familiar with it, so if there's some other way I should be checking for this please let me know. Hopefully, they're compatible sans flambda? On Thu, Oct 27, 2016 at 1:01 AM, Jonathan DiLorenzo < > dilorenzo@cs.cornell.edu> wrote: > >> Hey all, >> >> I'm trying to build my system using Oasis and OCamlbuild. I have 3 >> different libraries and for some reason I seem to only be able to refer >> from one to the other in seemingly random files. For example, I want my >> 'ppx' library to be able to use functions from my 'parser' library. One >> file (ppx_forest.ml) can use functions from it, while another in the >> same library (skins.ml) cannot, giving me this error: >> >> File "_none_", line 1: >> Error: No implementations provided for the following modules: >> Forest_parser_helper referenced from ppx/ppx.cmxa(Skins) >> Command exited with code 2. >> >> They can all refer to types I've defined therein though. >> >> I'm not fantastic at Oasis so maybe I'm just missing something basic? Any >> ideas? Any more information I can gather to give more context otherwise? >> >> Thanks in advance, >> Jonathan >> >> Excerpt of my Oasis file that may possibly be relevant: >> >> Library forest >> Path: lib >> BuildTools: ocamlbuild >> BuildDepends: pads, str, re, re.glob, core, threads, ppx_let >> CompiledObject: best >> Modules: Forest, PadsInterface >> >> Library parser >> Path: parsing >> BuildTools: ocamlbuild, menhir, ocamllex >> Findlibparent: forest >> Findlibname: parser >> BuildDepends: forest, ppx_deriving.show, compiler-libs.common >> CompiledObject: best >> Modules: Forest_parser_helper >> InternalModules: Forest_lexer, Forest_parser, Forest_types >> >> Library ppx >> Path: ppx >> BuildTools: ocamlbuild >> Findlibparent: forest >> Findlibname: ppx >> BuildDepends: re, re.str, forest.parser, forest, ppx_tools.metaquot >> CompiledObject: best >> Modules: Ppx_forest >> InternalModules: Ppx_forest_lib, Utility, Skins >> XMETAEnable: true >> XMETARequires: str re core threads ppx_tools.metaquot >> XMETAExtraLines: ppx = "ppx_forest" >> >> Executable ppx_forest >> Path: ppx >> MainIs: ppx_forest.ml >> BuildDepends: forest, forest.parser, forest.ppx, pads.ppx, >> ppx_tools.metaquot >> CompiledObject: best >> >> > --001a1144a420f96673053fd9ff05 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hey Ivan,

Thanks for your response.

The first one is that you = didn't run `oasis setup` after you made the changes, so I would suggest= cleaning current state
and starting from scratch. (I usually= just do `git clean -idx` just to be sure that I got rid of any generated f= iles, like setup.data, et alas, but be careful,=C2=A0
don't d= elete something that you need).=C2=A0

I tried cleaning up all the generated files. Same error unfortunatel= y
=C2=A0
Another idea=C2=A0is that you're using oasis 0.4.7 with ocaml-4.03.0+= flambda, they are currently incompatible, and can produce weird bugs. If th= at so, then consider switching=C2=A0
either a compiler or oas= is to different versions.=C2=A0

I am using oasis 0.4.7 and ocaml-4.03.0, but I don't appear to be usin= g flambda. I tried passing in -config and it said that flambda was false at= least, but I admit, I'm not especially familiar with it, so if there&#= 39;s some other way I should be checking for this please let me know. Hopef= ully, they're compatible sans flambda?


<= div class=3D"gmail_extra">
On Thu, Oct 27, 2016 a= t 1:01 AM, Jonathan DiLorenzo <dilorenzo@cs.cornell.edu> wrote:
Hey all,
=
I'm trying to build my system using Oasis and OCamlbuild= . I have 3 different libraries and for some reason I seem to only be able t= o refer from one to the other in seemingly random files. For example, I wan= t my 'ppx' library to be able to use functions from my 'parser&= #39; library. One file (= ppx_forest.ml) can use functions from it, while another in the same lib= rary (skins.ml) cannot, g= iving me this error:

File "_none_",= line 1:
Error: No implementations provided for the following mod= ules:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Forest_parser_helper refe= renced from ppx/ppx.cmxa(Skins)
Command exited with code 2.
=

They can all refer to types I've defined ther= ein though.

I'm not fantastic at Oasis so mayb= e I'm just missing something basic? Any ideas? Any more information I c= an gather to give more context otherwise?

Thanks i= n advance,
Jonathan

Excerpt of my Oasis = file that may possibly be relevant:

Library f= orest=C2=A0
=C2=A0 Path: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0lib
=C2=A0 BuildTools: =C2=A0 =C2=A0ocamlbuild
=C2=A0 BuildDe= pends: =C2=A0 pads, str, re, re.glob, core, threads, ppx_let
=C2= =A0 CompiledObject: best
=C2=A0 Modules: =C2=A0 =C2=A0 =C2=A0 For= est, PadsInterface

Library parser
=C2=A0= Path: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 parsing
=C2=A0 BuildToo= ls: =C2=A0 =C2=A0 ocamlbuild, menhir, ocamllex
=C2=A0 Findlibpare= nt: =C2=A0forest
=C2=A0 Findlibname: =C2=A0 =C2=A0parser
=C2=A0 BuildDepends: =C2=A0 forest, ppx_deriving.show, compiler-libs.comm= on=C2=A0
=C2=A0 CompiledObject: best
=C2=A0 Modules: =C2=A0Forest_parser_helper
=C2=A0 InternalModules: Forest_lexer, Forest_parser, Forest_types
<= div>
Library ppx
=C2=A0 Path: =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 ppx
=C2=A0 BuildTools: =C2=A0 =C2=A0 ocamlbuild
=C2=A0 Findlibparent: =C2=A0forest
=C2=A0 Findlibname: =C2= =A0 =C2=A0ppx
=C2=A0 BuildDepends: =C2=A0 re, re.str, forest.pars= er, forest, ppx_tools.metaquot
=C2=A0 CompiledObject: best
<= div>=C2=A0 Modules: =C2=A0 =C2=A0 =C2=A0 =C2=A0Ppx_forest
=C2=A0 = InternalModules: Ppx_forest_lib, Utility, Skins
=C2=A0 XMETAEnabl= e: =C2=A0 =C2=A0true
=C2=A0 XMETARequires: =C2=A0 str re core thr= eads ppx_tools.metaquot
=C2=A0 XMETAExtraLines: =C2=A0ppx =3D &qu= ot;ppx_forest"

Executable ppx_forest
=C2=A0 Path: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ppx
=C2=A0 Main= Is: =C2=A0 =C2=A0 =C2=A0 =C2=A0 ppx_forest.ml
=C2=A0 BuildDepends: =C2=A0 forest, for= est.parser, forest.ppx, pads.ppx, ppx_tools.metaquot
=C2=A0 Compi= ledObject: best



--001a1144a420f96673053fd9ff05--