From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 2F6088239C for ; Fri, 23 Feb 2018 04:18:51 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mvanier42@gmail.com; spf=Pass smtp.mailfrom=mvanier42@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f51.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mvanier42@gmail.com) identity=pra; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mvanier42@gmail.com"; x-sender="mvanier42@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mvanier42@gmail.com designates 209.85.214.51 as permitted sender) identity=mailfrom; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mvanier42@gmail.com"; x-sender="mvanier42@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-it0-f51.google.com) identity=helo; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mvanier42@gmail.com"; x-sender="postmaster@mail-it0-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ArWTR7RLE3ZHRTXLl9NmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfLP3xwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzS/9KdrUAHnhz?= =?us-ascii?q?sbNzA392HXj9Z/jKNdoBm8oxByzIrZbISTOfFjfK3SYMkaSHJBUMhMSSJBGI28?= =?us-ascii?q?YYgBAeUPMulXrZXyqkAUoheiHwShHv/jxzFKi3LwwKY00/4hEQbD3AE4GNwOsW?= =?us-ascii?q?jbrNXvO6gMVeC+0bfFxijMYPxM3zf96ZbHcgo8qvyLWLJwb9DeyU8uFwzblFWd?= =?us-ascii?q?ppLpMiia1uQIqWeb7u5gWfizhG4grgF8uz6izdoihInOg4Ia0FHE9SNhzYY0I9?= =?us-ascii?q?24Uk97bsS+HJterSGWL4t3TdkiQ2FvvyY20KEJuZm+fCUM1Z8pxAbfZuSZf4SU?= =?us-ascii?q?5h/vTuWcLDdiiH57Zb6yiAy+/Ei9xuHkSMW50UpGojZAn9XRtH0BywDf582HR/?= =?us-ascii?q?Rg/UqtxTOC2B3O5u5fPUw5kLbUJIM8zrItk5cesVrPEjHrlEjziKKZbFkr9+mt?= =?us-ascii?q?5uv6frnrpoOQOolpgQ/kKKsugNawAeEgPwgOQWeb/eO82aXm/ULjQbVKiuQ6kq?= =?us-ascii?q?jFsJzGPMgbqK60DxJP3oYs7Ba/CDim0NAGknUdMF1FfxeHg5DoO1HIPv/4Ee+y?= =?us-ascii?q?j0qwnDpv3fzLPb3sDo/TInTen7rtZ7Zw51NExAo2199f5pZUCr8bIPL0X0/8rN?= =?us-ascii?q?nYDgEjPAyywuboFs9924wAVW+UDa+ZNbndsV6M5u41P+aMY4oVtC7nK/c5//7u?= =?us-ascii?q?kWM5mVgFcKa1x5QXbXS4Eu1iI0WYenrsnswMEXwKvwo7VOzlkkeOUT9VZ3aoXq?= =?us-ascii?q?Iz/Cs3CIy8DdSLeof4pr2K2yMyBapxZG1KA2emnW2gI4OFUPAIYTnUJc1snjVC?= =?us-ascii?q?X7G7Y4ssxRCgtUnxzL8xfdDZ4ikJiZW28dl+5+TekVkZvQJ9CcWQySnZSn99mG?= =?us-ascii?q?IFXRc92bs5qkV51lqI0e51j+EORvJJ4PYcdwYxNZfRy6RRQ+77XAPMZJ/dTUiv?= =?us-ascii?q?RNSrG21rZt00yt4KJU16HoPx3Vj4wyO2DupNxPSwD5su//eAjiGgdfY48G7P0e?= =?us-ascii?q?wat3djR8JOMWO8gasmrlrcAofIlwOSkKP4LP1Ajh6Iz3+KyC+1hG8dSBR5CPyX?= =?us-ascii?q?UnUWZ0+QptP8tBubEu2eTI8/Ow4E8vasb6tHbtqz0AdDTfbnfdXCOye/xj72Ch?= =?us-ascii?q?GPybeBKoHtfjdF0Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C5AACjho9ahjPWVdFdGQEBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBAYJ8gTmBGINoiiWNfIICexuBUAeGIoEAAYd2hV4UC4F3CiOFEAK?= =?us-ascii?q?CLhkHBDAYAQIBAQEBAQEBAQESAQEBCAsLCCgvgjgMgl8BAQEDASMEGQEbEgsBA?= =?us-ascii?q?wELBgUYDRoDAgIeBREBBQEKAREGDQYCAQEOCYlvAQMNCAEPnyxAjBeBbRgFARw?= =?us-ascii?q?mgmUFgWOBfQoZJwMKWVmCHgEBAQEBAQQBAQEBAQEBAQEXAgYJAQiFBoE1coM9K?= =?us-ascii?q?YJONoMjgUZlgi09gmUFgS0BAYdKDIplkC0nAQcBAYFzCgGGKpBsiSGCD4YNjgy?= =?us-ascii?q?JcQIEAgQFAgYUJYEXH4IKTSNPgR0VGncJghIqH4IzV4xkAQEB?= X-IPAS-Result: =?us-ascii?q?A0C5AACjho9ahjPWVdFdGQEBAQEBAQEBAQEBAQcBAQEBAYJ?= =?us-ascii?q?8gTmBGINoiiWNfIICexuBUAeGIoEAAYd2hV4UC4F3CiOFEAKCLhkHBDAYAQIBA?= =?us-ascii?q?QEBAQEBAQESAQEBCAsLCCgvgjgMgl8BAQEDASMEGQEbEgsBAwELBgUYDRoDAgI?= =?us-ascii?q?eBREBBQEKAREGDQYCAQEOCYlvAQMNCAEPnyxAjBeBbRgFARwmgmUFgWOBfQoZJ?= =?us-ascii?q?wMKWVmCHgEBAQEBAQQBAQEBAQEBAQEXAgYJAQiFBoE1coM9KYJONoMjgUZlgi0?= =?us-ascii?q?9gmUFgS0BAYdKDIplkC0nAQcBAYFzCgGGKpBsiSGCD4YNjgyJcQIEAgQFAgYUJ?= =?us-ascii?q?YEXH4IKTSNPgR0VGncJghIqH4IzV4xkAQEB?= X-IronPort-AV: E=Sophos;i="5.47,381,1515452400"; d="scan'208,217";a="255831334" Received: from mail-it0-f51.google.com ([209.85.214.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Feb 2018 04:18:49 +0100 Received: by mail-it0-f51.google.com with SMTP id o13so1466155ito.2 for ; Thu, 22 Feb 2018 19:18:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:subject:to:cc:reply-to:references:message-id:date:user-agent :mime-version:in-reply-to:content-language; bh=WxOjGLKdpMhIb88b/v+vtmp+eAgmWuIKuKsG8QnCQ5I=; b=NDnyP7L5lUyudUfPOy7fNZQvfPfNft8NHECCNo7I06nDZ5scthL4w3esDr6J7CmLe7 GaeYHWVWyO6W+q1nRkN2a9Xhhw7FblnSgFrfBVO3JQFs+w3zwh/lVPRQ1Ekyyy70TIKw xRMs1K+BRaelic+TuG4q/YseLlhlsiQpsADCMX3lC9MUpTgYLdY1m6CaJ4hcpDMr6pOf oqGXMSNbS3PR0VWEDF5m5KKY5oInhh7OIV8cLeURn9nuAA0wu8bsjEo7an/3RumTuqj9 e/YMAjqnw4bHg1zLp6h4b2fdaGeb5ncWZcQI4q1ErBf0LaJmHvMdKSlFfUFPLn2BOwHn BeNQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:subject:to:cc:reply-to:references :message-id:date:user-agent:mime-version:in-reply-to :content-language; bh=WxOjGLKdpMhIb88b/v+vtmp+eAgmWuIKuKsG8QnCQ5I=; b=GdekMozjSLUFT9nZIttuSmnWVlBJRRdxemvf3PQmlwu+TRcZUepjOZ2+24FsVXyPvQ NawUt1mpceJ+2DSmPTYJHBAmrt6NMjKFn9eY0hHtoT2pdUneBj2/Mjyb68k9fygqAJmz 5/VRDxqpWNmWrIrN+0bAXQ1x9w3R4hcKruO90GAUpGw7Km29oF+7UXn3dH7ErD9lWdhB hQ2Xt94U6tTUWuJS4gi4AmirQM/ewcUFyQVjIh6kFwdhOp2YQPWq7x0euZZpxMevXYIi KsIF0ZOpTMY7OSO9oKgRXErQuKGRGa8RiVUZxKtUOPtfksWUA90daeB2WB8FYlixiYbK eE3Q== X-Gm-Message-State: APf1xPDZDSYJxkP5zoCM2zI70AquHwvh7irIHuq+6w7/wO2egCMAIiZA AGR4+dM8/7cgszj4RjU2apS9+FtQ X-Google-Smtp-Source: AH8x225EVRW5prXipMvWT0fv1PCwaF279XzGHgjwb2UXr2r7UirVej9Dr0axZj9JqAYxVSxonLinew== X-Received: by 10.36.240.72 with SMTP id p8mr732321iti.70.1519355927256; Thu, 22 Feb 2018 19:18:47 -0800 (PST) Received: from MICHAELs-Pro.attlocal.net ([2600:1700:5d80:d1b0:cd11:5221:9ac6:d050]) by smtp.gmail.com with ESMTPSA id m32sm569205iti.33.2018.02.22.19.18.45 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 22 Feb 2018 19:18:46 -0800 (PST) From: Michael C Vanier X-Google-Original-From: Michael C Vanier To: =?UTF-8?Q?Nicol=c3=a1s_Ojeda_B=c3=a4r?= Cc: caml-list Reply-To: Michael C Vanier References: <7441c664-00ae-c125-9ce4-80e5a67fcd8e@cms.caltech.edu> <3f1c38bf-97e0-c887-c6b4-0c327aecae56@cms.caltech.edu> Message-ID: Date: Thu, 22 Feb 2018 19:18:44 -0800 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: <3f1c38bf-97e0-c887-c6b4-0c327aecae56@cms.caltech.edu> Content-Type: multipart/alternative; boundary="------------BA29C0B77D9F5022D72E8A48" Content-Language: en-US X-Validation-by: mvanier42@gmail.com Subject: Re: [Caml-list] Has anybody gotten delimcc to work? This is a multi-part message in MIME format. --------------BA29C0B77D9F5022D72E8A48 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit So... I was trying to figure out how to make a pull request on the delimcc repo (if there is one) and it was an exercise in frustration.  The "opam-publish" tool doesn't seem to work anymore with recent ocaml builds due to a nest of dependency issues: ===== > opam install opam-publish The following dependencies couldn't be met:   - opam-publish -> opam-lib (= 1.2.0 | = 1.2.2) -> dose < 3.4.0 -> extlib < 1.7.0   - opam-publish -> opam-lib (= 1.2.0 | = 1.2.2) -> dose < 3.4.0 -> extlib-compat < 1.7.0   - opam-publish -> opam-lib (= 1.2.0 | = 1.2.2) -> dose < 3.4.0 -> ocamlgraph <= 1.8.5   - opam-publish -> publish -> opam-publish > 0.3.4 -> opam-lib > 1.2.2 -> jsonm -> uutf (<= 0.9.4 | >= 1.0.0)   - opam-publish -> publish -> opam-publish > 0.3.4 -> opam-lib > 1.2.2 -> cmdliner <= 0.9.8   - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> cmdliner <= 0.9.8   - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> dose < 3.4.0 -> ocamlgraph <= 1.8.5   - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> dose < 3.4.0 -> extlib-compat < 1.7.0   - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> dose < 3.4.0 -> extlib < 1.7.0   - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> jsonm -> uutf (<= 0.9.4 | >= 1.0.0) Your request can't be satisfied:   - cmdliner.0.9.4 is in conflict with uutf.1.0.1   - extlib-compat<1.7.0 is not available because your system doesn't comply with ocaml-version < "4.05.0".   - extlib<1.7.0 is not available because your system doesn't comply with ocaml-version < "4.05.0".   - ocamlgraph.1.8.5 is not available because your system doesn't comply with ocaml-version < "4.06.0".   - ocamlgraph<=1.8.5 is not available because your system doesn't comply with ocaml-version < "4.06.0".   - uutf<=0.9.4 is not available because your system doesn't comply with ocaml-version >= "4.00.0" & ocaml-version < "4.06.0". No solution found, exiting ===== I tried forking the opam-repository repo but there is only metadata about the various packages and not the actual code to make a patch on.  Is there some documentation on how to submit a bug fix to a package?  Sorry if this is a dumb question. Mike On 2/22/18 3:58 PM, Michael C Vanier wrote: > > It works!  Thank you so much Nicolas! > > Mike > > > On 2/22/18 3:42 PM, Nicolás Ojeda Bär wrote: >> Dear Mike, >> >> I was able to successfully load delimcc into the toplevel after >> applying the tiny patch below. >> You can give it a try by doing: >> >>   opam source delimcc >>   cd delimcc.(version) >>   (apply patch) >>   opam pin add . >> >> (you have to replace the stuff between parentheses by whatever is >> correct in your setup.) >> >> diff --git a/stacks.c b/stacks.c >> index fdab2a7..5765710 100644 >> --- a/stacks.c >> +++ b/stacks.c >> @@ -203,13 +203,13 @@ value copy_stack_fragment(const value vek1) >>  #endif >>    if (size < Max_young_wosize) { >> -    block = alloc(size, 0); >> +    block = caml_alloc(size, 0); >>      memcpy(&Field(block, 0), tp2, size * sizeof(value)); >>    } else { >> -    block = alloc_shr(size, 0); >> +    block = caml_alloc_shr(size, 0); >>      mlsize_t i; >>      for (i = 0; i < size; i++) >> -      initialize(&Field(block, i), tp2[i]); >> +      caml_initialize(&Field(block, i), tp2[i]); >>    } >>    /* We check the invariants after the allocation of block, which may >> @@ -382,4 +382,3 @@ value dbg_note(const value message) >>    fprintf(stderr,"%s\n",String_val(message)); >>    return Val_unit; >>  } >> >> Hope it helps, >> Nicolás >> >> >> >> On Fri, Feb 23, 2018 at 12:18 AM, Michael C Vanier >> > wrote: >> >> I've been trying to use the delimcc delimited continuation >> library, but so far I've been unsuccessful.  I'm using OCaml >> 4.06.1 and I've tried it on both Mac OS X (High Sierra) and >> Ubuntu MATE 17.10. I'm fine sticking to bytecode.  The opam >> package installs correctly but when you try to run it you get >> errors from the dynamically-linked libraries.  On Mac OS X I get >> this: >> >> # #require "delimcc";; >> Cannot load required shared library dlldelimcc. >> Reason: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so: >> dlopen(/Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so, >> 10): Symbol not found: _alloc >>   Referenced from: >> /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so >>   Expected in: flat namespace >>  in /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so. >> >> And on Ubuntu I get this: >> >> # #require "delimcc";; >> /home/mvanier/.opam/4.06.1/lib/delimcc: added to search path >> /home/mvanier/.opam/4.06.1/lib/delimcc/delimcc.cma: loaded >> Cannot load required shared library dlldelimcc. >> Reason: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so: >> dlopen(/Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so, >> 10): Symbol not found: initialize. >> >> However, in either case I can do: >> >> # open Delimcc;; >> >> and it reports no errors, but then if I try e.g.: >> >> # shift;; >> Reference to undefined global `Delimcc` >> >> so it appears the library isn't there or isn't functional. >> Compiling from the delimcc source also appears to work, but gcc >> warns about implicit declarations of "alloc", "alloc_shr" and >> "initialize" when compiling stacks.c, which makes sense.  >> Compiling any of the test programs also fails. >> >> So it appears that this library no longer works.  Does anyone >> know any way to make it work? >> >> Thanks in advance, >> >> Mike >> >> >> -- >> Caml-list mailing list.  Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> >> Bug reports: http://caml.inria.fr/bin/caml-bugs >> >> >> > --------------BA29C0B77D9F5022D72E8A48 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit

