Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-28 17:07:19 -0800 (Sun, 28 Mar 2004)
Revision: 5570
Log message:
- Fixed the argument order in the Phobos "let rec" parsing.
- Made the treatment of empty TyAll sequents consistent. Different places
of the code used to treat << sequent [TyAll] { >- 'ty } >> in different ways:
. a) as a TyAll that signifies a that the corresponding expression needs to be
. TyApply'ed to nil in order to get an expression of type 'ty
. b) as a type that is equivalent to 'ty
. c) as an invalid type.
I tried changing it everywhere to use the (a) semantics.