|
|
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.