So... I was trying to figure out how to make a pull request on the delimcc repo (if there is one) and it was an exercise in frustration.  The "opam-publish" tool doesn't seem to work anymore with recent ocaml builds due to a nest of dependency issues:

=====

> opam install opam-publish
The following dependencies couldn't be met:
  - opam-publish -> opam-lib (= 1.2.0 | = 1.2.2) -> dose < 3.4.0 -> extlib < 1.7.0
  - opam-publish -> opam-lib (= 1.2.0 | = 1.2.2) -> dose < 3.4.0 -> extlib-compat < 1.7.0
  - opam-publish -> opam-lib (= 1.2.0 | = 1.2.2) -> dose < 3.4.0 -> ocamlgraph <= 1.8.5
  - opam-publish -> publish -> opam-publish > 0.3.4 -> opam-lib > 1.2.2 -> jsonm -> uutf (<= 0.9.4 | >= 1.0.0)
  - opam-publish -> publish -> opam-publish > 0.3.4 -> opam-lib > 1.2.2 -> cmdliner <= 0.9.8
  - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> cmdliner <= 0.9.8
  - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> dose < 3.4.0 -> ocamlgraph <= 1.8.5
  - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> dose < 3.4.0 -> extlib-compat < 1.7.0
  - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> dose < 3.4.0 -> extlib < 1.7.0
  - opam-publish -> publish -> opam-lib (= 1.2.2 | > 1.2.2) -> jsonm -> uutf (<= 0.9.4 | >= 1.0.0)
