Changeset 4074
- Timestamp:
- Feb 12, 2009, 1:41:08 AM (12 years ago)
- Location:
- to-imperative/trunk/java/refal/refal/plus
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
to-imperative/trunk/java/refal/refal/plus/List.rf
r3990 r4074 1 1 // $Id$ 2 2 3 $use Apply Access Arithm Compare ;3 $use Apply Access Arithm Compare List2; 4 4 5 5 $func Deparen_Term term = expr; … … 15 15 16 16 Append (e1) e2 = e2 e1; 17 18 Ints s.start s.end = <List2.Ints s.start s.end>; 17 19 18 20 EqTerms t1 t1; … … 40 42 () e.list $iter { 41 43 e.list : t.item e.rest = 42 (e.new_list <Apply s.Fname e.Fargs t.item>) e.rest;44 (e.new_list <Apply.Apply s.Fname e.Fargs t.item>) e.rest; 43 45 } :: (e.new_list) e.list, 44 46 e.list : /*empty*/ = … … 48 50 () e.list $iter { 49 51 e.list : (e.item) e.rest = 50 (e.new_list (<Apply s.Fname e.Fargs e.item>)) e.rest;52 (e.new_list (<Apply.Apply s.Fname e.Fargs e.item>)) e.rest; 51 53 } :: (e.new_list) e.list, 52 54 e.list : /*empty*/ = … … 56 58 () e.list $iter { 57 59 e.list : t.item e.rest, { 58 <Apply s.Fname e.Fargs t.item> : e =60 <Apply.Apply s.Fname e.Fargs t.item> : e = 59 61 (e.new_list t.item) e.rest; 60 62 (e.new_list) e.rest; … … 67 69 () () e.list $iter { 68 70 e.list : t.item e.rest, { 69 <Apply s.Fname e.Fargs t.item> : e =71 <Apply.Apply s.Fname e.Fargs t.item> : e = 70 72 (e.true_list t.item) (e.false_list) e.rest; 71 73 (e.true_list) (e.false_list t.item) e.rest; … … 81 83 (e.value) e.list $iter { 82 84 e.list : e.something t.last = 83 (<Apply s.Fname e.Fargs t.last e.value>) e.something;85 (<Apply.Apply s.Fname e.Fargs t.last e.value>) e.something; 84 86 } :: (e.value) e.list, 85 87 e.list : /*empty*/ = … … 95 97 e.list $iter { 96 98 e.list : t.item e.rest = 97 <Apply s.Fname e.Fargs t.item> : e,99 <Apply.Apply s.Fname e.Fargs t.item> : e, 98 100 e.rest; 99 101 } :: e.list, … … 103 105 e.list $iter { 104 106 e.list : t.item e.rest = 105 # \{ <Apply s.Fname e.Fargs t.item> : e; },107 # \{ <Apply.Apply s.Fname e.Fargs t.item> : e; }, 106 108 e.rest; 107 109 } :: e.list, … … 190 192 (e.left) (e.right) $iter { 191 193 e.left : t.l e.left_rest, e.right : t.r e.right_rest = { 192 <Apply s.cmpTerms t.l t.r> : '<' = (e.left_rest) (e.right) e.merged t.l;194 <Apply.Apply s.cmpTerms t.l t.r> : '<' = (e.left_rest) (e.right) e.merged t.l; 193 195 = (e.left) (e.right_rest) e.merged t.r; 194 196 }; -
to-imperative/trunk/java/refal/refal/plus/List.rfi
r3991 r4074 5 5 $func Id e.expr = e.expr; 6 6 7 $func Append (e.expr1) e.expr2 = e.expr2expr1; 8 9 $func Ints s.start s.end = e.list; 10 7 11 $func? EqTerms t1 t2 = ; 8 12 9 13 $func CompareTerms t1 t2 = s.Lt_or_Eq_or_Gt; 10 11 $func Append (e.expr1) e.expr2 = e.expr2expr1;12 14 13 15 $func Zip (e.list1) (e.list2) = e.list;
Note: See TracChangeset
for help on using the changeset viewer.