Browse thread
Why doesn't ocamlopt detect a missing ; after failwith statement?
[
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: | 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