Your request can't be satisfied:
  - cmdliner.0.9.4 is in conflict with uutf.1.0.1
  - extlib-compat<1.7.0 is not available because your system doesn't comply with ocaml-version < "4.05.0".
  - extlib<1.7.0 is not available because your system doesn't comply with ocaml-version < "4.05.0".
  - ocamlgraph.1.8.5 is not available because your system doesn't comply with ocaml-version < "4.06.0".
  - ocamlgraph<=1.8.5 is not available because your system doesn't comply with ocaml-version < "4.06.0".
  - uutf<=0.9.4 is not available because your system doesn't comply with ocaml-version >= "4.00.0" & ocaml-version < "4.06.0".

No solution found, exiting

=====

I tried forking the opam-repository repo but there is only metadata about the various packages and not the actual code to make a patch on.  Is there some documentation on how to submit a bug fix to a package?  Sorry if this is a dumb question.

Mike


On 2/22/18 3:58 PM, Michael C Vanier wrote:

It works!  Thank you so much Nicolas!

Mike


On 2/22/18 3:42 PM, Nicolás Ojeda Bär wrote:
Dear Mike,

I was able to successfully load delimcc into the toplevel after applying the tiny patch below.
You can give it a try by doing:

  opam source delimcc
  cd delimcc.(version)
  (apply patch)
  opam pin add .

