From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 5BDA2BBC1 for ; Fri, 11 Apr 2008 13:56:51 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgoFAIvu/ke8AeZK/2dsb2JhbACBXaoG X-IronPort-AV: E=Sophos;i="4.25,641,1199660400"; d="scan'208";a="9471038" Received: from kr-mfo.x-win.dfn.de (HELO elzach.mfo.de) ([188.1.230.74]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Apr 2008 13:56:51 +0200 Received: from reichenbach.mfo.de ([193.174.3.22]) by kr-mfo.x-win.dfn.de with esmtp (Exim 4.43) id 1JkHsA-0003Ra-3J for caml-list@yquem.inria.fr; Fri, 11 Apr 2008 13:56:50 +0200 Received: from [193.174.3.28] (yach [193.174.3.28]) by reichenbach.mfo.de (Postfix) with ESMTP id 14D803CBE5 for ; Fri, 11 Apr 2008 13:56:50 +0200 (MEST) Message-ID: <47FF52A2.8020406@andrej.com> Date: Fri, 11 Apr 2008 13:59:30 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 1.5.0.14ubu (X11/20080306) MIME-Version: 1.0 To: caml-list caml-list Subject: Re: [Caml-list] using functors in objects References: <47FE02A3.2030503@andrej.com> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; andrej:01 andrej:01 functors:01 signoles:01 ocamlc:01 compiler:01 lib:01 ocaml:01 ocamlc:01 recursive:01 23,:98 wrote:01 exception:01 caml-list:01 undefined:01 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