From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=FORGED_HOTMAIL_RCVD2, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id E2B21BC69 for ; Wed, 25 Apr 2007 22:21:54 +0200 (CEST) Received: from talk.nabble.com (www.nabble.com [72.21.53.35]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3PKLrxh024320 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Wed, 25 Apr 2007 22:21:54 +0200 Received: from [72.21.53.38] (helo=jubjub.nabble.com) by talk.nabble.com with esmtp (Exim 4.50) id 1Hgnzo-0004ky-DQ for caml-list@yquem.inria.fr; Wed, 25 Apr 2007 13:21:48 -0700 Message-ID: <10188741.post@talk.nabble.com> Date: Wed, 25 Apr 2007 13:21:48 -0700 (PDT) From: snowfall To: caml-list@yquem.inria.fr Subject: Unbound type constructor MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Nabble-From: marisaquaresma@hotmail.com X-j-chkmail-Score: MSGID : 462FB861.000 on discorde : j-chkmail score : XX : 0/20 2 0.000 -> 2 X-Miltered: at discorde with ID 462FB861.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; compiler:01 parser:01 lexer:01 ocamlc:01 parser:01 mli:01 lexing:01 unbound:01 unbound:01 constructor:01 constructor:01 ident:02 ident:02 caml:02 ast:02 Hi. I am developing a compiler for a language. I have done the parser, the lexer and the ast. But when I execute the command ocamlc -c parser.mli is shown the error "unbound type constructor abacus_ast.progr". Here is the code of the AST: open Lexing type ident = string ;; ... type progr= ident * (tipo list) * (declaracao_de_variaveis list) * (funcoes list) * (instrucao list) ;; and in the parser I put: % type < Abacus_ast.progr > programa Can anyone tell me what I am doing wrong? Best regards -- View this message in context: http://www.nabble.com/Unbound-type-constructor-tf3647847.html#a10188741 Sent from the Caml Discuss2 mailing list archive at Nabble.com.