From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p97Gw5qu006702 for ; Fri, 7 Oct 2011 18:58:05 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApUCAAEvj06flYLKgWdsb2JhbABEqD4iAQEWJiWCARECgXEECKEIn1OHMQSTb4UWjDQ X-IronPort-AV: E=Sophos;i="4.68,503,1312149600"; d="scan'208";a="112125152" Received: from smtp.dico.unimi.it ([159.149.130.202]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Oct 2011 18:58:00 +0200 Received: from ulik.disi.unige.it (ulik.disi.unige.it [130.251.61.165]) (authenticated bits=0) by smtp.dico.unimi.it (8.14.4/8.14.4) with ESMTP id p97GvxwJ022735 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 7 Oct 2011 18:57:59 +0200 Date: Fri, 7 Oct 2011 18:57:54 +0200 (CEST) From: Walter Cazzola To: OCaML Mailing List Message-ID: User-Agent: Alpine 2.00 (LFD 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.0 (smtp.dico.unimi.it [159.149.130.202]); Fri, 07 Oct 2011 18:57:59 +0200 (CEST) X-DSI-MailScanner-Information: Please contact the staff for more information X-DSI-MailScanner-ID: p97GvxwJ022735 X-DSI-MailScanner: Found to be clean X-DSI-MailScanner-From: cazzola@dico.unimi.it Subject: [Caml-list] sig Dear all, sorry for being so dumb but I've still problems with types and the sig syntax. I'm trying to write a Graph ADT: module type GraphADT = sig type 'a graph val EmptyGraph : 'a graph val AddNode : 'a * 'a graph -> 'a graph end;; but when I try to evaluate it I get: Syntax error: 'end' expected, the highlighted 'sig' might be unmatched pointing to the row inbetween type and the first val but I don't understand why and how to solve it. Any help is welcome as always TIA Walter --