(1) How do I match on the pattern which is literally '_' in the
original code?
match mypatt with
| :patt _ - ...
seems like it matches any pattern.
(2) Is there a function hiding anywhere which tests whether a pattern
is exhaustive? Here's the problem I have: I want to generate code
On Fri, 25 Apr 2008, Richard Jones wrote:
(1) How do I match on the pattern which is literally '_' in the
original code?
match mypatt with
| :patt _ - ...
seems like it matches any pattern.
Strange.
(2) Is there a function hiding anywhere which tests whether a pattern
is
On Fri, Apr 25, 2008 at 03:58:17PM +0200, Martin Jambon wrote:
One possible hack is to add when true guards everywhere and one final
| _ - assert false case.
This disables completeness checking and turns off warnings, at your own
risk.
Nice, thanks. In this case I don't want the