diff options
author | dos-reis <gdr@axiomatics.org> | 2013-06-14 23:39:25 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-06-14 23:39:25 +0000 |
commit | c35033aee6d48c9abf251594f7567026d5ef9204 (patch) | |
tree | c0fb10a8e46ea65dd83113fc51a6e4d475ddfcc9 /src/boot | |
parent | 09c021ae74c560f83d9a491d4e610681828a8028 (diff) | |
download | open-axiom-c35033aee6d48c9abf251594f7567026d5ef9204.tar.gz |
compColon is now smarter about category definitions.
Diffstat (limited to 'src/boot')
-rw-r--r-- | src/boot/utility.boot | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/boot/utility.boot b/src/boot/utility.boot index cdc6d05d..839e9b1a 100644 --- a/src/boot/utility.boot +++ b/src/boot/utility.boot @@ -1,4 +1,4 @@ --- Copyright (C) 2012, Gabriel Dos Reis. +-- Copyright (C) 2012-2013, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -48,6 +48,7 @@ module utility (objectMember?, symbolMember?, stringMember?, lastNode, append, append!, copyList, substitute, substitute!, setDifference, setUnion, setIntersection, symbolAssoc, applySubst, applySubst!, applySubstNQ, objectAssoc, + invertSubst, remove, removeSymbol, atomic?, every?, any?, take, takeWhile, drop, copyTree, finishLine, stringPrefix?, stringSuffix?, findChar, charPosition) where @@ -281,6 +282,9 @@ applySubstNQ(sl,t) == symbol? t and (p := symbolAssoc(t,sl)) => rest p t +invertSubst sl == + [[rest x,:first x] for x in sl] + --% set operations setDifference(x,y) == |