🚀 go-pugleaf

morrison@cs.uiuc.edu (Vance Morrison) writes:
> The oddity is that a value can escape the scope in which its type
> definition was made.   Thus
> 
>         let 
>            datatype aType = constA | constB of int;
>         in
>            constA
>         end;
[ Gives ?.aType as a type.]
From what I recall, this isn't a really big problem because you can't
do anything with those values.  This occurs in a similar and possible
more obnoxious way with exceptions, I think you can look that up in
the SML manual, I know it's discussed somewhere.
This problem can also occur with recursive types and stuff like that.
It doesn't break the typechecking of the system, and I don't think it
causes any substantial semantical problems since you can't operate on
the values anymore.
          -Eric 
*********************************************************
"Overhead, without any fuss, the stars were going out."
           -The Nine Billion Names of God
"Yes, you're very smart.  Shut up."
           -In "The Princess Bride"
*********************************************************