From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oleg@okmij.org>
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 BDD657ED99
	for <caml-list@sympa.inria.fr>; Fri, 15 May 2015 01:31:22 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oleg@okmij.org) identity=pra; client-ip=66.39.3.115;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  oleg@okmij.org designates 66.39.3.115 as permitted sender)
  identity=mailfrom; client-ip=66.39.3.115;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.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@www1.g3.pair.com) identity=helo;
  client-ip=66.39.3.115;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org";
  x-sender="postmaster@www1.g3.pair.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BpAgASMFVVd3MDJ0JcKIM7XoJQw3mFfgKBPDwQAQEBAQEBAREBDAcPB0+EIwEBAwF5BRYhEyEdKxSIKQjVTgEBAQcCAR+LOoUFBxaDAYEWBZcIhkkBgSeDZJFuhDYiMYJGAQEB
X-IPAS-Result: A0BpAgASMFVVd3MDJ0JcKIM7XoJQw3mFfgKBPDwQAQEBAQEBAREBDAcPB0+EIwEBAwF5BRYhEyEdKxSIKQjVTgEBAQcCAR+LOoUFBxaDAYEWBZcIhkkBgSeDZJFuhDYiMYJGAQEB
X-IronPort-AV: E=Sophos;i="5.13,431,1427752800"; 
   d="scan'208";a="121451786"
Received: from www1.g3.pair.com ([66.39.3.115])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 15 May 2015 01:31:12 +0200
Received: by www1.g3.pair.com (Postfix, from userid 9370)
	id 656F4C3854; Thu, 14 May 2015 07:43:01 -0400 (EDT)
From: oleg@okmij.org
To: omeragacan@gmail.com
CC: caml-list@inria.fr
In-reply-to:
	<CAMQQO3njz9GmUcK47EgHcBFd81CGRz5_L_Krda8npC=tAY5wbA@mail.gmail.com>
Message-Id: <20150514114301.656F4C3854@www1.g3.pair.com>
Date: Thu, 14 May 2015 07:43:01 -0400 (EDT)
Subject: Re: [Caml-list] MetaOCaml error while running generated code that


[I have trouble posting on the caml-list at the moment. If you don't
see this message appearing on the Caml-list, could you forward it
please?]

> I just tried this on my program and now it's failing with this error:
>
>   ./unlambda_metaocaml programs/Hello.unl -compile
>   Fatal error: exception Symtable.Error(_)
>
> Does that look familiar?

Such errors usually indicate a linking problem: something was not
linked in or was not found. In fact, this specific error is emitted in
the following four cases:

  >   Undefined_global of string
  > | Unavailable_primitive of string
  > | Wrong_vm of string
  > | Uninitialized_global of string

I think the most likely problem was Undefined_global: that is, the
generated code you run depends on some .cmo file, which could not be
located. All needed .cmo files should either be in the current
directory, the standard library directory, or the directories you
specifically add to the search path of the evaluator. There is a
special function in the Runcode module that lets you set the search
path. For an example, please see the file
        metalib/test/test_path.ml
in the MetaOCaml distribution.