check.dcl 970 Bytes
Newer Older
Ronny Wichers Schreur's avatar
Ronny Wichers Schreur committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
definition module check

import syntax, transform, checksupport, typesupport, predef

//MOVE
//cIclModIndex 			:== 0
cPredefinedModuleIndex 		:== 1

checkModule :: !ScannedModule !Int ![FunDef] !ScannedModule !ScannedModule ![ScannedModule] !*PredefinedSymbols !*SymbolTable !*File
	-> (!Bool, !*IclModule, *{# DclModule}, *{! Group}, !(Optional {# Index}), !*Heaps, !*PredefinedSymbols, !*SymbolTable, *File)

retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Index)

newFreeVariable :: !FreeVar ![FreeVar] ->(!Bool, ![FreeVar])

convertIndex :: !Index !Index !(Optional ConversionTable) -> !Index

determineTypeOfMemberInstance :: !SymbolType ![TypeVar] !InstanceType !Specials !*TypeHeaps -> (!SymbolType, !Specials, !*TypeHeaps)


21
22
23
arrayFunOffsetToPD_IndexTable :: !{# MemberDef} !v:{# PredefinedSymbol} -> (!{# Index}, !{#MemberDef}, !v:{#PredefinedSymbol})

makeElemTypeOfArrayFunctionStrict :: !SymbolType !Index !{# Index} -> SymbolType