diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-21 14:33:54 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-21 14:33:54 +0000 |
commit | 0fd61f7b731145923414f6fe21a511f2304bd9d9 (patch) | |
tree | 38d44187f9a885a543cb58b28673fd3a3df64ba5 /src/testsuite | |
parent | 85ffb95ec1d15c5467784f00bdc2e22cfb319162 (diff) | |
download | open-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 'src/testsuite')
0 files changed, 0 insertions, 0 deletions