diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-11-13 08:35:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-11-13 08:35:38 +0000 |
| commit | b9a4b6948e221b8e4fcd62ed69dd5713e0b8fbf7 (patch) | |
| tree | 3a536f737ce3f8bb7724eafd5f493905e2dfefc8 /src/interp | |
| parent | cc81819b09532cf843d21cff94bf18bd1127d9fd (diff) | |
| download | open-axiom-b9a4b6948e221b8e4fcd62ed69dd5713e0b8fbf7.tar.gz | |
src/algebra/
2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule.
(axiom_algebra_layer_14): Include SYNTAX.o.
* syntax.spad: New algebra file.
* domain.spad (Domain$reify): New.
src/share/
2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/browse.daase: Update.
* algebra/category.daase: Likewise.
* algebra/compress.daase: Likewise.
* algebra/interp.daase: Likewise.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/ChangeLog | 5 | ||||
| -rw-r--r-- | src/interp/i-funsel.boot | 1 |
2 files changed, 5 insertions, 1 deletions
diff --git a/src/interp/ChangeLog b/src/interp/ChangeLog index ec02013e..5fe8e6a5 100644 --- a/src/interp/ChangeLog +++ b/src/interp/ChangeLog @@ -1,3 +1,8 @@ +2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * i-funsel.boot (selectMms): Don't reject modemaps involving + Domain. + 2007-11-11 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (nrunfast.$(FASLEXT)): New rule. diff --git a/src/interp/i-funsel.boot b/src/interp/i-funsel.boot index ee1202fd..63301045 100644 --- a/src/interp/i-funsel.boot +++ b/src/interp/i-funsel.boot @@ -87,7 +87,6 @@ selectMms(op,args,$declaredMode) == types1 := getOpArgTypes(n,args) numArgs := #args member('(SubDomain (Domain)),types1) => NIL - member('(Domain),types1) => NIL member($EmptyMode,types1) => NIL tar := getTarget op |