home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!doc.ic.ac.uk!uknet!mucs!m1!bevan
- From: bevan@cs.man.ac.uk (Stephen J Bevan)
- Newsgroups: comp.lang.functional
- Subject: particular example of functional parsing in ML wanted
- Message-ID: <BEVAN.92Nov7144911@hippo.cs.man.ac.uk>
- Date: 7 Nov 92 14:49:11 GMT
- Sender: news@cs.man.ac.uk
- Organization: Department of Computer Science, University of Manchester
- Lines: 11
-
- I mentioned in a previous message that I'd seen a parser which uses
- exceptions written in ML i.e. as described in Paulson's book on ML.
- However, I was sure that the code I saw was dated 1983 and written by
- Robert Harper. I've checked the ML archive at Edinburgh, but I
- couldn't find the code, which leads me to think I've got my wires
- crossed and and thinking of Paulson's code. However I was sure that
- the code that I saw used "|||" as the alternation symbol unlike
- Paulson. Does anybody else remember this code? If so, do you know
- where I can get it from?
-
- bevan
-