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 BCB7E7F61D for ; Thu, 27 Oct 2016 13:58:40 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-lf0-f54.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.215.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.215.54 as permitted sender) identity=mailfrom; client-ip=209.85.215.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; 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-lf0-f54.google.com) identity=helo; client-ip=209.85.215.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-lf0-f54.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A9mnuHRYqWsi7ezy7Gm20ks//LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpcu/bnLW6fgltlLVR4KTs6sC0LuM9f+5EjZQqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZv?= =?us-ascii?q?IaytQ8iJ3p7xiLn5oc2bSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYe?= =?us-ascii?q?VcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jJsh/K?= =?us-ascii?q?UQuG4DMwU0ERiBdOEQ+NuB37WpDrvy3oscJ2w2+ROtfwQLQwHzmu8vE4ZgXvjX?= =?us-ascii?q?ImKTc/uE7Qlstuh6JavAnp8x1hzKbVbYyYcv1kcfWOLpshWWNdU5MJBGR6CYSm?= =?us-ascii?q?Yt5KVrJZMA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CDAQCO6hFYhjbXVdFcDg4BAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYJ/AQEBAQE7On0HpC+CV4xShRaCBx+GAwKBfQdBEgEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBAQgLCwkdMIIzBAEVAQSCEQEBAwESER0BATcBBAsJAgs3AgIiEgEFA?= =?us-ascii?q?RwGEwgaiCoIlSmPTYEyPzKKX2eESQEBBYgpAQEBAQYBAQEBARoIEIYtg1CBBYd?= =?us-ascii?q?LglsBlDyFXoYtiXWCPI1IjQuCPxMegRElCIEGgwwPEQuBF1ciNAGHFIFKAQEB?= X-IPAS-Result: =?us-ascii?q?A0CDAQCO6hFYhjbXVdFcDg4BAQQBAQoBARcBAQQBAQoBAYJ?= =?us-ascii?q?/AQEBAQE7On0HpC+CV4xShRaCBx+GAwKBfQdBEgEBAQEBAQEBAQEBEgEBAQgLC?= =?us-ascii?q?wkdMIIzBAEVAQSCEQEBAwESER0BATcBBAsJAgs3AgIiEgEFARwGEwgaiCoIlSm?= =?us-ascii?q?PTYEyPzKKX2eESQEBBYgpAQEBAQYBAQEBARoIEIYtg1CBBYdLglsBlDyFXoYti?= =?us-ascii?q?XWCPI1IjQuCPxMegRElCIEGgwwPEQuBF1ciNAGHFIFKAQEB?= X-IronPort-AV: E=Sophos;i="5.31,404,1473112800"; d="scan'208,217";a="198367887" Received: from mail-lf0-f54.google.com ([209.85.215.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Oct 2016 13:58:39 +0200 Received: by mail-lf0-f54.google.com with SMTP id b75so28677894lfg.3 for ; Thu, 27 Oct 2016 04:58:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=fiAlzUaTeHxDOvvzgpR2vYE6oIKVMSxUsKlLEt369jQ=; b=MV2pWUi3LdQmffZZD0pHf2WN4j091KvjOo7Kpr1a5A7nJ5jwXto8/2sUGLm0mf1s3O zsjESWkS81Mmsz3L0+V8C+eU4tS7F040L/VpoUGNf7t9OzXnrgobHYBtvl2Lm1Zbb4Be gtJ7n3E/PFj5TIqEal2pmcSnv2JFBUhCLG7Qqju3DAkN8Uu16WUw2pWir7ObHfGSHj8K P3woaetLhFkMZT3MYulJVUl4Pc0eJ7D2FjwH9b1Tl7OX5QdRYTxOiIrkESocgjU/n2lx ZII17DYWq602u380AVzXGoRfymdxVn/CGiXuuZMLXNrqsPgD4m/+IJIOemBgoAEpQLxR CG1w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=fiAlzUaTeHxDOvvzgpR2vYE6oIKVMSxUsKlLEt369jQ=; b=VR1ROWahoZ6bhxFQUN9UTul33apXIUts65Ir8F5BjYSfyIqze/uJzQNMHlRTvW0cHU VIUxJNULMV2U8h2V+6VgrEz4i1bf2uH1LpGue3EnKl+03ukHEGQiwRzmiv3scUsJFt25 9DyPEb6Iy10WQ7ERC35xw7v789NphHXwPvTCWWVbmrynkaWyRRafCTH86eM+HUB9lm9F M0Vdvog+I2fEQ2vCt1gCIFZo1mENK9AhNWqf58QSbuTX2Cgdjla6cFNAuMAv4UNxaE0c Xa5Zzy5HuljfZpaE0xk4Fg8ew+MG7rBNSwvorVrj4v0/XT0tWLbKuckoe28fiGQR1+xo sgag== X-Gm-Message-State: ABUngvfsUiIbQ3P5bnEht6iz/AJV9FUynBMd7mCe+oYx3tYB4YKpRwRFSLkPSj1BzXEXF5kEPKg26uSWN0FK5phS X-Received: by 10.25.16.210 with SMTP id 79mr5755814lfq.4.1477569518195; Thu, 27 Oct 2016 04:58:38 -0700 (PDT) MIME-Version: 1.0 Received: by 10.114.28.34 with HTTP; Thu, 27 Oct 2016 04:58:37 -0700 (PDT) In-Reply-To: References: From: Ivan Gotovchits Date: Thu, 27 Oct 2016 07:58:37 -0400 Message-ID: To: Jonathan DiLorenzo Cc: caml-list Content-Type: multipart/alternative; boundary=001a113fb462437c51053fd7761f Subject: Re: [Caml-list] Providing module implementations for Oasis --001a113fb462437c51053fd7761f Content-Type: text/plain; charset=UTF-8 Hi Jonathan, You oasis looks fine to me. I have only two ideas. 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). 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. Best wishes, Ivan Gotovchits 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 > > --001a113fb462437c51053fd7761f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Jonathan,

