Kevin Atkinson wrote:
>
> -- If the kind of an object is Cont2_ -> ie then its
> -- Ix type is the Fst type of ie if ie has a type Fst
> Ix (Cont2_ ie) = Fst ie
> -- If the kind of an object is Cont2_ -> ie then its
> -- El type is the Snd type of ie if ie has a type Snd
> El (Cont2_ ie) = Snd ie
>
After thinking about it a bit I decided that the syntax for the two
above lines should be.
Ix (Cont2_ (ie Fst:ix)) = ix
El (Cont2_ (ie Snd:el)) = el
So that the syntax of a type assigning statement can be:
Name type = type
--
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/