Browse thread
using functors in objects
-
Jacques Le Normand
-
Andrej Bauer
-
Julien Signoles
- Andrej Bauer
-
Julien Signoles
-
Andrej Bauer
[
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: | 2008-04-11 (11:56) |
From: | Andrej Bauer <Andrej.Bauer@a...> |
Subject: | Re: [Caml-list] using functors in objects |
Julien Signoles wrote: > $ ocamlc -v > The Objective Caml compiler, version 3.10.1 > Standard library directory: /home/jsignole/local/godi/lib/ocaml/std-lib > $ ocamlc -o modclass modclass.ml > $ ./modclass > Fatal error: exception Undefined_recursive_module("modclass.ml", 23, 2) Oh my god! What ever happened to safety?! You know, the little theorem that says "If a program is well typed then it does not explode in your face". I naively thought it would work because it compiled. Yuck! Andrej