(you have to replace the stuff between parentheses by whatever is correct in your setup.)

diff --git a/stacks.c b/stacks.c
index fdab2a7..5765710 100644
--- a/stacks.c
+++ b/stacks.c
@@ -203,13 +203,13 @@ value copy_stack_fragment(const value vek1)
 #endif
 
   if (size < Max_young_wosize) {
-    block = alloc(size, 0);
+    block = caml_alloc(size, 0);
     memcpy(&Field(block, 0), tp2, size * sizeof(value));
   } else {
-    block = alloc_shr(size, 0);
+    block = caml_alloc_shr(size, 0);
     mlsize_t i;
     for (i = 0; i < size; i++)
-      initialize(&Field(block, i), tp2[i]);
+      caml_initialize(&Field(block, i), tp2[i]);
   }
 
   /* We check the invariants after the allocation of block, which may
@@ -382,4 +382,3 @@ value dbg_note(const value message)
   fprintf(stderr,"%s\n",String_val(message));
   return Val_unit;
 }

Hope it helps,
Nicolás



On Fri, Feb 23, 2018 at 12:18 AM, Michael C Vanier <mvanier@cms.caltech.edu> wrote:
I've been trying to use the delimcc delimited continuation library, but so far I've been unsuccessful.  I'm using OCaml 4.06.1 and I've tried it on both Mac OS X (High Sierra) and Ubuntu MATE 17.10. I'm fine sticking to bytecode.  The opam package installs correctly but when you try to run it you get errors from the dynamically-linked libraries.  On Mac OS X I get this:

# #require "delimcc";;
Cannot load required shared library dlldelimcc.
Reason: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so: dlopen(/Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so, 10): Symbol not found: _alloc
  Referenced from: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so
  Expected in: flat namespace
 in /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so.

And on Ubuntu I get this:

# #require "delimcc";;
/home/mvanier/.opam/4.06.1/lib/delimcc: added to search path
/home/mvanier/.opam/4.06.1/lib/delimcc/delimcc.cma: loaded
Cannot load required shared library dlldelimcc.
Reason: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so: dlopen(/Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so, 10): Symbol not found: initialize.

However, in either case I can do:

# open Delimcc;;

and it reports no errors, but then if I try e.g.:

# shift;;
Reference to undefined global `Delimcc`

so it appears the library isn't there or isn't functional. Compiling from the delimcc source also appears to work, but gcc warns about implicit declarations of "alloc", "alloc_shr" and "initialize" when compiling stacks.c, which makes sense.  Compiling any of the test programs also fails.

So it appears that this library no longer works.  Does anyone know any way to make it work?

Thanks in advance,

Mike


--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs



--------------BA29C0B77D9F5022D72E8A48--