diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-07-25 02:06:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-07-25 02:06:33 +0000 |
| commit | f04d1f935b8e4b87ca156932b723a323ef8808d9 (patch) | |
| tree | c299553e11656af53c87085f302cbc4a2cd4b444 /src/input/herm.input.pamphlet | |
| parent | 6f81cf3841d7ab68ab859fd5fc14cd847fab1fa2 (diff) | |
| download | open-axiom-f04d1f935b8e4b87ca156932b723a323ef8808d9.tar.gz | |
2008-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/scan.boot: Tidy.
* interp/ptrees.boot: Define AST for type schemes.
* interp/cparse.boot (npType): Parse type schemes.
(npQuantifierVariable): New.
(npADD): Accept only monotypes.
* interp/pf2sex.boot (pf2Sex1): Handle type schemes.
(pfQuantified2Sex): New.
2008-07-23 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/cparse.boot (npMonoType): Rename from npType.
Diffstat (limited to 'src/input/herm.input.pamphlet')
0 files changed, 0 insertions, 0 deletions