From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id LAA02336 for caml-redistribution; Mon, 29 Apr 1996 11:25:53 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id QAA04835 for ; Fri, 26 Apr 1996 16:00:21 +0200 Received: from ns.access.ch (ns.access.ch [193.246.40.1]) by concorde.inria.fr (8.7.1/8.7.1) with SMTP id QAA05511 for ; Fri, 26 Apr 1996 16:00:20 +0200 (MET DST) Received: from [193.246.40.67] by ns.access.ch (8.6.12/INA-0.93) id QAA18028; Fri, 26 Apr 1996 16:00:06 +0100 X-Sender: sclematide@mail.access.ch (Unverified) Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Fri, 26 Apr 1996 16:02:21 +0200 To: caml-list@pauillac.inria.fr From: sclematide@mail.access.ch (Simon Clematide) Subject: [ANN] camlyacc and camllex for Macintosh without MPW-Shell Cc: comp-lang-ml@cs.cmu.edu Sender: weis Macintosh Caml Light 0.71 Caml Yacc and camllexlib goodies (24/04/96) Here are three goodies to make camlyacc and camllex available for people *without* mpw-shell or toolserver. Remember: camllex produces a lexical analyzer from a set of regular expressions. camlyacc produces a parser from a context free grammar specification. It's the best way to tackle precedences and associativity. URL: ftp://ftp.inria.fr/lang/caml-light/Usercontribs/cl7maclexyacc.sit.hqx Caml Yacc is a (crude) standalone macintosh application producing (exactly) the same as the camlyacc mpw-tool. camllexlib is a caml-light library/module doing the same as the camllex mpw-tool. tl_camllex (toplevel camllex) contains source code which can be run (and included) by the toplevel Macintosh application Caml Light and gives the functionality of the camllex mpw-tool to the toplevel. See "Read me" files in the folders for usage and more information. Simon Clematide PS: (Only for those who have the mpw-shell...) 1. I have ported the libstr (regular expression library) to the macintosh (only 68k). 2. I made a nifty caml light tool called "truthtable" which produces truthtables out of propositional formulas. The "frontend" (names of connectives) and the "backend" (pure ascii, LaTeX table, HTML, tabbed text) is fully configurable. It's also an example for the use of camllex and camlyacc. If you feel interested, send me an e-mail. --- Simon Clematide Stuessistr. 96 CH-8057 Zuerich E-mail: sclematide@access.ch Phone: +41 1 361 22 37