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 p97H0MFj007108
	for <caml-list@sympa-roc.inria.fr>; Fri, 7 Oct 2011 19:00:22 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AigBAMcvj07RVdW2imdsb2JhbABEmS6PCAgiAQEBCgkNBxIGIYFTAQEBAQIBEgITEQgBGxILAQMBCwYFCxohIxEBBQEKEgYlEIdcB5s6CotQgl6FET2IbwIEBoZKYQSTb4ZThkk9hAs
X-IronPort-AV: E=Sophos;i="4.68,503,1312149600"; 
   d="scan'208";a="123252111"
Received: from mail-yx0-f182.google.com ([209.85.213.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Oct 2011 19:00:17 +0200
Received: by yxk36 with SMTP id 36so6090111yxk.27
        for <caml-list@inria.fr>; Fri, 07 Oct 2011 10:00:16 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=cc:message-id:from:to:in-reply-to:content-type
         :content-transfer-encoding:mime-version:subject:date:references
         :x-mailer;
        bh=OGX8GyW5NjsqpQV/J/2LvX9H0JXZs5PBYe0Z0CghwHs=;
        b=Ol1gsAFBkQG6f/tzvSHfsniJfa1Imu9D0tJz3mdMozE5XFm2V2fuvFIsvxIk5B0zkZ
         8ua3e3X+KblXx7AUrXMXkeXErmy/cpsiI6LQTohkoFXPJ9ozmp2TiD7T/S6UQnJWYzNg
         wFtbdhioMfEbl81F20XJ7psFNphoLLjAzlXr4=
Received: by 10.236.129.242 with SMTP id h78mr11217701yhi.89.1318006815929;
        Fri, 07 Oct 2011 10:00:15 -0700 (PDT)
Received: from dyn-166-187.wireless.concordia.ca (dyn-166-187.wireless.concordia.ca. [132.205.166.187])
        by mx.google.com with ESMTPS id u45sm13706727yhh.8.2011.10.07.10.00.09
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 07 Oct 2011 10:00:12 -0700 (PDT)
Cc: OCaML Mailing List <caml-list@inria.fr>
Message-Id: <3FE56BBD-A8C9-4DF3-B38B-B0FE31BB9E2A@gmail.com>
From: Vincent Aravantinos <vincent.aravantinos@gmail.com>
To: Walter Cazzola <cazzola@dico.unimi.it>
In-Reply-To: <alpine.LFD.2.00.1110071855370.3251@surtur.dico.unimi.it>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes
Mime-Version: 1.0 (Apple Message framework v936)
Date: Fri, 7 Oct 2011 13:00:08 -0400
References: <alpine.LFD.2.00.1110071855370.3251@surtur.dico.unimi.it>
X-Mailer: Apple Mail (2.936)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p97H0MFj007108
Subject: Re: [Caml-list] sig

values should start with a low case char: EmptyGraph -> emptyGraph,  
AddNode -> addNode

Le 7 oct. 11 à 12:57, Walter Cazzola a écrit :

> 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
> -- 
>
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>