aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-05-21 14:33:54 +0000
committerdos-reis <gdr@axiomatics.org>2009-05-21 14:33:54 +0000
commit0fd61f7b731145923414f6fe21a511f2304bd9d9 (patch)
tree38d44187f9a885a543cb58b28673fd3a3df64ba5 /configure
parent85ffb95ec1d15c5467784f00bdc2e22cfb319162 (diff)
downloadopen-axiom-0fd61f7b731145923414f6fe21a511f2304bd9d9.tar.gz
* interp/cparse.boot (npQuantified): New.
(npType): Use it. (npDefinitionOrStatement): Likewise. Accept quantified expressions. (npMatch): Remove. (npDef): Adjust. (npMonoType): Likewise. (npDiscrim): Recognize 'is' and 'isnt' patterns.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions