aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-22 03:43:33 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-22 03:43:33 +0000
commita4c3f01ad687e6b8a29db845f725c00b06016f36 (patch)
tree0b8f8377d79151b0db7eb05949ef3e6b8c090b69 /src/algebra/Makefile.pamphlet
parent1c8e4a0198566b3b7eb56d257d5f22ea03b3f57b (diff)
downloadopen-axiom-a4c3f01ad687e6b8a29db845f725c00b06016f36.tar.gz
* interp/i-eval.boot (evaluateType0): Check for builtin
constructors. (evaluateType): Likewise. * interp/i-spec2.boot (isType): Reject unsaturated constructors.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
0 files changed, 0 insertions, 0 deletions