54 Commits

Author SHA1 Message Date
gerv%gerv.net
76529f3fd6 Bug 236613: change to MPL/LGPL/GPL tri-license.
git-svn-id: svn://10.0.0.236/trunk@185990 18797224-902f-48f8-a5cc-f745e15eee43
2005-12-13 13:25:40 +00:00
waldemar%netscape.com
28cc9f85c8 Added char21, supplementary-char, multiple-value-bind. Moved the floating-point-to-string conversions from lisp code to mostly semantic code.
git-svn-id: svn://10.0.0.236/trunk@144310 18797224-902f-48f8-a5cc-f745e15eee43
2003-06-30 22:09:09 +00:00
waldemar%netscape.com
d4134799df Added exclude-zero, delay, %list-set, and float32 primitives.
git-svn-id: svn://10.0.0.236/trunk@143314 18797224-902f-48f8-a5cc-f745e15eee43
2003-06-05 01:34:08 +00:00
waldemar%netscape.com
a9b26eea9c Renamed Character to Char16. Added integer-list and lisp-call expressions.
git-svn-id: svn://10.0.0.236/trunk@142778 18797224-902f-48f8-a5cc-f745e15eee43
2003-05-23 01:00:25 +00:00
waldemar%netscape.com
b5310128c5 Added support for /*/, comments in throw statements, and throw-error pseudo-statements.
git-svn-id: svn://10.0.0.236/trunk@142084 18797224-902f-48f8-a5cc-f745e15eee43
2003-05-03 00:17:41 +00:00
waldemar%netscape.com
17efc00c36 Added support for /* terminated by a non-falling-through statement
git-svn-id: svn://10.0.0.236/trunk@140618 18797224-902f-48f8-a5cc-f745e15eee43
2003-04-03 01:29:43 +00:00
waldemar%netscape.com
342308fa55 Supported :narrow-* inside AND and OR expressions even if assigned to a boolean variable.
Added :delay option to record constructor to permit circular definitions of global variables


git-svn-id: svn://10.0.0.236/trunk@140190 18797224-902f-48f8-a5cc-f745e15eee43
2003-03-25 01:41:40 +00:00
waldemar%netscape.com
10902bfcb8 Added support for definfix and non-reserved operators. Fixed operator precedence bugs.
git-svn-id: svn://10.0.0.236/trunk@137923 18797224-902f-48f8-a5cc-f745e15eee43
2003-02-18 00:28:37 +00:00
waldemar%netscape.com
09b6c3580c Added set<=
git-svn-id: svn://10.0.0.236/trunk@136951 18797224-902f-48f8-a5cc-f745e15eee43
2003-01-25 02:26:51 +00:00
waldemar%netscape.com
75e9cc28c7 Added note statement
git-svn-id: svn://10.0.0.236/trunk@136327 18797224-902f-48f8-a5cc-f745e15eee43
2003-01-14 22:19:35 +00:00
waldemar%netscape.com
e2b7532726 Fixed try-catch variable initialization inference bug and added support for intersections of union types
git-svn-id: svn://10.0.0.236/trunk@134160 18797224-902f-48f8-a5cc-f745e15eee43
2002-11-20 03:38:54 +00:00
waldemar%netscape.com
20d266bfc1 Parametrized floating-point code due to different Common Lisp implementations using different types for IEEE 32 and 64-bit values
git-svn-id: svn://10.0.0.236/trunk@132625 18797224-902f-48f8-a5cc-f745e15eee43
2002-10-29 02:15:11 +00:00
waldemar%netscape.com
6ec23e43b4 Added abs and rat-abs, removed is-initial-identifier-character and is-continuing-identifier-character, and fixed a couple small bugs
git-svn-id: svn://10.0.0.236/trunk@132617 18797224-902f-48f8-a5cc-f745e15eee43
2002-10-29 01:08:42 +00:00
waldemar%netscape.com
81ef7c3f2f Added :forward actions
git-svn-id: svn://10.0.0.236/trunk@131991 18797224-902f-48f8-a5cc-f745e15eee43
2002-10-14 23:17:59 +00:00
waldemar%netscape.com
f340e80263 Added support for float32; made float32 and float64 disjoint from rational numbers; misc. numeric primitive changes; added bottom expression; made append take two or more operands; added support for expressions in comments; added repeat operator
git-svn-id: svn://10.0.0.236/trunk@130457 18797224-902f-48f8-a5cc-f745e15eee43
2002-09-25 23:47:25 +00:00
waldemar%netscape.com
2a4ca124ef Partially implemented integer-range type. Allowed unions of tags with sets or vectors. Allowed testing of a float64 to see whether it's an integer.
git-svn-id: svn://10.0.0.236/trunk@127216 18797224-902f-48f8-a5cc-f745e15eee43
2002-08-13 23:53:16 +00:00
waldemar%netscape.com
12bcdf7ee7 Added optional test to unique-elt-of
git-svn-id: svn://10.0.0.236/trunk@123118 18797224-902f-48f8-a5cc-f745e15eee43
2002-06-12 00:23:45 +00:00
waldemar%netscape.com
2b2c426593 Added support for optional fields. Removed requirement that free variables be constants.
git-svn-id: svn://10.0.0.236/trunk@119655 18797224-902f-48f8-a5cc-f745e15eee43
2002-04-24 00:29:40 +00:00
waldemar%netscape.com
c214055773 Added unique-elt-of
git-svn-id: svn://10.0.0.236/trunk@115762 18797224-902f-48f8-a5cc-f745e15eee43
2002-03-04 23:48:39 +00:00
waldemar%netscape.com
2d396b05ac Added support for set-field and type-diff
git-svn-id: svn://10.0.0.236/trunk@113999 18797224-902f-48f8-a5cc-f745e15eee43
2002-02-08 04:05:44 +00:00
waldemar%netscape.com
d27901c0a3 Expanded map to allow type-narrowing conditions in its condition expression
git-svn-id: svn://10.0.0.236/trunk@113650 18797224-902f-48f8-a5cc-f745e15eee43
2002-02-05 01:13:03 +00:00
waldemar%netscape.com
b913abd7d3 Incomplete attempt to define bit-set and restricted-set semantic types and to define the set-field record/tuple constructor
git-svn-id: svn://10.0.0.236/trunk@113622 18797224-902f-48f8-a5cc-f745e15eee43
2002-02-04 21:08:18 +00:00
waldemar%netscape.com
b81ac527bf Added for-each statements
git-svn-id: svn://10.0.0.236/trunk@112368 18797224-902f-48f8-a5cc-f745e15eee43
2002-01-17 01:28:30 +00:00
waldemar%netscape.com
2c15a56c9b Added 'cons' array operator
git-svn-id: svn://10.0.0.236/trunk@110829 18797224-902f-48f8-a5cc-f745e15eee43
2001-12-20 01:07:22 +00:00
waldemar%netscape.com
bcb258b1cd Added /* and */ statements
git-svn-id: svn://10.0.0.236/trunk@109310 18797224-902f-48f8-a5cc-f745e15eee43
2001-11-30 02:22:37 +00:00
waldemar%netscape.com
b365e7b285 Added support for :var arguments
git-svn-id: svn://10.0.0.236/trunk@108966 18797224-902f-48f8-a5cc-f745e15eee43
2001-11-27 02:38:13 +00:00
waldemar%netscape.com
18741a2d21 Added support for //, assert, and uninitialized vars
git-svn-id: svn://10.0.0.236/trunk@107389 18797224-902f-48f8-a5cc-f745e15eee43
2001-11-06 01:22:57 +00:00
waldemar%netscape.com
5b5ee3c5e6 Added :uninitialized variables
git-svn-id: svn://10.0.0.236/trunk@106443 18797224-902f-48f8-a5cc-f745e15eee43
2001-10-27 02:40:13 +00:00
waldemar%netscape.com
a21269cce0 Fixed handling of unions containing forward-defined types
git-svn-id: svn://10.0.0.236/trunk@106082 18797224-902f-48f8-a5cc-f745e15eee43
2001-10-23 22:46:01 +00:00
waldemar%netscape.com
a7c1ec03f5 Replaced %section and %subsection by %heading with an adjustable level number
git-svn-id: svn://10.0.0.236/trunk@105853 18797224-902f-48f8-a5cc-f745e15eee43
2001-10-19 23:18:03 +00:00
waldemar%netscape.com
671b3acf59 Added support for writable actions
git-svn-id: svn://10.0.0.236/trunk@105593 18797224-902f-48f8-a5cc-f745e15eee43
2001-10-17 03:57:51 +00:00
waldemar%netscape.com
6288658c72 Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.
git-svn-id: svn://10.0.0.236/trunk@104550 18797224-902f-48f8-a5cc-f745e15eee43
2001-10-03 21:01:38 +00:00
waldemar%netscape.com
f9e027f813 Added support for -> covariance and contravariance
git-svn-id: svn://10.0.0.236/trunk@103927 18797224-902f-48f8-a5cc-f745e15eee43
2001-09-27 05:39:52 +00:00
waldemar%netscape.com
653ef11c7d Fixed the precedence of neg
git-svn-id: svn://10.0.0.236/trunk@103692 18797224-902f-48f8-a5cc-f745e15eee43
2001-09-25 03:46:57 +00:00
waldemar%netscape.com
90addddd67 Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements.
git-svn-id: svn://10.0.0.236/trunk@102681 18797224-902f-48f8-a5cc-f745e15eee43
2001-09-10 22:10:36 +00:00
waldemar%netscape.com
4496362776 Added vector subtyping, support for & on unions of tags, and the nonempty operator
git-svn-id: svn://10.0.0.236/trunk@101685 18797224-902f-48f8-a5cc-f745e15eee43
2001-08-23 04:21:18 +00:00
waldemar%netscape.com
49c6f2b2da Fixed handling of infinities
git-svn-id: svn://10.0.0.236/trunk@100839 18797224-902f-48f8-a5cc-f745e15eee43
2001-08-10 23:23:42 +00:00
waldemar%netscape.com
f16520821b Switchover to Algol-style semantics
git-svn-id: svn://10.0.0.236/trunk@92063 18797224-902f-48f8-a5cc-f745e15eee43
2001-04-12 04:31:46 +00:00
waldemar%netscape.com
781c19a1b4 Added ^, hex, mod, and string comparison operators
git-svn-id: svn://10.0.0.236/trunk@88411 18797224-902f-48f8-a5cc-f745e15eee43
2001-03-02 23:14:11 +00:00
waldemar%netscape.com
b5c9aee2ef Renamed double to float64, added progn, and added support for ? within rules
git-svn-id: svn://10.0.0.236/trunk@88284 18797224-902f-48f8-a5cc-f745e15eee43
2001-03-01 05:35:44 +00:00
waldemar%netscape.com
0eb7313715 Added vector comprehensions. Changed compiler to emit globals of functional type into the lisp function rather than value slots of symbols; this simplifies debugging.
git-svn-id: svn://10.0.0.236/trunk@86486 18797224-902f-48f8-a5cc-f745e15eee43
2001-02-07 05:06:22 +00:00
waldemar%netscape.com
bc3f6fe763 Added the id type
git-svn-id: svn://10.0.0.236/trunk@85930 18797224-902f-48f8-a5cc-f745e15eee43
2001-02-01 03:40:56 +00:00
waldemar%netscape.com
6594c99865 Renamed OrdinaryInitialIdentifierCharacter and OrdinaryContinuingIdentifierCharacter to InitialIdentifierCharacter and ContinuingIdentifierCharacter
git-svn-id: svn://10.0.0.236/trunk@81944 18797224-902f-48f8-a5cc-f745e15eee43
2000-10-28 05:55:19 +00:00
waldemar%netscape.com
1edfdb8d6b Added support for highlights.
git-svn-id: svn://10.0.0.236/trunk@78568 18797224-902f-48f8-a5cc-f745e15eee43
2000-09-09 02:14:35 +00:00
waldemar%netscape.com
9913136f52 Added line-break constraint
git-svn-id: svn://10.0.0.236/trunk@76857 18797224-902f-48f8-a5cc-f745e15eee43
2000-08-22 04:29:01 +00:00
waldemar%netscape.com
77c4947349 Added canonical LR(1) grammars and grammar cleaning
git-svn-id: svn://10.0.0.236/trunk@55276 18797224-902f-48f8-a5cc-f745e15eee43
1999-12-04 05:03:20 +00:00
waldemar%netscape.com
d8ce56167f Implemented line-grammar
git-svn-id: svn://10.0.0.236/trunk@55217 18797224-902f-48f8-a5cc-f745e15eee43
1999-12-03 22:51:27 +00:00
waldemar%netscape.com
9c4cb1eacb Updated to Mozilla 1.1 license
git-svn-id: svn://10.0.0.236/trunk@52667 18797224-902f-48f8-a5cc-f745e15eee43
1999-11-03 03:58:07 +00:00
waldemar%netscape.com
1234934b00 Added semantic subtyping, throw, and catch
git-svn-id: svn://10.0.0.236/trunk@51232 18797224-902f-48f8-a5cc-f745e15eee43
1999-10-20 00:40:55 +00:00
waldemar%netscape.com
ec765d7d20 Implemented partial order for operator precedences. Removed global array functions and reformatted 'length' and 'empty' functions.
git-svn-id: svn://10.0.0.236/trunk@41194 18797224-902f-48f8-a5cc-f745e15eee43
1999-07-27 01:03:19 +00:00