[Caml-list] Define class and sum type in one time

[Pierre-Alexandre Voye <ontologiae@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 626 bytes --]

Hi everyone, i'm trying to write a generic hierarchical finite state
machine, and I have a syntax problem which stop me.
I want to define an object which use, somewhere a sum type.
The compiler answer "Syntax Error"

Here a simple example of my problem :

class machin = object(self)
  val mutable valeur = 0
  method getValeur = valeur
end
and
truc = Machin of (int->int) | Recur of truc;;

And the answer :
Error: Syntax error
 which point  on the "of" after "Machin"

Is there a way to solve this problem ?

In advance, thank you very much

Pierre-Alexandre
-- 
---------------------
Isaac Project - http://www.lisaac.org/

[-- Attachment #2: Type: text/html, Size: 803 bytes --]