Return to README CVS log

Up to [Research Unix] / researchv10no / cmd / sml / lib / twig

Annotation of researchv10no/cmd/sml/lib/twig/README, revision 1.1.1.1

1.1       root        1: ML-Twig 1.0  June 1989.
                      2: 
                      3: Copyright (c) 1989 by Johan Lilius, Jari Porra, Jussi Rintanen.
                      4: 
                      5: This software comes with ABSOLUTELY NO WARRANTY.
                      6: This software is subject only to the GNU GENERAL PUBLIC LICENSE
                      7: (in the file "LICENSE", distributed with this software, and available
                      8: from the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139).
                      9: You may copy and distribute this software; see the LICENSE
                     10: for details and restrictions.
                     11: 
                     12: 
                     13: Source files of ML-Twig : (compile in this order)
                     14: 
                     15:        analyzer.lex.sml
                     16:        lexer.sml
                     17:        parser.sml
                     18:        automata.sml
                     19:        main.sml
                     20: 
                     21: Other files :
                     22: 
                     23:        analyzer.lex            The lexer. Use Lexgen to produce
                     24:                                analyzer.lex.sml.
                     25:        runtime.sml             Runtime system to be loaded before the file
                     26:                                produced by ML-Twig. Contains a functor.
                     27:        man.tex                 ML-Twig User Manual (LaTeX)
                     28:        example.mtw             The example from the manual.
                     29:        invoke.sml              User interface (If you compile ML-Twig
                     30:                                non-interactively with the batch compiler.
                     31:                                Load after main.sml)
                     32: 
                     33: 
                     34: There are no known bugs in ML-Twig, but the tree references ($n.m ... $)
                     35: together with rewrite rules currently pose a small problem.
                     36: References to the labeled subtrees of a tree pattern always refer
                     37: to the original tree, not to a new tree possibly returned by a 
                     38: rewrite rule.
                     39: 
                     40: 
                     41: Bug reports, comments and suggestions may be sent to
                     42: 
                     43:        [email protected]
                     44: 
                     45: or
                     46: 
                     47:        Jussi Rintanen
                     48:        Helsinki University of Technology
                     49:        Laboratory of Information Processing Science, U401
                     50:        02150 ESPOO
                     51:        Finland
                     52: 
                     53: 
                     54: Note:
                     55: 
                     56: We have tested the program with a large subset of the Vax code generator
                     57: of Andrew Appel rewritten for Standard ML and ML-Twig, and I think
                     58: the program is fairly reliable. The run-time system is not very efficient
                     59: and there are some parts that could be cleaned up. However, I think that
                     60: possible modifications are not critical.
                     61:   I could also later send for distribution a small front-end for a pascal-like
                     62: language, and the Vax CG, if Andrew Appel does not mind. The CG very closely
                     63: resembles the original code generator written in C for Twig, and is merely
                     64: a translation of the original. 

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.