blob: c9dcceda11138a89ee363f920765eb852d1a1d5b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
/*
Version 1.0 25/04/1994
Author: Sjaak Smetsers
*/
extern Bool TypeError;
extern Bool TypeChecker (ImpMod imod);
extern void ListTypes (ImpMod imod);
extern SymbDef ListDef, TupleDefs [], ArrayDefs [];
extern Symbol EmptySymbol;
extern PolyList UserDefinedArrayFunctions;
extern void InitTypeChecker (void);
extern void PrintNodeSymbol (Node node, int arg_nr, File file);
extern void PrintTCType (struct type_cell * type, struct type_cell * sub_type);
extern unsigned ArityOfTypeSymbol (Symbol type_symb);
extern unsigned long ConvertTypeToTypeVector (TypeNode type);
extern FlatType RetrieveLhsOfTypeDefinition (SymbDef tdef);
extern Ident IdentOfOverloadedInstance (Symbol inst_symb);
|
