URA.hs -- branch: Positive Existing Tags: Finite (revision: 1.22) Positive (branch: 1.28.2) ---------------------------- revision 1.28.2.23 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.28.2.22 date: 2008-06-22 13:12:36 +0000; author: klimov; state: Exp; lines: +9 -9 - Version for GHC 6.8.2 ---------------------------- revision 1.28.2.21 date: 2004-11-08 17:15:30 +0000; author: klimov; state: Exp; lines: +3 -3 Very small changes ---------------------------- revision 1.28.2.20 date: 2004-11-07 07:33:52 +0000; author: klimov; state: Exp; lines: +6 -7 Упростил Renum. Кстати, renaming'у не нужен Index? ---------------------------- revision 1.28.2.19 date: 2004-11-06 08:22:23 +0000; author: klimov; state: Exp; lines: +5 -5 Another show (showsPrec -> Show). ---------------------------- revision 1.28.2.18 date: 2004-10-22 13:59:30 +0000; author: klimov; state: Exp; lines: +2 -3 Better (I think) prining. ---------------------------- revision 1.28.2.17 date: 2004-10-22 10:59:29 +0000; author: klimov; state: Exp; lines: +11 -10 Index had added to ura, ppt, int. ---------------------------- revision 1.28.2.16 date: 2004-10-22 09:18:11 +0000; author: klimov; state: Exp; lines: +4 -3 no message ---------------------------- revision 1.28.2.15 date: 2004-10-22 08:35:16 +0000; author: klimov; state: Exp; lines: +2 -1 "vim:" is added ---------------------------- revision 1.28.2.14 date: 2004-10-22 08:21:11 +0000; author: klimov; state: Exp; lines: +23 -40 URA corrected: were X-vars. ---------------------------- revision 1.28.2.13 date: 2004-10-22 07:42:06 +0000; author: klimov; state: Exp; lines: +15 -15 Some code reformating. ---------------------------- revision 1.28.2.12 date: 2004-10-20 16:00:40 +0000; author: klimov; state: Exp; lines: +10 -10 Big changes: State = Branch = (Cond, Terms, Exps). Going to rewrite parser in monadic style. ---------------------------- revision 1.28.2.11 date: 2004-10-17 09:44:21 +0000; author: klimov; state: Exp; lines: +7 -7 Пытаюсь разделить внешнее и внутреннее представление. Теперь, в частости, во внутреннем представлении все констукторы должны быть пронумерованы. ---------------------------- revision 1.28.2.10 date: 2004-10-17 09:02:06 +0000; author: klimov; state: Exp; lines: +2 -2 Replace [] with initIdx, XSG.C -> XSG.c, XSG.VAR -> XSG.v2e. ---------------------------- revision 1.28.2.9 date: 2004-10-16 19:13:58 +0000; author: klimov; state: Exp; lines: +7 -7 No more Conf and Class, only State and Exps. ---------------------------- revision 1.28.2.8 date: 2004-10-15 15:48:49 +0000; author: klimov; state: Exp; lines: +2 -2 no message ---------------------------- revision 1.28.2.7 date: 2004-10-13 08:29:25 +0000; author: klimov; state: Exp; lines: +19 -22 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.28.2.6 date: 2004-06-11 20:31:46 +0000; author: klimov; state: Exp; lines: +11 -10 no message ---------------------------- revision 1.28.2.5 date: 2004-06-11 12:41:49 +0000; author: klimov; state: Exp; lines: +15 -7 no message ---------------------------- revision 1.28.2.4 date: 2004-06-11 11:47:13 +0000; author: klimov; state: Exp; lines: +8 -7 no message ---------------------------- revision 1.28.2.3 date: 2004-05-28 16:29:13 +0000; author: klimov; state: Exp; lines: +2 -2 no message ---------------------------- revision 1.28.2.2 date: 2004-05-28 15:37:53 +0000; author: klimov; state: Exp; lines: +11 -4 no message ---------------------------- revision 1.28.2.1 date: 2004-05-28 15:24:17 +0000; author: klimov; state: Exp; lines: +22 -22 no message =============================================================================