Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Thu, 15 Apr 1993 16:07:24 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA00056; Thu, 15 Apr 93 07:45:35 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from scylla.oracorp.com by ted.cs.uidaho.edu (16.6/1.34) id AA00051; Thu, 15 Apr 93 07:45:27 -0700 Received: from sparta.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) id AA27339; Thu, 15 Apr 93 10:45:19 EDT Date: Thu, 15 Apr 93 10:45:17 EDT From: shb@com.oracorp Received: by sparta.oracorp.com (4.1/1.3-ORA Corporation) id AA13156; Thu, 15 Apr 93 10:45:17 EDT Message-Id: <9304151445.AA13156@sparta.oracorp.com> To: info-hol@edu.uidaho.cs.ted Subject: Simple SML/NJ question If val test = [1,2]; I'd like to be able to give values to x and y with something like val [x,y] = test; without getting those damned "Warning: binding not exhaustive" messages. The messages would be useful if I could figure out how to get them to appear only when I'd really forgotten to bind something. The answer ought to be easy, but my first several attempts failed. Will someone who knows tell me? Steve Brackin ORA