From: Pierpaolo Bernardi <firstname.lastname@example.org>
Date: Tue, 13 May 1997 18:32:44 +0200 (MET DST)
Subject: Re: stderr
From: Dave Mason <email@example.com>
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