diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-05-17 05:01:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-05-17 05:01:33 +0000 |
| commit | 86a5494a7187d226750c7cf49ce2c6505ec87079 (patch) | |
| tree | fe8a5b2fe2aad99bc87b88598918e2e316476e6a /src/interp | |
| parent | cfda765b2e6342596df91ac9d4110f3fa95f5d75 (diff) | |
| download | open-axiom-86a5494a7187d226750c7cf49ce2c6505ec87079.tar.gz | |
cleanup
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/clammed.boot | 4 | ||||
| -rw-r--r-- | src/interp/i-special.boot | 1 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/interp/clammed.boot b/src/interp/clammed.boot index 58a43906..50618179 100644 --- a/src/interp/clammed.boot +++ b/src/interp/clammed.boot @@ -67,8 +67,10 @@ coerceConvertMmSelection(funName,m1,m2) == hasCorrectTarget(m2,sig) and sig is [dc,targ,oarg] and oarg = m1] mmS and first mmS -hasFileProperty(p,id,abbrev) == hasFilePropertyNoCache(p,id,abbrev) +hasFileProperty(p,id,abbrev) == + hasFilePropertyNoCache(p,id,abbrev) +++ Note: this function is used in the algebra part. isValidType form == -- returns true IFF form is a type whose arguments satisfy the -- predicate of the type constructor diff --git a/src/interp/i-special.boot b/src/interp/i-special.boot index bc0b63b4..b7d42e30 100644 --- a/src/interp/i-special.boot +++ b/src/interp/i-special.boot @@ -2016,6 +2016,7 @@ upLETtype(op,lhs,type) == -- have to fix the following putModeSet(op,[mode]) +++ Note: this function is used in the algebra part. assignSymbol(symbol, value, domain) == -- Special function for binding an interpreter variable from within algebra -- code. Does not do the assignment and returns nil, if the variable is |