diff options
| -rw-r--r-- | src/ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 46db840e..bcdd3f9b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,17 @@ +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. + * boot/strap: Update cached Lisp translation. * boot/parser.boot (bpExportItemTail): New. |