From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p61Jnvln015763 for ; Fri, 1 Jul 2011 21:49:57 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnICAP4jDk7RVaEskGdsb2JhbAA8AQMSp3kIFAEBAQEJCQ0HFAQhiHkCpDaMJIJLhCM5iGgCAwaGLASHOIp6hhKGDDyDWg X-IronPort-AV: E=Sophos;i="4.65,460,1304287200"; d="scan'208";a="112362338" Received: from mail-fx0-f44.google.com ([209.85.161.44]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Jul 2011 21:49:52 +0200 Received: by fxe6 with SMTP id 6so920928fxe.3 for ; Fri, 01 Jul 2011 12:49:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=date:from:to:cc:subject:message-id:in-reply-to:references:x-mailer :mime-version:content-type:content-transfer-encoding; bh=h4zbIxgTu+b0o8K7EgJMu9OTLh71YMiJRWTXVkXCLek=; b=MnliL3T9jAt/1sI+PpwpTK0f6QdLo083uWJgSp4y5x8ar+ZYLqBc5sNy9I9Hh4zYdL WdDn/dsZwKLYf6s0NMxCFhBDq75twRU/DHrf+bSrepCpVBL0X3YUbTUQPFHRsfIpzH0Q w5k5raBY2aZZZoLUnt+Vm7pY9IbBXMzmXTnSY= Received: by 10.223.76.26 with SMTP id a26mr554025fak.94.1309549791943; Fri, 01 Jul 2011 12:49:51 -0700 (PDT) Received: from lemon.local.tld (85-167-133-95.pool.ukrtel.net [95.133.167.85]) by mx.google.com with ESMTPS id q21sm2577982fan.40.2011.07.01.12.49.42 (version=SSLv3 cipher=OTHER); Fri, 01 Jul 2011 12:49:51 -0700 (PDT) Date: Fri, 1 Jul 2011 22:48:57 +0300 From: ygrek To: Matej Kosik Cc: caml-list@yquem.inria.fr Message-Id: <20110701224857.98df7a53.ygrekheretix@gmail.com> In-Reply-To: <4E0DEED4.8070409@fiit.stuba.sk> References: <4E0DEED4.8070409@fiit.stuba.sk> X-Mailer: Sylpheed 3.0.2 (GTK+ 2.20.1; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Bitstring and toplevel On Fri, 01 Jul 2011 17:59:16 +0200 Matej Kosik wrote: > Bitstring-related things are undefined. Its emberassing, but I can't figure out what is wrong. Can somebody please help? Toplevel needs cmi files - it is not 100% standalone. Use #directory directive to specify include paths. -- ygrek http://ygrek.org.ua