coreclean.dcl 669 Bytes
Newer Older
1
2
3
4
definition module coreclean

// $Id$

5
from syntax import TypeSymbIdent,Ident,TypeVar
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
6
7

// Transitive necessities
8
9
from syntax import SymbolPtr,SymbolTableEntry,STE_Kind,Index,Level,Global,TypeSymbProperties,SignClassification,PropClassification,TypeVarInfoPtr,TypeVarInfo
from general import BITVECT
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
10
11
12
from Heap import Ptr,PtrN,HeapN
from StdString import String

13
:: SuclTypeSymbol
14
15
16
17
18
19
20
21
22
 = SuclUSER TypeSymbIdent
 | SuclFN
 | SuclINT
 | SuclCHAR
 | SuclREAL
 | SuclBOOL
 | SuclDYNAMIC
 | SuclFILE
 | SuclWORLD
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
23

24
:: SuclTypeVariable
25
26
27
28
 = SuclANONYMOUS Int
 | SuclNAMED TypeVar

sucltypeheap :: [SuclTypeVariable]
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
29

30
:: SuclSymbol
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
31
32
 = SuclUser Ident

33
:: SuclSymbolKind
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
34

35
:: SuclVariable