Re: stderr

From: Pierpaolo Bernardi (
Date: Tue May 13 1997 - 18:32:44 MET DST

From: Pierpaolo Bernardi <>
Date: Tue, 13 May 1997 18:32:44 +0200 (MET DST)
Message-Id: <>
Subject: Re: stderr

   From: Dave Mason <>

   The problem with Cristian's solution is that you don't automatically
   get told what positions in what file had the mismatch, like you do if
   you simply leave out the wildcard match. If there were a convenient
   way to get that automatic error tracking, I'd rather do as Cristian
   suggests because it makes it more explicit

In these cases I just use:

           A -> ...
         | B -> ...
         | _ -> failwith "Useful message 498249"
                                        ^^^^^^-- a random string.

Or am I misunderstanding what you want?


This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:10 MET