Archives of the Caml mailing list > Message from Hendrik Tews

Browse thread

Why doesn't ocamlopt detect a missing ; after failwith statement?

Richard Jones
- Nicolas Cannasse
  - skaller
    - Jacques Garrigue
      - skaller
        
        Jacques Garrigue
        
        Nicolas Cannasse
        
        Jacques Garrigue
        
        Alain Frisch
        
        Michal Moskal
        
        Damien Doligez
        
        Jacques Garrigue
        
        Frederic van der Plancke
        
        Jacques Garrigue
        
        Frederic van der Plancke
        
        Hendrik Tews
        
        skaller
        
        Jacques Garrigue
        
        Marcin 'Qrczak' Kowalczyk
      - skaller
    - Brian Hurt
  - Richard Jones
    - skaller
    - Ville-Pertti Keinonen

Date:	2004-11-26 (23:14)
From:	Hendrik Tews <tews@t...>
Subject:	Re: [Caml-list] Why doesn't ocamlopt detect a missing ; after failwith statement?

Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> writes:

   Note that void in C is definitely not zero. You cannot have variables

C++ standard, 3.9.1.9: The void type has an empty set of values. ...

So I would say void is zero. On the other side you have functions
returning void. Therefore I would conclude that the type theory
of C++ is unsound.

Bye,

Hendrik