You oasis looks fine to me= . I have only two ideas.

The first one is that you= didn't run `oasis setup` after you made the changes, so I would sugges= t cleaning current state
and starting from scratch. (I usually ju= st do `git clean -idx` just to be sure that I got rid of any generated file= s, like setup.data, et alas, but be careful,=C2=A0
don't dele= te something that you need).=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 that so, then consi= der switching=C2=A0
either a compiler or oasis to different versi= ons.=C2=A0

Best wishes,
Ivan Gotovchits<= /div>



On Thu, Oct 27, 2016 at 1:01 AM, Jonathan DiLorenzo= <dilorenzo@cs.cornell.edu> wrote:
Hey all,

I'm tryi= ng to build my system using Oasis and OCamlbuild. I have 3 different librar= ies and for some reason I seem to only be able to refer from one to the oth= er 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:
<= div>
File "_none_", line 1:
Error: N= o implementations provided for the following modules:
=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0Forest_parser_helper referenced from ppx/ppx.cmxa(S= kins)
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 som= ething basic? Any ideas? Any more information I can gather to give more con= text otherwise?

Thanks in advance,
Jonat= han

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

Library forest=C2=A0
=C2= =A0 Path: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0lib
=C2=A0 BuildTools= : =C2=A0 =C2=A0ocamlbuild
=C2=A0 BuildDepends: =C2=A0 pads, str, = re, re.glob, core, threads, ppx_let
=C2=A0 CompiledObject: best
=C2=A0 Modules: =C2=A0 =C2=A0 =C2=A0 Forest, PadsInterface

Library parser
=C2=A0 Path: =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 parsing
=C2=A0 BuildTools: =C2=A0 =C2=A0 ocamlb= uild, menhir, ocamllex
=C2=A0 Findlibparent: =C2=A0forest
=C2=A0 Findlibname: =C2=A0 =C2=A0parser
=C2=A0 BuildDepends: = =C2=A0 forest, ppx_deriving.show, compiler-libs.common=C2=A0
=C2= =A0 CompiledObject: best
=C2=A0 Modules: = =C2=A0Forest_parser_helper
=C2=A0 InternalModules: Forest_lexer, = Forest_parser, Forest_types

Library ppx
= =C2=A0 Path: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ppx
=C2=A0 BuildT= ools: =C2=A0 =C2=A0 ocamlbuild
=C2=A0 Findlibparent: =C2=A0forest=
=C2=A0 Findlibname: =C2=A0 =C2=A0ppx
=C2=A0 BuildDepen= ds: =C2=A0 re, re.str, forest.parser, forest, ppx_tools.metaquot
= =C2=A0 CompiledObject: best
=C2=A0 Modules: =C2=A0 =C2=A0 =C2=A0 = =C2=A0Ppx_forest
=C2=A0 InternalModules: Ppx_forest_lib, Utility,= Skins
=C2=A0 XMETAEnable: =C2=A0 =C2=A0true
=C2=A0 XME= TARequires: =C2=A0 str re core threads ppx_tools.metaquot
=C2=A0 = XMETAExtraLines: =C2=A0ppx =3D "ppx_forest"

<= div>Executable ppx_forest
=C2=A0 Path: =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 ppx
=C2=A0 MainIs: =C2=A0 =C2=A0 =C2=A0 =C2=A0 ppx_forest.ml
=C2= =A0 BuildDepends: =C2=A0 forest, forest.parser, forest.ppx, pads.ppx, ppx_t= ools.metaquot
=C2=A0 CompiledObject: best


--001a113fb462437c51053fd7761f--