PPT.hs -- branch: Positive Existing Tags: Finite (revision: 1.12) Positive (branch: 1.20.2) ---------------------------- revision 1.20.2.31 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.20.2.30 date: 2009-01-24 11:31:18 +0000; author: klimov; state: Exp; lines: +2 -2 - Fair needs: take vars from both side of clash ---------------------------- revision 1.20.2.29 date: 2008-06-22 13:37:12 +0000; author: klimov; state: Exp; lines: +7 -3 - filter answers with Y-vars ---------------------------- revision 1.20.2.28 date: 2008-06-22 13:12:35 +0000; author: klimov; state: Exp; lines: +9 -9 - Version for GHC 6.8.2 ---------------------------- revision 1.20.2.27 date: 2005-07-31 12:44:19 +0000; author: klimov; state: Exp; lines: +2 -2 New Gener (and little changes at PPT and XSG). Now it works! But does not support clashes. ---------------------------- revision 1.20.2.26 date: 2004-11-08 17:15:30 +0000; author: klimov; state: Exp; lines: +4 -4 Very small changes ---------------------------- revision 1.20.2.25 date: 2004-11-08 09:13:56 +0000; author: klimov; state: Exp; lines: +17 -12 Оказывается, Index нужен не слишком часто. В PPT я заменил newIndex на его увеличение (+1) - стало работать быстрее. ---------------------------- revision 1.20.2.24 date: 2004-11-07 07:33:52 +0000; author: klimov; state: Exp; lines: +4 -10 Упростил Renum. Кстати, renaming'у не нужен Index? ---------------------------- revision 1.20.2.23 date: 2004-11-06 08:22:23 +0000; author: klimov; state: Exp; lines: +6 -7 Another show (showsPrec -> Show). ---------------------------- revision 1.20.2.22 date: 2004-11-05 19:13:22 +0000; author: klimov; state: Exp; lines: +8 -7 no message ---------------------------- revision 1.20.2.21 date: 2004-10-23 16:09:58 +0000; author: klimov; state: Exp; lines: +20 -18 no message ---------------------------- revision 1.20.2.20 date: 2004-10-22 10:59:29 +0000; author: klimov; state: Exp; lines: +7 -13 Index had added to ura, ppt, int. ---------------------------- revision 1.20.2.19 date: 2004-10-22 09:46:28 +0000; author: klimov; state: Exp; lines: +28 -29 no message ---------------------------- revision 1.20.2.18 date: 2004-10-22 08:35:16 +0000; author: klimov; state: Exp; lines: +2 -1 "vim:" is added ---------------------------- revision 1.20.2.17 date: 2004-10-22 07:42:06 +0000; author: klimov; state: Exp; lines: +9 -9 Some code reformating. ---------------------------- revision 1.20.2.16 date: 2004-10-21 04:37:23 +0000; author: klimov; state: Exp; lines: +13 -23 A little better than Anton's variant. ---------------------------- revision 1.20.2.15 date: 2004-10-20 23:41:55 +0000; author: orlov; state: Exp; lines: +4 -3 Fixed substituion of a result. ---------------------------- revision 1.20.2.14 date: 2004-10-20 16:00:40 +0000; author: klimov; state: Exp; lines: +37 -34 Big changes: State = Branch = (Cond, Terms, Exps). Going to rewrite parser in monadic style. ---------------------------- revision 1.20.2.13 date: 2004-10-17 09:44:21 +0000; author: klimov; state: Exp; lines: +4 -4 Пытаюсь разделить внешнее и внутреннее представление. Теперь, в частости, во внутреннем представлении все констукторы должны быть пронумерованы. ---------------------------- revision 1.20.2.12 date: 2004-10-16 19:33:51 +0000; author: klimov; state: Exp; lines: +14 -15 No more Conf and Class, only State and Exps. ---------------------------- revision 1.20.2.11 date: 2004-10-16 19:13:58 +0000; author: klimov; state: Exp; lines: +24 -24 No more Conf and Class, only State and Exps. ---------------------------- revision 1.20.2.10 date: 2004-10-15 15:48:49 +0000; author: klimov; state: Exp; lines: +13 -11 no message ---------------------------- revision 1.20.2.9 date: 2004-10-13 08:29:25 +0000; author: klimov; state: Exp; lines: +32 -15 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.20.2.8 date: 2004-06-11 12:41:49 +0000; author: klimov; state: Exp; lines: +8 -8 no message ---------------------------- revision 1.20.2.7 date: 2004-06-11 11:47:12 +0000; author: klimov; state: Exp; lines: +9 -9 no message ---------------------------- revision 1.20.2.6 date: 2004-05-28 14:08:26 +0000; author: klimov; state: Exp; lines: +5 -5 no message ---------------------------- revision 1.20.2.5 date: 2004-05-28 13:43:28 +0000; author: klimov; state: Exp; lines: +4 -4 no message ---------------------------- revision 1.20.2.4 date: 2004-04-07 16:29:42 +0000; author: klimov; state: Exp; lines: +23 -27 Работающая версия PPT без неравенств. ---------------------------- revision 1.20.2.3 date: 2004-04-07 14:41:46 +0000; author: klimov; state: Exp; lines: +52 -28 no message ---------------------------- revision 1.20.2.2 date: 2004-03-31 16:36:01 +0000; author: klimov; state: Exp; lines: +11 -9 no message ---------------------------- revision 1.20.2.1 date: 2004-03-31 14:53:34 +0000; author: klimov; state: Exp; lines: +17 -35 New branch Positive =============================================================================