gecko-dev

mirror of https://github.com/mozilla/gecko-dev.git synced 2024-11-14 15:37:55 +00:00

History

waldemar%netscape.com 30f65ba3aa Removed types from bottom expressions		1999-10-20 02:27:53 +00:00
..
JS14
JS20	Changed syntax of getters and setters to "get name" and "set name". Relaxed grammar constraints on definitions. Changed over to colon syntax for types. Added local visibility and block modifiers.	1999-10-20 00:46:31 +00:00
JSECMA	Removed rational-to-integer and types in bottom calls, which were replaced by semantic subtyping	1999-10-20 00:42:17 +00:00
Test	Removed types from bottom expressions	1999-10-20 02:27:53 +00:00
Calculus.lisp	Added semantic subtyping, throw, and catch	1999-10-20 00:40:55 +00:00
CalculusMarkup.lisp	Added semantic subtyping, throw, and catch	1999-10-20 00:40:55 +00:00
Grammar.lisp
GrammarSymbol.lisp
HTML.lisp
Lexer.lisp	Made lexer-actions into global function calls	1999-07-27 01:00:05 +00:00
Main.lisp
Markup.lisp
Metaparser.lisp
Parser.lisp
README
RTF.lisp	Fixed bug that would sometimes emit a newline between a backslash and its following escaped character	1999-10-20 00:40:04 +00:00
styles.css
unicodeCompatibility.js
Utilities.lisp	Added partial order library	1999-07-27 00:58:44 +00:00

README

js/semantics contains experimental code used to generate LR(1) and LALR(1)
grammars for JavaScript as well as compile and check formal semantics for
JavaScript.  The semantics can be executed directly or printed into either
HTML or Microsoft Word RTF formats.

This code is written in standard Common Lisp.  It's been used under Macintosh
Common Lisp 4.0, but should also work under other Common Lisp implementations.

Contact Waldemar Horwat (waldemar@netscape.com or waldemar@acm.org) for
more information.