Browse thread
Problem with recursive class and non-class types
- Goswin von Brederlow
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2010-05-20 (05:11) |
From: | Goswin von Brederlow <goswin-v-b@w...> |
Subject: | Problem with recursive class and non-class types |
Hi, I want to define the two types below: type foo = { bar : bar; } class bar = object val mutable foo : foo list = [] end Is there another way of doing this other than: # type 'a foo = { bar : 'a; } class bar = object val mutable foo : #bar foo list = [] end;; type 'a foo = { bar : 'a; } class bar : object val mutable foo : #bar foo list end I don't want any 'a foo other than 'a = #bar. It is too easy to create a baz foo and then much later get a type error when trying to use it as bar foo. I want the error where the foo gets created. MfG Goswin