Article View: alt.lang.ml
Article #5Re: annying warning message
From: Nick Rothwell
Date: Mon, 06 Apr 1992 12:00
Date: Mon, 06 Apr 1992 12:00
21 lines
1195 bytes
1195 bytes
In article <MFX.92Apr4150949@marx.cs.tu-berlin.de> mfx@cs.tu-berlin.de (Markus Freericks) writes:
- val [a,b] = [1,2];
std_in:5.1-5.17 Warning: binding not exhaustive
a :: b :: nil = ...
val a = 1 : int
val b = 2 : int
The only alternative I can think of is
(OLD:) - val [a, b] = fred;
(NEW:) - val (a, b) = case fred of [a, b] => (a, b)
| _ => raise SomeError fred;
Nick.
--
Nick Rothwell, LFCS, Edinburgh | Mark X here if article is a gift .. .. .. (X)
nick@dcs.ed.ac.uk | Il s'agit d'un cadeau
Mentation Consultancy Services | or a sample of merchandise .. .. .. .. .. ( )
cassiel@cix.compulink.co.uk | d'un enchantillon de marchandises
Technical Details
Message-ID:
<NICK.92Apr6130059@vaila.ed.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!nickReferences:
<MFX.92Apr4150949@marx.cs.tu-berlin.de>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!nick From: nick@dcs.ed.ac.uk (Nick Rothwell) Newsgroups: alt.lang.ml Subject: Re: annying warning message Message-ID: <NICK.92Apr6130059@vaila.ed.ac.uk> Date: 6 Apr 92 12:00:59 GMT References: <MFX.92Apr4150949@marx.cs.tu-berlin.de> Sender: nnews@dcs.ed.ac.uk Distribution: alt Organization: Friends of the Salter Duck Lines: 21 In-reply-to: mfx@cs.tu-berlin.de's message of 4 Apr 92 13:10:01 GMT