Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
problem with test38
0 views
Skip to first unread message
Class Account
Nov 7, 2001, 11:38:26 PM11/7/01
to
/* This is illegal, since there are two types with the same name
in the same (consecutive) batch of mutually recursive types.
See also test47 */
let
type a = int
type a = string
in
0
end
in the same (consecutive) batch of mutually recursive types.
See also test47 */
let
type a = int
type a = string
in
0
end
The comment says it is illegal. However, the stuff tc give no error
message, and seems to me that it is legal tiger. Can someone tell me
whether it is a legal tiger program. Thanks alot.
Zin Min
Richard Fateman
Nov 8, 2001, 12:19:54 AM11/8/01
to
It is not legal Tiger. This is one of a bunch of little things
I never got around to checking. But tc6.fasl, coming later tonight,
should catch this as well.
RJF
I never got around to checking. But tc6.fasl, coming later tonight,
should catch this as well.
RJF
0 new messages