From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA15649 for caml-redistribution; Thu, 14 Oct 1999 14:57:16 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA19493 for <caml-list@pauillac.inria.fr>; Wed, 13 Oct 1999 14:30:31 +0200 (MET DST)
Received: from sunstroke.informatik.uni-tuebingen.de (sunstroke.Informatik.Uni-Tuebingen.De [134.2.11.25])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id OAA22880
	for <caml-list@inria.fr>; Wed, 13 Oct 1999 14:30:30 +0200 (MET DST)
Received: (from pfitzen@localhost)
	by sunstroke.informatik.uni-tuebingen.de (8.9.1a/8.9.1) id OAA15829
	for caml-list@inria.fr; Wed, 13 Oct 1999 14:30:22 +0200 (MET DST)
Date: Wed, 13 Oct 1999 14:30:22 +0200 (MET DST)
From: Juergen Pfitzenmaier <pfitzen@informatik.uni-tuebingen.de>
Message-Id: <199910131230.OAA15829@sunstroke.informatik.uni-tuebingen.de>
To: caml-list@inria.fr
Subject: Quotes inside a comment ?
Sender: weis

The documentation says even inside comments the quotes (that's -- " --)
have to be used pairwise. Is there any reason for this ?
I would like to have a good documentation for the code I write and my
preferred way is to use nuweb and put some TeX right beside the piece
of code it refers to. But sometimes I have to use a non-english language
for the comments and then I need special characters that are constructed
with a -- " -- in front of them. The only way to use these comments
with ocaml is to filter all comments out before compiling. This is no
big deal but it is not nice and easy. Is there any change in sight ?

ciao pfitzen