On Apr 19, 2013, at 7:06 PM, Shannon Severance wrote: > On 4/19/13 2:27 PM, "Matthias Felleisen" <matth...@ccs.neu.edu> wrote: >> -- our contract system has a really hard time expressions g : ∀ t : t -> t. > > I'd like to double check my understanding. Is the SML type fn : 'a -> 'a > the same as what you meant by g : ∀ t : t -> t?
Yes.
____________________ Racket Users list: http://lists.racket-lang.org/users
