diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-29 16:22:28 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-29 16:22:28 +0000 |
commit | 2c4a7a870fbf9fb36da60f760bc7f942d0132094 (patch) | |
tree | bf9c696e2a6d6a613a8dfc389433f5cf7a89d5e7 /src/input/equation.input.pamphlet | |
parent | 16636d2429fafcd58c40df7cd994a7e6d6298c41 (diff) | |
download | open-axiom-2c4a7a870fbf9fb36da60f760bc7f942d0132094.tar.gz |
* interp/c-util.boot (isKnownType): New.
(diagnoseUknownType): Likewise.
* interp/define.boot (compCategoryItem): Use it. Check for
unknown types.
Diffstat (limited to 'src/input/equation.input.pamphlet')
0 files changed, 0 insertions, 0 deletions