diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-14 01:59:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-14 01:59:56 +0000 |
commit | 663089e7f95f4901a46939ef34c60982dd5aadda (patch) | |
tree | 591d333d98a1eaf5b3c22d57e75ece8c56f9619b /src/interp/mark.boot | |
parent | c5659a8580de5b531891c6703465c84add9fbb1b (diff) | |
download | open-axiom-663089e7f95f4901a46939ef34c60982dd5aadda.tar.gz |
Various cleanups.
Diffstat (limited to 'src/interp/mark.boot')
-rw-r--r-- | src/interp/mark.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/mark.boot b/src/interp/mark.boot index 4f40971d..addbd96a 100644 --- a/src/interp/mark.boot +++ b/src/interp/mark.boot @@ -1248,7 +1248,7 @@ changeToEqualEqual lines == word := INTERN SUBSTRING(x, n + 4, m - n - 4) expandedWord := macroExpand(word,$e) not (MEMQ(word, '(Record Union Mapping)) - or GETDATABASE(opOf expandedWord,'CONSTRUCTORFORM)) => nil + or getConstructorFormFromDB opOf expandedWord) => nil sayMessage '"Converting input line:" sayMessage ['"WAS: ", x] x . (n + 1) := char '_= ; @@ -1339,7 +1339,7 @@ markConstructorForm name == --------> same as getConstructorForm name = 'UntaggedUnion => '(Union A B) name = 'Record => '(Record (_: a A) (_: b B)) name = 'Mapping => '(Mapping T S) - GETDATABASE(name,'CONSTRUCTORFORM) + getConstructorFromDB name --====================================================================== -- new path functions |