[Caml-list] sig

[Caml-list] sig

[Walter Cazzola]

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
-- 

Re: [Caml-list] sig

[Vincent Aravantinos]

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
>

Re: [Caml-list] sig

[Walter Cazzola]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 556 bytes --]

On Fri, 7 Oct 2011, Vincent Aravantinos wrote:

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

what a silly thing, you are right, thank you

Walter

-- 
Walter Cazzola, PhD - Associate Professor, DICo, University of Milano
E-mail: cazzola@dico.unimi.it  Ph.: +39 02 503 16300  Fax: +39 02 503 16253
· · · ---------------------------- · · · ---------------------------- · · ·
                ... recursive: adjective, see recursive ...
· · · ---------------------------- · · · ---------------------------- · · ·

Re: [Caml-list] sig

[Stefano Zacchiroli]

On Fri, Oct 07, 2011 at 06:57:54PM +0200, Walter Cazzola wrote:
> Dear all, sorry for being so dumb but I've still problems with types
> and the sig syntax.

No problem, it's always nice to help new people discovering the mighty
OCaml :)  As a heads-up, there is also a very helpful beginner's list,
documented in the trailer of every message posted to this list:

> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

You might want to try it out as well.

Happy OCaml-ing!
Cheers.
-- 
Stefano Zacchiroli     zack@{upsilon.cc,pps.jussieu.fr,debian.org} . o .
Maître de conférences   ......   http://upsilon.cc/zack   ......   . . o
Debian Project Leader    .......   @zack on identi.ca   .......    o o o
« the first rule of tautology club is the first rule of tautology club »

Re: [Caml-list] sig

[Walter Cazzola]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 765 bytes --]

On Fri, 7 Oct 2011, Stefano Zacchiroli wrote:

> On Fri, Oct 07, 2011 at 06:57:54PM +0200, Walter Cazzola wrote:
>> Dear all, sorry for being so dumb but I've still problems with types
>> and the sig syntax.

> No problem, it's always nice to help new people discovering the mighty
> OCaml :)  As a heads-up, there is also a very helpful beginner's list,
> documented in the trailer of every message posted to this list:

>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

> You might want to try it out as well.

Indeed you are right, I will give it a try even if some of my questions
(see the message with subject «with clause») didn't find a solution in
this list and I'm quite sure they will not solved in the beginner list
as well.

Walter

--