Version française
Home     About     Download     Resources     Contact us    
Browse thread
Why doesn't ocamlopt detect a missing ; after failwith statement?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
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