gecko-dev

mirror of https://github.com/mozilla/gecko-dev.git synced 2024-12-14 02:31:59 +00:00

History

waldemar%netscape.com b8cc67ab4e Fixed constraint positioning bug		1999-11-02 20:54:44 +00:00
..
JS14
JS20	Added basic no-line-break constraints matching JavaScript 1.x	1999-11-02 01:46:05 +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	Changed bottom expressions to syntax error throws	1999-10-20 20:58:07 +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	Fixed constraint positioning bug	1999-11-02 20:54:44 +00:00
GrammarSymbol.lisp
HTML.lisp	Added :no-line-break	1999-11-02 01:44:24 +00:00
Lexer.lisp	Fixed comment	1999-11-02 01:45:14 +00:00
Main.lisp
Markup.lisp
Metaparser.lisp
Parser.lisp	Fixed annoying use of error-output that would always bring the listener window to the front while compiling a grammar	1999-11-02 01:43:52 +00:00
README
RTF.lisp	Added :no-line-break	1999-11-02 01:44:24 +00:00
styles.css
unicodeCompatibility.js	Added upper-case Greek letters	1999-10-20 20:57:37 +00:00
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.