XSG.hs -- branch: Positive Existing Tags: Finite (revision: 1.64) Positive (branch: 1.12.2.18.2) sync-inf (revision: 1.12.2.5) sync (revision: 1.58) Infinity (branch: 1.12.2) ---------------------------- revision 1.12.2.18.2.33 date: 2009-02-20 18:00:02 +0000; author: orlov; state: Exp; lines: +1 -1 - Nothing have been changed! Just update files on http://botik.ru/~xsg/ ---------------------------- revision 1.12.2.18.2.32 date: 2009-01-24 11:31:18 +0000; author: klimov; state: Exp; lines: +30 -1 - Fair needs: take vars from both side of clash ---------------------------- revision 1.12.2.18.2.31 date: 2008-06-22 13:12:36 +0000; author: klimov; state: Exp; lines: +61 -52 - Version for GHC 6.8.2 ---------------------------- revision 1.12.2.18.2.30 date: 2005-08-02 17:09:58 +0000; author: klimov; state: Exp; lines: +16 -3 Changes from Andrei: Y var, !, ?, @ ---------------------------- revision 1.12.2.18.2.29 date: 2005-07-31 12:44:19 +0000; author: klimov; state: Exp; lines: +9 -4 New Gener (and little changes at PPT and XSG). Now it works! But does not support clashes. ---------------------------- revision 1.12.2.18.2.28 date: 2004-11-09 05:44:42 +0000; author: klimov; state: Exp; lines: +1 -13 Eq Exp, оказывается, никому не нужно... ---------------------------- revision 1.12.2.18.2.27 date: 2004-11-08 17:15:30 +0000; author: klimov; state: Exp; lines: +2 -2 Very small changes ---------------------------- revision 1.12.2.18.2.26 date: 2004-11-08 09:13:56 +0000; author: klimov; state: Exp; lines: +72 -87 Оказывается, Index нужен не слишком часто. В PPT я заменил newIndex на его увеличение (+1) - стало работать быстрее. ---------------------------- revision 1.12.2.18.2.25 date: 2004-11-07 07:33:52 +0000; author: klimov; state: Exp; lines: +33 -43 Упростил Renum. Кстати, renaming'у не нужен Index? ---------------------------- revision 1.12.2.18.2.24 date: 2004-11-06 08:22:23 +0000; author: klimov; state: Exp; lines: +45 -54 Another show (showsPrec -> Show). ---------------------------- revision 1.12.2.18.2.23 date: 2004-11-05 19:58:10 +0000; author: klimov; state: Exp; lines: +20 -14 Better printing. ---------------------------- revision 1.12.2.18.2.22 date: 2004-11-05 18:14:28 +0000; author: klimov; state: Exp; lines: +5 -6 Упрощена функция uncompile. Кстати, какие функции и с каким типом должен экспортировать Parser.hs? ---------------------------- revision 1.12.2.18.2.21 date: 2004-11-05 11:47:05 +0000; author: klimov; state: Exp; lines: +3 -3 no message ---------------------------- revision 1.12.2.18.2.20 date: 2004-11-05 09:34:18 +0000; author: klimov; state: Exp; lines: +3 -1 Rewriting parser.hs. Compiler understands brackets. ---------------------------- revision 1.12.2.18.2.19 date: 2004-10-23 12:46:32 +0000; author: mishchenko; state: Exp; lines: +1 -1 afasd ---------------------------- revision 1.12.2.18.2.18 date: 2004-10-22 16:07:01 +0000; author: klimov; state: Exp; lines: +66 -59 no message ---------------------------- revision 1.12.2.18.2.17 date: 2004-10-22 13:59:30 +0000; author: klimov; state: Exp; lines: +3 -3 Better (I think) prining. ---------------------------- revision 1.12.2.18.2.16 date: 2004-10-22 09:18:11 +0000; author: klimov; state: Exp; lines: +2 -2 no message ---------------------------- revision 1.12.2.18.2.15 date: 2004-10-22 08:35:17 +0000; author: klimov; state: Exp; lines: +2 -1 "vim:" is added ---------------------------- revision 1.12.2.18.2.14 date: 2004-10-22 08:21:11 +0000; author: klimov; state: Exp; lines: +3 -2 URA corrected: were X-vars. ---------------------------- revision 1.12.2.18.2.13 date: 2004-10-22 07:42:06 +0000; author: klimov; state: Exp; lines: +134 -139 Some code reformating. ---------------------------- revision 1.12.2.18.2.12 date: 2004-10-22 06:11:01 +0000; author: klimov; state: Exp; lines: +10 -9 Andrei's printing. ---------------------------- revision 1.12.2.18.2.11 date: 2004-10-20 16:00:40 +0000; author: klimov; state: Exp; lines: +54 -56 Big changes: State = Branch = (Cond, Terms, Exps). Going to rewrite parser in monadic style. ---------------------------- revision 1.12.2.18.2.10 date: 2004-10-17 09:44:21 +0000; author: klimov; state: Exp; lines: +35 -52 Пытаюсь разделить внешнее и внутреннее представление. Теперь, в частости, во внутреннем представлении все констукторы должны быть пронумерованы. ---------------------------- revision 1.12.2.18.2.9 date: 2004-10-17 09:02:06 +0000; author: klimov; state: Exp; lines: +31 -27 Replace [] with initIdx, XSG.C -> XSG.c, XSG.VAR -> XSG.v2e. ---------------------------- revision 1.12.2.18.2.8 date: 2004-10-17 06:21:58 +0000; author: klimov; state: Exp; lines: +7 -8 no message ---------------------------- revision 1.12.2.18.2.7 date: 2004-10-16 19:13:58 +0000; author: klimov; state: Exp; lines: +25 -34 No more Conf and Class, only State and Exps. ---------------------------- revision 1.12.2.18.2.6 date: 2004-10-15 15:48:49 +0000; author: klimov; state: Exp; lines: +39 -33 no message ---------------------------- revision 1.12.2.18.2.5 date: 2004-10-13 08:29:25 +0000; author: klimov; state: Exp; lines: +63 -95 Files from unofficial XSG CVS on Xenon. New W-vars are added. Now programs like "split xs, xs :=: concat ys zs, ys zs." working right! Parser comes soon. ---------------------------- revision 1.12.2.18.2.4 date: 2004-05-28 13:43:28 +0000; author: klimov; state: Exp; lines: +9 -5 no message ---------------------------- revision 1.12.2.18.2.3 date: 2004-04-07 16:29:42 +0000; author: klimov; state: Exp; lines: +10 -17 Работающая версия PPT без неравенств. ---------------------------- revision 1.12.2.18.2.2 date: 2004-04-07 14:41:46 +0000; author: klimov; state: Exp; lines: +26 -126 no message ---------------------------- revision 1.12.2.18.2.1 date: 2004-03-31 16:36:01 +0000; author: klimov; state: Exp; lines: +6 -1 no message =============================================================================