[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gm2] enumerated types and import rules
|
From: |
Gaius Mulley |
|
Subject: |
Re: [Gm2] enumerated types and import rules |
|
Date: |
16 May 2003 11:07:35 +0100 |
|
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Iztok Kobal <address@hidden> writes:
>
> Anyway, GPM2 compiles this one OK:
>
> DEFINITION MODULE impa ;
>
> IMPORT impb ;
> IMPORT impc;
>
> CONST
> start = impb.red ;
> end = impb.green ;
>
> TYPE
> arr = ARRAY [start..end] OF CARDINAL ;
>
> C = PROCEDURE () : impc.C ;
>
> END impa.
thanks for compiling impa.mod and also for the pointer to this paper..
Gaius
>
> All in all - following might be interesting reading:
> http://research.microsoft.com/Users/luca/Papers/TypeSystems.A4.pdf