Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!wuarchive!udel!princeton!cs!atomic!nr
From: nr@atomic.Princeton.EDU (Norman Ramsey)
Newsgroups: comp.lang.modula3
Subject: Pkl question
Message-ID: <7094@rossignol.Princeton.EDU>
Date: 20 Feb 91 23:57:43 GMT
Sender: news@cs.Princeton.EDU
Organization: Dept. of Computer Science, Princeton University
Lines: 13

Suppose I have a procedure for saving a single copy of any TEXT:
  PROCEDURE Unique(s:TEXT):TEXT;
such that for all s, s1, s2
  Text.Equal(s,Unique(s));
and
  IF Text.Equal(s1,s2) THEN Unique(s1) = Unique(s2)

Is there a way for me to use this procedure with the Pkl interface to
guarantee that pickles I write won't contain more than one copy of any
TEXT? 
--
Norman Ramsey
nr@princeton.edu