diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-23 14:44:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-23 14:44:07 +0000 |
| commit | dac28fb009d9c27cb8e0f9e453feb8a630b7e145 (patch) | |
| tree | 9628eb917415643909a5f14ee14751eded423cda /src/algebra | |
| parent | 5c81f5a89627a71d4e0054730eea47cc99a9cef2 (diff) | |
| download | open-axiom-dac28fb009d9c27cb8e0f9e453feb8a630b7e145.tar.gz | |
* interp/sys-constants.boot ($SystemInlinableConstructorNames):
Include Maybe.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 3 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index eeac7514..34e9ce06 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -415,7 +415,8 @@ $(OUT)/GCDDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) $(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) $(OUT)/ES.$(FASLEXT) $(OUT)/ES.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT) \ $(OUT)/REF.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT) \ - $(OUT)/PATAB.$(FASLEXT) $(OUT)/PRIMARR.$(FASLEXT) + $(OUT)/PATAB.$(FASLEXT) $(OUT)/PRIMARR.$(FASLEXT) \ + $(OUT)/MAYBE.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT) $(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 811f7fbb..3d7ada70 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -374,7 +374,8 @@ $(OUT)/GCDDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) $(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) $(OUT)/ES.$(FASLEXT) $(OUT)/ES.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT) \ $(OUT)/REF.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT) \ - $(OUT)/PATAB.$(FASLEXT) $(OUT)/PRIMARR.$(FASLEXT) + $(OUT)/PATAB.$(FASLEXT) $(OUT)/PRIMARR.$(FASLEXT) \ + $(OUT)/MAYBE.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT) $(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) |