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: | -- (:) |
| 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