rm-global.arc @@ -510,6 +510,7 @@ int main (int argc, char * argv[]) { (,to-3-if "3-arg-if TRANSFORMATION") ; --------AST form (,[xe _ ()] "AST TRANSFORMATION") + (,rm-global "UNUSED GLOBAL REMOVAL") (,sharedvars-convert-assert "SHARED VARIABLE CONVERSION") (,cps-convert "CPS-CONVERSION") (,closure-convert "CLOSURE-CONVERSION"))) codegen.arc @@ -4,7 +4,7 @@ (if (no s1) '() - (mem (car s1) s2) + (some (car s1) s2) (diff (cdr s1) s2) (cons (car s1) (diff (cdr s1) s2)))) @@ -12,7 +12,7 @@ (if (no s1) s2 - (mem (car s1) s2) + (some (car s1) s2) (union (cdr s1) s2) (cons (car s1) (union (cdr s1) s2)))) @@ -24,6 +24,13 @@ base (foldl f (f base (car lst)) (cdr lst)))) +(def equalset (s1 s2) + " Determines if two sets are equal. Works correctly only + if both sets do not have duplicate elements. " + (and (is (len s1) (len s2)) + ; assuming s1 doesn't have duplicates, should work properly + (all [some _ s2] s1))) + (def liststr (lst) (let result "" (each elt lst utils.arc 79ed3a081e7352ce252f1a8f9f297a238cbc69f0 Alan Manuel K. Gloria almkglor@gmail.com http://github.com/sacado/arc2c/commit/d353e35feb00cbaf3640f59332ce5b7e0dec3fe2 d353e35feb00cbaf3640f59332ce5b7e0dec3fe2 2008-04-07T07:14:47-07:00 2008-04-07T07:14:47-07:00 Unused globals are now removed Globals that are assigned to, but not read, have their assignments removed. Also, expressions that won't have side-effects and which won't return - e.g. expressions that aren't in the tail position of a 'do sequence - are removed. This allows for transformations like: (do (set g1 (set g2 42)) (set g3 (fn () g1)) (set g4 (fn () g2)) (prn (g3))) => (do (set g1 42) (set g3 (fn () g1)) (prn (g3))) codegen: added rm-global step utils: a few utilities rm-global: the function that performs unused global removal cfbf2882905c7682f0884a8b3ad0ea37c4ca0e7b Alan Manuel K. Gloria almkglor@gmail.com